+ -3. Let s be 2/10 + 616/(-1155) + (-155)/(-24). Are z and s equal?
False
Let l(j) = -j**2 + j + 3. Let n be l(-5). Let t be -4 - (-12)/9*n. Let r be 3/((-84)/t) - 0. Are r and 1/2 equal?
False
Let b be (76/(-12) - -3)*4/10. Let j = b + 2/3. Let w = -43 + 19. Which is bigger: w or j?
j
Let o = 15 + -11. Let h be (-78)/(-9)*(-21)/(-14). Suppose 2*x = -x - t + 18, -5*x = -4*t - h. Is x >= o?
True
Let y = -1.426 - -1.48. Let w = -0.246 - y. Which is smaller: -5/3 or w?
-5/3
Let r be (-3 - 3) + 19/(133/(-315)). Are -576/11 and r non-equal?
True
Let j(l) = -51*l**2 + 9*l. Suppose -5*i = 15, 12 = -6*s + 3*s - 3*i. Let k be j(s). Which is greater: k or -64?
k
Let w = 1.053 + 4.447. Which is greater: 0 or w?
w
Let s = -1208 - -1207. Suppose -2*j - 1399 = 1175. Let t = j + 181469/141. Which is greater: s or t?
t
Let a = 72.444 + -70.71. Are a and -2/5 nonequal?
True
Let a = 0.4994 - 0.5485. Are a and 3 unequal?
True
Suppose 71*n + 10*n - 800 = -19*n. Which is greater: 0.121 or n?
n
Let a be (-3 - 31294/(-10430))*(-16)/((-16)/5). Suppose -5*i = -2*t - 1, 5*t - 2*t = 3*i + 3. Is a >= i?
False
Let n be 256/(-10) - 2/5. Let m(l) = l**3 + 12*l**2 + 410*l + 6798. Let w be m(-15). Is n at least as big as w?
True
Let m(c) be the first derivative of -2*c**3/3 + 11*c**2/2 - 11*c + 72. Let w be m(4). Is 1/174 greater than w?
False
Let h be 11/33 + 1/((-9)/(-420)). Let d = -82 + h. Let y = d - -59. Is 23 equal to y?
False
Suppose 0 = -4*t - d - 230, 4*t + 2*d = -0*t - 232. Let h be (-68)/30*t/(-76). Is -1 less than or equal to h?
False
Let y = 317 + -995. Let u be 4 + (3402/y - -1). Suppose -4*o = -6*o. Is u less than o?
True
Let f = 412 - 392. Let q be 224/f*-1*(-4)/(-8). Which is greater: -2/3 or q?
-2/3
Let t = -1.563 + 0.563. Let i = 113 + -221. Let o be i/10*4/12. Are t and o unequal?
True
Suppose v = -3*t + 13, -6*v = 5*t - 5*v - 21. Suppose -3*y = -x + 2*y + 29, -3*y = t*x - 1. Do x and 48/11 have different values?
True
Let q = 4117/7832 + -66/89. Are 0 and q equal?
False
Let n(d) = 335*d**2 - 5*d. Let z be 9 - 9 - 9/(3/1). Let w be n(z). Let x be (2/5)/(36/w). Is 34 greater than or equal to x?
True
Let s = 7.4 + -1.4. Let n = -31636 + 31653. Which is smaller: s or n?
s
Suppose 423*y - 152 = 442*y. Which is smaller: -20 or y?
-20
Let t = 4396 - 940. Is t smaller than 3456?
False
Suppose -4*b = -d - 9*b - 4, -2*d - 1 = 3*b. Let x be ((-1640)/936)/5 - d/(-3). Is -1 at least x?
False
Suppose 3*b + 2*r - 11 = 0, b - 17 = -5*r + 4. Does b = 13/525?
False
Let c(d) = -6*d**3 - 7 - 11*d**3 + 14*d**2 - 9*d**3 + 27*d**3 - 27*d. Let z be c(-16). Let t = z + 93. Are 26/5 and t unequal?
True
Suppose -15*g = -12*g - 72. Suppose 0*o + o - 5*y + g = 0, 2*o - 2*y + 8 = 0. Let s be (-2 - -4)/(2*(-4)/88). Is o > s?
True
Let y = -620 - -604. Let a = -118 + 121. Which is bigger: a or y?
a
Let t = -0.204 + 0.011. Let h = -23950 + 23949. Which is smaller: t or h?
h
Let z = 5623/210 + -1772/15. Is -90 equal to z?
False
Suppose -320*s - 4864 = -337*s + 5421. Which is bigger: s or 590?
s
Let s be (-8)/2*(53 + -35)/(-39906). Is s greater than or equal to 0?
True
Let x(t) = -t**3 - 27*t**2 - 103*t - 252. Let v be x(-23). Which is smaller: v or 1/2054?
1/2054
Let z = -2/142635 + -236341/98703420. Which is bigger: z or 0?
0
Let w = 36.1 + 27.8. Let t = w + -63. Let o = t - 1. Is 2.4 bigger than o?
True
Let k be ((-2)/16)/((-232)/13371552). Which is smaller: k or 7205?
k
Let x be (53/2 - 1)*-2. Let u(o) = 8*o**3 + 4*o**2 + 12*o + 21. Let s be (-77)/35 - 1/(-10 + 5). Let n be u(s). Is x >= n?
True
Let f be (-3002)/(-18) - 5848/344. Is f less than -2?
False
Suppose -r - 129 = -0*r. Suppose w - i + 30 = 7, i = 2*w + 41. Let k be ((-6)/(-18))/(r/w). Is k != 0?
True
Suppose 0 = -i + 6*i. Let q(d) = d**2 + 2*d - 158. Suppose -5*z - 39 = 31. Let l be q(z). Which is bigger: l or i?
l
Let x be 21/((-1)/((-1)/1)). Let y be (6090/385)/58 - (-412)/22. Do x and y have the same value?
False
Let i be 3/(-12) + (125946/(-56) - (-146)/511). Is -2249 < i?
False
Let x = 28925/111079 - 30/113. Is 0 less than x?
False
Let w(j) = 52*j + 40. Let t be w(14). Let z = t - 13060/17. Let c(i) = i**3 - 4*i**2 + 3*i - 1. Let y be c(3). Is z less than or equal to y?
False
Let i(t) = -t**3 + 8*t**2 - 5*t + 42. Let h be -1 + 63/28 + 27/4. Let u be i(h). Are u and -14/29 non-equal?
True
Let v(s) = 2*s**2 + 3*s - 120. Let f(z) = z. Let l(w) = 3*f(w) - v(w). Let t be l(0). Let u be ((-8)/(-6))/(((-5)/(-1))/t). Is 33 != u?
True
Let q = -28 + 54.4. Let n = q - 26.6. Is 0 at least n?
True
Suppose 35 = 5*g - 5*t, -g - 1 = 2*t + 1. Let f(m) = -3 - 15*m - g*m - 3*m. Let v be f(-1). Is v equal to 19?
True
Let p(w) = w**2 - 21*w + 3. Let h be p(12). Let y be (-630)/(-8)*(-7)/h*-5. Which is smaller: -26 or y?
y
Let x(k) = -k**3 - 9*k**2 + 6*k - 12. Let i be x(-10). Let f = -45 + 45. Suppose f*y - i = 7*y. Which is bigger: y or -21/8?
-21/8
Let t(i) = -i**3 - 5*i**2 + 8*i + 10. Let q be t(-7). Let a be 160/q - (4 - 1). Let f = a - -10/39. Which is greater: 2 or f?
2
Let t be 1*0*10/160. Which is greater: 35/39 or t?
35/39
Let t be (-375)/35*35/(-5). Let c(p) = p - 8. Let h be c(7). Let m = h - t. Which is greater: -75 or m?
-75
Suppose -8*m = -11*m - 2*k + 468, -468 = -3*m + 5*k. Which is greater: m or 161?
161
Let y = 27457/3861 - 1/3861. Let h = 149/36 + y. Is h >= 2/3?
True
Suppose -5*q = s - 1, -15 + 2 = -q + 3*s. Suppose -r + 2*m - 1206 = -3*r, 1194 = 2*r - 2*m. Let c be (-5)/(r/364) + 3. Are c and q non-equal?
True
Let p(b) = -118*b + 1295. Let v be p(11). Let t be -1 + (-3*2 - 0). Is t less than or equal to v?
True
Let u be (14/(-4) - (-45)/9)/(11/10). Which is greater: -4 or u?
u
Let j be (75/6 - 9)/((-638)/212 - -3). Is -370 > j?
True
Suppose -2821 = 3*k - 2*l, 40*k = 43*k - 5*l + 2827. Do -937 and k have different values?
True
Let k be ((33328/246)/4)/(80/2536). Let y = k - 3221/3. Is -1 at least y?
False
Let i be 132/(-21) - (-18)/63. Let q(t) = 2*t**3 + 11*t**2 + 14*t - 6. Let x be q(i). Which is smaller: -125 or x?
x
Suppose 22 = -23*y + 252. Suppose -g + 21 = 19. Suppose -g*u - q + 3*q + 18 = 0, -35 = -4*u + 5*q. Is y bigger than u?
False
Let c(k) = -10*k - 42. Let a be c(-4). Let d be ((-48)/(-198))/a*(-1)/2. Are -1/5 and d equal?
False
Let u = -71.57 - 0.43. Let t = -129 - u. Let i = t - -115. Is i at least as big as -0.1?
True
Let j(v) = -5*v + 14. Let t be j(20). Let o = t + 83. Let d be (48 + -18)*o/4. Is -22 less than d?
False
Let t = 52 - 35. Suppose 0 = 3*a + t - 707. Does 231 = a?
False
Let c be 8/(-12)*7/168*-52. Is c bigger than -23?
True
Suppose -192 = -n - 5*u + 355, 2*n - 4*u = 1052. Suppose 236*w - n = 232*w. Let c be -3 - w/(-49) - 65/(-203). Which is greater: 0 or c?
c
Suppose 15*j - 18*j = -135. Suppose j = 2*m + 35. Is m greater than or equal to 2?
True
Suppose 2 = 12*i - 190. Suppose 0 = 2*s - 6*s + i, 0 = l - 4*s + 38. Is -156/7 > l?
False
Let r be ((-176)/(-1672))/(36/2). Suppose -2*m - 4 = 2*d + 4, -3*m + d = -8. Which is smaller: m or r?
r
Let g be ((-12)/(-8))/(1/120). Let q(m) = m**2 + 23*m + 64. Let u be q(-20). Suppose 0 = -u*w - 0*w - g. Do w and -45 have the same value?
True
Let b be (-4)/36*-5816*(-21)/14. Let o = -982 - b. Is o not equal to -14?
True
Let c = 161 + -227. Let a = 1.6 - 1.5. Which is smaller: a or c?
c
Suppose -3*a = -5*p - 660, -2*p - 2*p = -5*a + 541. Let q = -155 - p. Is -224/9 <= q?
False
Let j(h) = -155*h + 1221. Let m be j(5). Is m less than or equal to 452?
True
Suppose 6 - 2 = p, -2*k + 5*p = -26. Let x be (k + -37)*96/(-14). Are x and 95 non-equal?
True
Let v = -2621 + 4489/4. Let m = -1510 - v. Is -10 greater than or equal to m?
True
Suppose -5*q = 3*f - 7 - 0, 4*f = -5*q + 6. Let l be ((-12)/f)/(8/(-80)*5). Which is greater: l or -49/2?
l
Let y(t) = -868*t + 16311. Let i be y(28). Which is greater: -7992 or i?
-7992
Let o be (-55)/10 + (-3)/(-8)*(46 + -2). Let g = -0.53 - -0.5. Is o at least as big as g?
True
Let w = -443 + 503. Suppose -4*j + 0 = -w. Let y(i) = -2*i + 2. Let t be y(-6). Is j less than t?
False
Let v = 23204 - 13832. Let x be ((-1)/3)/((-22)/v). Is x bigger than 142?
False
Let q = -71 - -43. Let t be q/(-12) - (-8)/12. Let k be t/10*(-2 + (-85)/(-30)). Which is smaller: k or -1?
-1
Let x = 182852 + -32181861/176. Is 2 at most as big as x?
F