 -93?
-93
Let t = 287 + -283. Suppose 19 - 23 = -t*k. Which is greater: k or 1/194?
k
Let w be (12685470/108)/(-29) - (-10)/(-45). Are -4050 and w nonequal?
True
Suppose 5*n = -q + 23, 5*n + 5 = 4*q + 13. Let g be 6/(-7)*(-1218)/q. Let y be 1 + g/(-410) + (-19)/95. Which is smaller: y or 0?
y
Suppose -4*s = 12, -26*x + 4*s + 17 = -31*x. Which is smaller: -14/11 or x?
-14/11
Let w = -1.684 + 1.584. Is w >= 385?
False
Let g be 83 - (8/3*(-9)/4 - 0). Is 81 bigger than g?
False
Let x = -1109/5 + 18973/85. Suppose -8*m + 7 = -m. Do m and x have different values?
True
Suppose 0 = -l + 4*a + 16, l = 119*a - 121*a - 8. Let x be (2 + -2)/(-4 + 2). Suppose x*h = -2*h. Is h at least l?
True
Let c be 11 + (-3 + 3)*(-2 + 1). Let k = -85 - -20. Let s be 4/(-26) + (-790)/k. Which is smaller: s or c?
c
Let f = 636 - 623. Suppose -74 = -f*n - 841. Which is greater: n or -58?
-58
Let p = 10780 + -10784.657. Let r = p - 0.343. Are 0.27 and r non-equal?
True
Let y be (-314)/(((-8)/(-80))/((-5)/(-25))). Is y > -631?
True
Let y(s) = -s**2 - 7*s - 5. Let r be y(-5). Suppose -3*w = -5*l - 2*w + 47, -15 = -r*w. Let j be (-5)/l*(-6)/11. Are j and 0 unequal?
True
Let j = -1174 - -1664. Suppose 0 = 3*r + u + j, -170 = 2*r - 5*u + 168. Is -164 smaller than r?
False
Let q be 3652/(-198)*(-15)/6. Is q at most as big as 45?
False
Let u(h) = -4*h + 5. Let k be u(-4). Let b = k - 24. Suppose 134*i + 187 = -483. Is b >= i?
True
Let q(t) = t**3 + 5*t**2 - t. Let s = 81 - 86. Let w be q(s). Suppose -3*h + w*h = 4, h - 70 = -2*v. Is 34 > v?
False
Let y(m) = -m**3 - 14*m**2 - 13*m + 3. Let p be y(-13). Suppose -5*l - 3*z - 275 = -4*z, -3*l - p*z = 147. Let b be (-2)/9*l/(-612). Which is smaller: 1 or b?
b
Let m(j) = -10*j. Let p be m(-1). Suppose 10 = 5*x - p. Let f be (2 - 1) + 1 + (0 - x). Which is smaller: f or 7?
f
Let a be 2 - 15/(-7) - (-12)/14. Suppose a*x + 89 + 76 = 0. Is -15 less than or equal to x?
False
Suppose -7*s = -s - 354. Let f = -54 + s. Suppose -f*v + 38 = 4*r, -4*r = v - 0*v - 14. Does v = 33/5?
False
Let d = 1.23 + -1.281. Let r = 0.289 - d. Let p = -0.44 + r. Which is smaller: p or -38?
-38
Let r be 345/(-10695) - 60/62. Is -6/12317 less than r?
False
Let f(z) = z**2 + 3*z - 7. Let y be f(-3). Let w(n) be the second derivative of n**5/20 + 7*n**4/12 + n**2/2 + n. Let d be w(y). Which is bigger: d or 2?
2
Let y be (-80)/760 - (-99)/(-114)*4462. Is -3875 bigger than y?
False
Let g be 2761/66 - (1/6)/(-1). Let x be (-24)/(-28) + 6/g. Is x at least as big as 9/7?
False
Let k = -11097 - -11086. Which is smaller: -50 or k?
-50
Let l = 255 + -4844/19. Suppose 1338 = -j + 495. Let u = j + 842. Is u at most as big as l?
True
Let z = 112 + -115. Let h be ((-260)/39 + 4)*z/28. Let a = -1.1 + 7.1. Is a != h?
True
Let s = 1/206559 + -29285477/206559. Let h = 142 + s. Let p = 143 - 136. Which is bigger: p or h?
p
Let u be 124/(-93)*((-297)/(-2))/(-3). Let z be (-192)/u + 6 - -1. Which is bigger: 3 or z?
z
Suppose 2*s + 283 = -0*s - 3*m, 526 = -4*s + 2*m. Suppose 0 = -4*a + 5*o - 516, 2*a = 5*a - 4*o + 386. Is a at least as big as s?
True
Let o be (-1)/(1/14)*40. Let s(x) = -20*x**2 - 48*x - 127. Let l be s(-6). Which is greater: l or o?
l
Let v = 3.973 + 0.027. Suppose -9 = 3*u, -2*m + 19 = 3*u - 16. Let h be m/(-88) - 1/(-4). Which is bigger: v or h?
v
Let v be 1 + 12/3 + 28/(-14). Let d be (v + (-4 - -2))*2. Is 2 greater than or equal to d?
True
Let j = 0.063 - 60.063. Let h = -59.67 - j. Let t = -0.43 + h. Which is bigger: t or 17?
17
Let a(g) = g**3 + 11*g**2 + 9*g - 13. Let p be a(-10). Let q(b) = 3*b**3 - 3*b**2 + 2*b + 2. Let s be q(-1). Is p > s?
True
Let f = -4 + -21. Let u = 0 - 24. Let m = f - u. Which is bigger: m or -5/21?
-5/21
Let d = 198 + -125. Suppose d = 5*t - 2*q, -5*t = 2*q + 3*q - 45. Suppose 0 = 6*f - t + 1. Which is smaller: 3 or f?
f
Let n be (-20)/15 - (-32)/6. Suppose 15 = 3*y + 3*q, -y + 6*y - n = 2*q. Let w = 116 + -106. Is w at most y?
False
Let j = -2201 + 2200. Is -1/2259 > j?
True
Let o = -62229/2 - -31115. Which is smaller: -413 or o?
-413
Let j be (1004 - 999)*1/(-865)*-1. Which is smaller: j or -0.02?
-0.02
Let u be ((-12)/(-2) + -4)/((-1431)/42 - -4). Are u and -1 equal?
False
Let c = -63747/64 - -996. Let p be 396/20 - (-12)/(-15). Suppose -p = 4*i + y + 4*y, 0 = y + 3. Are i and c equal?
False
Suppose -3*h = 2*o - 20 + 7, 0 = -5*o + 2*h + 42. Let k be (-6)/o + 5/(-21 - -1). Let t be 6/(-7)*(-42)/16. Is k less than or equal to t?
True
Let b be 35774/(-449050) - (27972/(-900) - -31). Which is smaller: 1 or b?
b
Let l be (-1054774)/(-175812) - (1 - -5). Which is smaller: l or 1?
l
Let i = -1568 - -2238. Let y = i - 723. Which is smaller: 1 or y?
y
Let f = 778103/122 - 6378. Which is bigger: -1 or f?
f
Suppose 0 = -3*v + b + 5, 3*b - 3 = 2*v + 3. Suppose i - 21 = 5*n, 0*n = v*n. Let m = i + -36. Is m less than -15?
False
Let d = -898 + 1003. Which is smaller: 1 or d?
1
Suppose 256*q = 259*q - 252. Let r(v) = 31*v + 3. Let x be r(3). Let n = q - x. Which is bigger: n or -11?
-11
Let c = 64 + -257/4. Let n = -400.743 + 401. Let h = -0.257 + n. Is h >= c?
True
Let b = -14010 + 126250/9. Let u = 370 + -351. Does u = b?
False
Let o = -56033/20457644 + 14/5689. Which is smaller: -1 or o?
-1
Let x be 12/(-3)*1260/75. Which is bigger: x or -68?
x
Suppose -2*k = -4, -k - 8 = 2*y - 5*k. Suppose 8 = -168940*f + 168942*f. Suppose 5*c - 11 - f = y. Which is greater: -1 or c?
c
Suppose 31*h = 34*h + 315. Let o be (2 - -4)/((h/(-410))/7). Is -1 greater than or equal to o?
False
Let m(w) = -w**2 + 29*w - 83. Let i be m(41). Let f = i - -571. Is 5/11 greater than f?
True
Suppose 3*j + 703 = -2*h, -5*h = 5*j + 756 + 424. Let v be (-2)/(-11) - 364/j. Let t = -12/11 + v. Is 28 >= t?
True
Let j = -6481 - -6439. Is j bigger than 32?
False
Let a = -1 + -4. Let b = 98580 + -496246/5. Let i = b - -664. Which is greater: i or a?
a
Let a = 2084 - 2212. Which is greater: a or 2/99?
2/99
Let q = 2750/19 - 27523/190. Let d = 65833/95 - 693. Let z = d - q. Which is greater: z or 0?
z
Suppose 22*o = -43*o - 14*o - 12719. Is o at least as big as -201?
True
Let g = 2.378 + 934.622. Is g at least as big as -2/9?
True
Suppose 169 = -y - 5*b + 4*b, -3*y = 5*b + 501. Let r be 2/(-3) + y/(-6). Let a = 37 - r. Which is smaller: a or 5?
5
Let a be (-2)/(-6) - (-3 - 32/12). Suppose 2*f + 2 = d + 1, -2*f + 2*d - a = 0. Suppose -2*m + f*n - 12 = 0, -5*m - n = -4*n + 20. Which is bigger: 0.6 or m?
0.6
Let y be (3150/1260)/(6/(-196) + 0). Is y < -83?
False
Let b be -35*(2 + -1)/(-10)*(-766)/(-70). Which is smaller: -1/3 or b?
-1/3
Let k(j) = -j + 154. Let p = -143 + 129. Let r be k(p). Which is smaller: 0 or r?
0
Let y(h) = -22*h**2 + 217*h - 1782. Let o be y(8). Which is smaller: -1451 or o?
o
Suppose 7*t = -36 + 1. Let j be t*1 - (-2955)/75. Let s = 2042/55 - j. Is s >= -0.1?
True
Let y be (220/(-6))/(34/(-357)). Is y not equal to 385?
False
Let f = -2240 - -4022. Is f >= 1783?
False
Suppose 2*b - 2*b + 3*b = 0. Suppose -5*v + v = 3*d - 4272, b = 3*v - 4*d - 3229. Let q be 6/(-4) + v/(-14). Do -79 and q have different values?
True
Suppose 12*r - 27*r = 79*r - 113834. Which is greater: r or -1/16?
r
Suppose 0 = 2*m + w - 15, -5*m + 10*m - w = 20. Let i be (m/4)/(-2 + 18/8). Suppose -4*d = -p + i*p - 24, 1 = d - 4*p. Which is smaller: d or 9?
d
Let x = -153/134 + 290663/253394. Which is greater: x or 0?
x
Suppose -3*s = 4*p - 7, -4*s = 3*p - 2*s - 6. Let b be (6/(-5))/(13132/(-3280) + p). Which is smaller: 327 or b?
327
Suppose r + 669 = -10*r - 134. Does r = -120?
False
Let s(u) = 44*u - 7. Let c(t) = 221*t - 34. Let f(v) = -2*c(v) + 11*s(v). Let k be f(3). Let j be ((-4)/(-6))/((-13)/(k/42)). Which is greater: 0 or j?
0
Suppose 15*d - 4246 = 11*d + 15*d. Which is smaller: d or -384?
d
Let v be ((-337)/(-17))/((-67)/(-1139)). Do 337 and v have the same value?
True
Let f be ((-1148)/2296)/((-91)/(-2)). Suppose 2 = 3*n - 1. Which is greater: f or n?
n
Let h be 1279/(-6) - (-4 - 1). Let m = -512/3 - h. Which is bigger: m or 0?
m
Suppose -151 = -2*p - 111. Let a be (p/(-3))/((-6)/(14 - -4)). Which is smaller: a or 25?
a
Let b be ((-1324)/(-2)*(-2)/(-10))/(12/(-20)). Is -221 != b?
True
Let g be 1 + -1*4/2. Suppose 3*a - 3*c + 18 = 0, -3*a + c - 6 = 4. Let q be 267/(-855) + (a - 14/(