 (3 + -5)/(2/3). Which is greater: x or z?
z
Let n be (592/(-22))/((-32)/(-16)). Let s = -1847/143 - n. Which is greater: s or 2?
2
Let p = -2277 + 2285. Is p at most as big as 10?
True
Let i = -0.04 - 0.02. Let l(a) = 70*a - 190. Let b be l(3). Which is smaller: i or b?
i
Let c(j) = -j - 14. Let q be c(-18). Suppose 4*u = 3*y + 5 - 15, y + q*u - 14 = 0. Let w be (12/(-110))/(y/20). Do w and -1 have different values?
True
Let r be ((14 - 1) + -15)/(-65). Which is smaller: 9/8 or r?
r
Let j = 5575 + -5532. Which is smaller: j or 272?
j
Let c be -1 + (-4 - -1)/(-3). Let q(z) = z**3 + z**2 + 1. Let u be q(-2). Let f be (-15)/21 + (0 - u - 2). Is c <= f?
True
Let i = -7402 + 60033/7. Let k = -1170 + i. Let s = k + -194/35. Which is smaller: s or 0?
s
Let f(s) = -s**2 + 51. Let o be f(7). Let x be 0 + o/9 + (-15024)/61776. Is x at most as big as -1?
False
Let k(n) = 30*n**3 + 2*n**2 + 29*n + 15. Let q be k(-4). Is q bigger than -1988?
False
Let j = 0.582 + -1.382. Is j less than or equal to -0.78?
True
Let w = -14 - -4. Let o be (52/w)/(6/12*4). Does 3/5 = o?
False
Suppose 8*o + 2*v = 13*o + 377, -2*v = 4*o + 334. Which is smaller: -20 or o?
o
Let p be (-136)/612 - 30657/432. Is -72 >= p?
False
Let f be (10/(-8))/((-1)/16). Suppose -5*d - 2*n - 50 = 0, -2*d - f = -0*d - 4*n. Let i be (0 + -1)/(6/d). Which is greater: 3 or i?
3
Let n(v) = -v**2 + 12*v + 8. Let a be n(7). Let s be (-129)/215 - 62/(-10)*-7. Let x = s + a. Which is bigger: 2/21 or x?
2/21
Let o(r) = -r**3 - 4*r**2 + 4*r - 11. Let k be o(-6). Let w be -3 + 4 + -3 + k. Suppose w = 3*g - 8*g. Which is greater: g or -9?
g
Let k = 134.2 + -122. Let j = -75.8 - k. Let v = -15.7 - -16.7. Which is smaller: j or v?
j
Let k(b) = 9*b + 8. Let z(t) = 2*t - 1. Let p(o) = -3*k(o) + 15*z(o). Let h be p(10). Let a = 9 - 16. Does a = h?
False
Let r(g) = 2*g - 39. Let m be r(19). Let i be m*1/38*2*2. Are i and -5 equal?
False
Suppose -4*o - 2 = 2*h, h + 0*h + 3 = -3*o. Let v = 8 - h. Suppose -b - 14 = -2*b + g, v*b + g = 46. Is 8 less than or equal to b?
True
Let l be 150/9 - -2*3/(-9). Let n(t) = 6*t**2 + 6*t - l*t**2 + 9*t**2 - 2*t + 13. Let u be n(6). Which is bigger: u or -10/29?
u
Suppose -5*l + 2*c - 6*c = -555, 2*c + 333 = 3*l. Suppose -9 = -15*o + l. Is 58/7 < o?
False
Let j(m) = -m**2 + 24*m - 23. Let g(b) = 6*b - 29. Let q be g(10). Let x = q + -8. Let w be j(x). Which is smaller: w or -3/10?
-3/10
Let z(q) = -8*q - 28. Let c be z(-16). Suppose 5*w + 5*u = -c, -3*w + 8*w - 4*u = -100. Let r be -2*((-352)/w - (-6)/15). Is r at most as big as -37?
False
Let o(z) = -87*z - 1788. Let r be o(-22). Are 1644/13 and r equal?
False
Suppose -4*b = 3*o + 2764, -2086 = 3*b - 0*b - o. Which is smaller: b or -695?
-695
Let k be 6/(-9) - -97*(-4)/12. Let u be (-1)/k - (25/(-3) + 8). Which is smaller: 0 or u?
0
Suppose 2*s - 16 = -u, -2*s = s + 3*u - 21. Let j be s + (12 - 54) + -2*1. Is j at most as big as -35?
True
Let z be (-2)/11 + (-646477)/(-3003). Let g = 2138/7 - z. Do 90 and g have different values?
True
Let v = 6283 - 6884. Which is smaller: v or -605?
-605
Suppose 3*h - 3*x = 81 - 348, 2*h - 5*x = -178. Which is bigger: h or -995/11?
h
Suppose -t = -112 - 86. Suppose q = 189 + t. Is 387 < q?
False
Let f = 11/95 + -223/285. Let u be (0 + (-10)/9)/(-1). Is u < f?
False
Suppose 5*r + 325 = 3*u - 818, 5*u - 1939 = -3*r. Are u and 392 unequal?
True
Let m = -320133/4 - -79201. Are m and -833 non-equal?
True
Let h(a) = 65*a - 3154. Let c be h(50). Is 46 equal to c?
False
Suppose 3*s + 15 = z + 8*s, 5*s - 15 = 3*z. Suppose -3*g - 22 + 22 = z. Which is bigger: g or 12/19?
12/19
Let r = 20 - -14. Let h = -41 + r. Let y be -4 + 18/12 + 171/66. Is y greater than or equal to h?
True
Let p be (-3 - (3 - 1)) + 8. Suppose -14 = -5*f + p*a, 2*f + 4 = -12*a + 10*a. Which is smaller: 2/407 or f?
2/407
Let q be ((-14)/5)/((-1708)/2440). Is 1 <= q?
True
Let q be (-3 + 34/6)*99/(-15). Let o be (-5)/20 + 426/(-24). Which is greater: o or q?
q
Suppose -23*j = 24*j - 47. Which is greater: j or 6/4811?
j
Suppose -401 = 5*d - 3*n, 3*n = -10 + 1. Do d and -86 have the same value?
False
Let i(c) = 5*c + 7. Let r be i(1). Let y be 3/r + (1 - 358/8). Let u = y - -45. Is u >= 3?
False
Let l(h) = 10*h + 55*h**3 + 6 + 3 - 15*h**2 - 54*h**3. Let x be l(15). Let q be 2/11 - (x/(-33) - -5). Which is greater: q or -2/149?
q
Suppose -3*j - 5*z + 53 = -3*z, -89 = -5*j - 3*z. Suppose -3*r - 2*f - 3*f - j = 0, -2*f - 8 = r. Is r <= 22/9?
True
Let v(x) = 2*x + 2. Let l(f) = -12*f + 87. Let y(n) = -l(n) - v(n). Let a be y(12). Which is greater: a or 29?
a
Let y be 2/(100/2)*55/1804. Which is smaller: y or 1?
y
Suppose 0 = 9*r + 290 + 268. Is r bigger than -52?
False
Suppose 5759 = 8*n + 5663. Is -24 bigger than n?
False
Let t(z) = -4*z - 172. Let w be t(32). Is -303 at most w?
True
Let b = -157 - -157. Let y be (-4)/(-6)*(-15)/(-2035). Let h = y + 146/407. Are h and b nonequal?
True
Let y = 15 + -605. Is -589 at least as big as y?
True
Let b = -2560 + 2575. Which is smaller: b or -69?
-69
Let w = 2.4 - 3. Let t(f) = -f**3 + 242*f**2 + 2516*f + 1031. Let o be t(252). Is w bigger than o?
False
Let k be 12 + -27 + (-8244)/6. Which is bigger: k or -1388?
-1388
Let s be (7/((-105)/(-18)))/(1325425/(-57625) + 23). Are s and -1381 equal?
False
Let u = 5.48 + -5.48. Which is smaller: u or -145/13?
-145/13
Suppose 47 - 7 = -3*r + 5*l, 0 = -r + 2*l - 15. Let p(m) = 31*m - 835. Let g be p(27). Is r greater than g?
False
Let m = -5 - -7. Let a = 9.4871 - 9.53. Let u = a - -7.0429. Which is bigger: m or u?
u
Suppose 11*w + 1703 + 123 = 0. Let n be 4*1/(-8) - w/(-36). Is 1 greater than n?
True
Let z be 12/(-108)*-27*(-80)/1. Is -244 at least z?
False
Let u(q) = -q**3 + 5*q**2 - 4*q. Let n be u(4). Let k be (-6)/(-33) - (-1023938)/(-1408). Let c = 727 + k. Is n at least as big as c?
True
Let a be 10/(-1074)*((-2 - 3) + 2). Is -1 >= a?
False
Let f(b) = b**2 - 8*b + 191. Let g be f(23). Which is smaller: 535 or g?
535
Suppose 639*z + 3817 = 628*z. Which is bigger: -346 or z?
-346
Let u = -2402 + 2317. Which is bigger: 2/83 or u?
2/83
Let k = -168 - -80. Let w = -25 - 65. Is w < k?
True
Let m = -92.09 - -42.09. Which is bigger: m or 20/7?
20/7
Let k(t) = -t**3 + 8*t**2 - 13*t - 10. Let u be k(5). Let g be -1*11 - u/(-17). Does g = -65/6?
False
Suppose 0 = 6*d + 108 - 186. Let h(s) = 25*s - 324. Let y be h(d). Which is bigger: -12/89 or y?
y
Let q(m) = -3*m - 2. Let l be q(-3). Suppose -l*i + i = -18. Let f(k) = -k**2 + 10*k. Let s be f(i). Which is greater: 19 or s?
s
Suppose 16 = 369*s - 267*s + 118. Let g be (1/(-3222))/((-1)/(-4)). Which is smaller: s or g?
s
Suppose -2*m + 43 - 2 = a, -15 = -3*m. Suppose -a*r = -24*r - 98. Is -1 equal to r?
False
Suppose -13*o + 11*o = -8. Suppose -o*j + 4*s + 52 = -3*j, -2*j = -3*s - 79. Is 30 at least as big as j?
False
Let o(m) = 2*m**2 - 28*m - 26. Let l be o(15). Suppose 368 = -0*h - l*h + 5*v, -5*v = 0. Is h smaller than -94?
False
Let t(y) = -2*y**3 + 177*y**2 + 93*y - 1340. Let u be t(88). Does u = 14588?
True
Let m be (-1)/2 - 0/((-576)/(-32)). Is -132/5 greater than m?
False
Suppose -2*l + 2*d - 54 = 0, l + 3 = -5*d - 6. Let o be (-190)/l + (-5)/(-15). Which is smaller: 7 or o?
7
Let q be (-38)/1 - (-2 + 0). Suppose -g + 40 = -o, -3*o = -4*g - 70 + 192. Is o at least as big as q?
False
Let x(d) = -2049*d**2 + 66*d - 177. Let v be x(3). Is 0 >= v?
True
Let c = 5146 + -25088/5. Let b = -127 + c. Suppose 2 = 2*j - 0*j. Which is bigger: b or j?
b
Let p be 51/((-1)/((-60)/(-9))). Let t = p - -337. Is t less than or equal to -20?
False
Let u(r) = r**3 - 3*r**2 - r - 9. Let f be u(4). Let x be 2/f - ((-44)/(-12) + -4). Is -5/51 smaller than x?
True
Let j be 106/41*(32 + 2009/(-82)). Which is smaller: j or 19?
19
Let h be (1*(-21)/6)/(6/72). Let m be h/4*8/6. Suppose -50 = 3*w - 0*w - j, 0 = 5*w - j + 80. Is m less than or equal to w?
False
Let n be 3/2*((-1850)/111 + 16). Which is bigger: 3/3598 or n?
3/3598
Let s = 163991/46 + -3564. Let o = s + -2903/230. Is o less than or equal to -13?
False
Let g = -4621 - -4622. Which is greater: g or 298?
298
Let p(s) = 20*s + 49. Let h be p(-2). Let v be (-9)/(-6)*(-13)/h. Do v and -3 have different values?
True
Let w = 1/2305164 + -8840304017/177497628. Let s = -334/7 - w.