135*x - 111*x - 2316 + 11196. Is -1112/3 smaller than x?
True
Let c be ((-60636)/21 - -4)*(-4)/(-8). Which is smaller: -1442 or c?
-1442
Let n = 13180.953 - 13181. Is n >= 2/149?
False
Suppose -7*a - 528 = -10*a - 1341. Is -5 <= a?
False
Let y(v) = v + 23. Let p be y(-21). Suppose -w + 15 = -5*c - 16, -2*c = -p*w + 6. Let l be ((-10)/3)/((-14)/c). Which is greater: 1/2 or l?
1/2
Suppose -5*r = -c + 77, 2 = 5*r + 7. Let g = -108 + 129. Suppose -g*o = -24*o - c. Is o <= -2?
True
Suppose 11 = -4*n - 3*i, -2*n + 5*i + 9 + 18 = 0. Which is greater: n or 2/12715?
n
Suppose -t + 4*d - 196 = 0, 0 = 2*t - t - 5*d + 191. Let r be t/(-286) - 24/(-156). Is r not equal to 2/7?
True
Suppose -2*q + 40 = -102. Suppose c + q = 3*c - 3*b, -4*c + 3*b = -127. Suppose -2*p + c + 10 = 0. Which is greater: p or -2?
p
Suppose 549 = -2*c - f, -2*c + c - f - 275 = 0. Let o be 8/56*-1910 - (0 - 3/(-21)). Which is bigger: o or c?
o
Let c(l) = 9*l**3 - 53*l**2 - 17*l - 53. Let s be c(10). Which is greater: s or 3476?
s
Let f = -5391.075 + 5255. Let n = f + -0.925. Is n at most -2/3?
True
Let g(l) = -l**2 + 4*l + 168. Let q be g(15). Is -1434 equal to q?
False
Let k = 23523 + -23824.46. Which is smaller: 1 or k?
k
Let b be (-8)/(-48) - 6/36. Let j be (42/(-20))/((-5)/((-50)/108)). Is j smaller than b?
True
Let r be 34/68*0/1 + 2. Which is smaller: r or -132.2?
-132.2
Suppose 2*x - 10 = -2. Suppose 5*z = x*z. Let p(j) = j**2 + 2*j - 142. Let o be p(-13). Which is bigger: o or z?
o
Let u be (24/(-35))/((-86)/(-5805))*-1. Which is smaller: 45 or u?
45
Let p = -1.12 + 0.42. Let r = 10.699 + -12.399. Which is smaller: r or p?
r
Let q = -10106/11 - -33524/55. Which is smaller: q or -308?
q
Suppose 4*o + x + 373 = 0, 229 + 156 = -4*o + 3*x. Let t = o + 99. Which is bigger: t or -13?
t
Suppose 2*j - 4*x - 24 = 0, 11*x + 16 = 3*j + 10*x. Suppose -4*b + 5*c = -42, -8 - 10 = -2*b + j*c. Is -12 greater than b?
False
Suppose -106*h - 248*h = 295*h - 649. Which is greater: 102/47 or h?
102/47
Let l = -15696 + 16060. Which is smaller: 360 or l?
360
Let p = 32.4 + -72.4. Let f = 40 + p. Let x = -179/1368 - -1/171. Which is bigger: x or f?
f
Let p be 14534/10965 - (-8)/(-6). Which is smaller: p or -1?
-1
Let c = -13 + 18. Let r = 143 - 89. Suppose -55*w + 2 = -r*w. Are w and c nonequal?
True
Let y = 3/91 - -965/1092. Let z be 3/12 + (-1)/4. Do y and z have the same value?
False
Let d(f) = -1532*f**3 - 3*f**2 - 2*f + 3. Let w be d(1). Which is greater: -1532 or w?
-1532
Let n = -148 - -150. Suppose -9 - 9 = n*k - 4*o, -16 = 4*k - 3*o. Which is greater: k or 1/726?
1/726
Suppose 5*y = u + 224, -5*u + 28 = y - u. Do y and 582/13 have different values?
True
Let t = 11527 + -10504. Which is greater: t or 9196/9?
t
Suppose 3*a + 39 = 42, 5*w - 4*a + 4 = 0. Which is greater: w or 2143?
2143
Suppose 521 = -1834*q + 1823*q - 4143. Which is greater: q or -426?
q
Let b = 17776 - 18254. Which is bigger: -466 or b?
-466
Let q = -0.88747 - -0.19747. Which is bigger: q or -2/9?
-2/9
Let q = 101782 - 4377048/43. Does -10 = q?
False
Suppose i - 33 = -10*i. Suppose i*z - 12 = 5*b, 2*b + 5*z - 19 = 1. Is b smaller than 5/46?
True
Suppose -25 + 7 = 3*z, 0 = -3*d + 4*z - 135. Which is bigger: d or -680/13?
-680/13
Let k = -85 - -83.2. Let v = -74.2 + k. Let c = -76.1 - v. Which is smaller: c or -2?
-2
Let l = 0.142 + -3.492. Let z = l - 0.95. Let h be 2*1*(-1)/(-6). Which is smaller: z or h?
z
Let q = -3857 + 3860. Which is smaller: q or 150/79?
150/79
Suppose 12 - 57 = 5*t, 6*t - 402 = 2*x. Which is smaller: x or -59?
x
Let p(y) = -88*y**2 - 781*y + 1. Let n be p(-3). Which is greater: 1553 or n?
1553
Let a = -5558 - -5555. Which is bigger: a or -0.659?
-0.659
Let q = 336289/135 + -2491. Let w(d) = d**3 - 2*d**2 - 21*d + 1. Let v be w(0). Which is smaller: q or v?
q
Let l be (-12)/40 - 9834/20. Is -494 smaller than l?
True
Suppose 3 = 193*o - 190*o. Let x be 134*o*(-16)/32. Which is smaller: -69 or x?
-69
Let x be -13 - (-2 + -4)*1/(-6). Suppose -2*c - 31 - 1 = 0. Let s = c - x. Is -16/7 bigger than s?
False
Suppose -6*z - 1354 + 334 = 0. Let y = 175 + z. Is y not equal to 7?
True
Suppose 4*p - 36 = -0. Let y(l) = -l - 10. Let j be y(-11). Let t be (-26)/(-6) + 3 + j. Which is bigger: p or t?
p
Let b = 27 + -26. Let h be (2 - (-4)/b)*96/(-1). Let o be 1/(6/4) - h/(-1026). Is o != -1?
True
Let t be 9 + -23 + (-624)/(-44). Which is smaller: -29.8 or t?
-29.8
Suppose 29*y = 14*y + 8*y. Is y less than or equal to -15/32?
False
Let l be ((-112042)/28)/(169/(-124)). Let u = l - 2936. Are 0 and u equal?
False
Let s = -12311 - -11874. Do -435 and s have different values?
True
Let y be 1002/(-70) + 20/(-70). Let q = y + 3592/245. Let p(x) = x**2 + 19*x + 34. Let c be p(-17). Which is bigger: q or c?
q
Let g = -25.727 + -975.273. Which is smaller: -3 or g?
g
Let q = -65828/899 - -4263/62. Let r = -1/29 + q. Suppose -5*s - 22 = d + 4, 3*s = 4*d - 34. Which is bigger: r or s?
r
Suppose 439 = -14*n - 191. Let k be 1*-1 + 1 + n/(-180). Is 0.29 at least as big as k?
True
Suppose 12*n - 17*n + 31 = -194. Are 191 and n unequal?
True
Let m be ((-5)/(-3))/(((-6)/108)/(-1)). Suppose -107 - 313 = m*r. Is -11 at least r?
True
Suppose -22740 + 295735 = -480*k - 236765. Which is bigger: -1070 or k?
k
Let x(q) = 3*q**3 - 8*q**2 + 8*q + 63. Let p be x(-13). Which is greater: p or -7985?
p
Let k(c) = 132*c + 2*c**2 + 3*c**2 - 135*c + 3 - 4*c**2. Let d be k(-8). Suppose 0 = 5*t + 8*t - d. Which is bigger: 6 or t?
t
Suppose 24*x - 33 = 27*x. Let i = x + 80. Let h = i - 255/4. Is 4 at most h?
True
Let c = 30 - -90. Let h = 86 - c. Let d(s) = -34*s**3 - 2*s**2 + 1. Let u be d(1). Which is smaller: h or u?
u
Let r be (-24)/(-7) - (-48)/(-112). Suppose -17*q = 31 + r. Suppose 0*s + 4*h - 15 = s, 0 = 2*s + 4*h - 6. Which is smaller: q or s?
s
Let q be (-4 + 104/32)/((-885)/8). Let x be ((-16)/(-40))/((-12)/(-10)). Is x at most as big as q?
False
Let b = -16.958 + 17.958. Is b not equal to 890?
True
Let a be 0/(1 - 3) + -2. Let v(j) = j**3 - 7*j**2 - 18*j + 5. Let u be v(9). Suppose -z - 13 = 2*w, 3*z - 2*z - u*w = 8. Is a <= z?
False
Let u = -3.45 + 2.79. Let j = -3.71 + 4. Let k = j + u. Which is smaller: 0.1 or k?
k
Let z(a) = -3*a - 21. Let i be z(-7). Let y = i - 0. Suppose 5*k + 8 = -y*v - 3*v, -4*v + 36 = -5*k. Does v = 4?
True
Let l = -52 + 25. Let m(z) = z**3 + 4*z**2 - 67*z - 204. Let d be m(-9). Is l < d?
True
Let x be (-2 - 200/(-15)) + 8/12. Let b be (-2769)/x + (77/28 - 3). Which is bigger: -230 or b?
-230
Let y be (-15)/((-47160)/(-12656)) - -4. Which is bigger: 1 or y?
1
Let c = 39664 - 913148/23. Which is smaller: c or -39?
-39
Let f be -8*(21 + (-619664)/(-576) - (-8)/18). Which is greater: -8780 or f?
f
Let q(k) = -61*k + 922. Let z be q(16). Suppose 4*g - 46 = b, -7*g + 2*g - 15 = 0. Is z bigger than b?
True
Let s be -1*2 - (-3)/2. Let r = 2419 + -2421.889. Let x = -2.9 - r. Which is greater: x or s?
x
Suppose 56*i + 3894 = 3614. Which is smaller: -344/55 or i?
-344/55
Suppose -4*i + 95 + 1 = 4*z, -5*i + 3*z = -96. Suppose 0 = -3*l - 0*l + i. Suppose l*a - 10*a + 3 = 0. Is 2/17 less than or equal to a?
True
Let j be (-23648053)/(-2457) + (-4)/14. Let w = j - 9623. Which is smaller: w or 0?
0
Suppose 0 = -651*a - 6100 - 50537. Suppose -4*p - 54 = 286. Is a != p?
True
Let q be 2/139 - (0 + 0). Suppose 2*z - 5*z = 3. Let y be 0 + 4/(-2) + (-1)/z. Which is smaller: y or q?
y
Let h(v) = -7*v - 28. Let j be h(-5). Is j less than 21?
True
Let g be (-561)/27 - (-4)/(-18). Let k be -25 + (-6 + 8 - 0). Is g equal to k?
False
Suppose -69 = -5*x + 46. Let k = -67 - -79. Let c be 5143/222 - 2/k. Are c and x unequal?
False
Let c = 6 + 20.1. Let m = -11.89 - 14.11. Let z = m + c. Which is bigger: z or 1?
1
Let x = -785 - -646. Is x > -148?
True
Suppose k = -4*p, -2*k - 7 = -3*p + 4*p. Let g(a) = a**3 + 8*a**2 + 9*a + 7. Let i be g(-7). Let q be (35/(-60))/(-7)*(-20)/i. Which is smaller: q or p?
q
Suppose 193*s = 201*s + 64. Which is smaller: s or -91/12?
s
Suppose 5*c - 3*k - 666 = -205, 3*c - 269 = -2*k. Suppose -c + 1274 = 13*a. Let n be (-2)/(-4)*(a - (2 - 5)). Is -0.1 <= n?
True
Let u(w) = 8*w - 5. Let k(p) = -16*p + 8. Let t(l) = 4*k(l) + 9*u(l). Let c be t(0). Is c at most -5?
True
Let b = -304.85 + 341. Let f = b - 36.1. Which