be 1/(-2)*184/12. Let b = n + 121/15. Which is smaller: k or b?
k
Let g = 996.02 - 984. Let z = -12 + g. Let l = 0.18 + z. Does -1 = l?
False
Let m = 0 - -10. Suppose -4*t = -6*t + 5*v - 22, 0 = 3*v - 12. Let f = t + m. Are f and 10 unequal?
True
Let r = -79 + 66. Let s = -8 + 20. Let l be ((-5)/(-2))/((-2)/s). Which is bigger: r or l?
r
Suppose -14*k + 44 = 58. Which is smaller: k or -17/11?
-17/11
Let i = -227 - -225. Which is smaller: 3.9 or i?
i
Let y(j) = j**2 - 18*j + 1. Let m be y(18). Let z(a) = 2*a**2 - 4*a + 2. Let k be z(2). Which is greater: k or m?
k
Let c be (-2)/(-3) - 40/42. Let u = c + 4/21. Let p be 90/(-405) - 11/(-9). Is p greater than u?
True
Let g be 6*(992/(-6))/1. Let t be -1*3 - g/(-15). Let m = t + 69. Is m greater than 1?
False
Let h(j) = -j + 1. Let q be h(-5). Let w be (-3)/12 + q/(-8). Which is bigger: w or -22/9?
w
Suppose 3*r = -9, r + 97 = -4*x + 6*r. Is x at least -27?
False
Let n = -0.595 + 3.505. Let l = 21 + -24. Let k = l + n. Which is greater: k or -2?
k
Let h be (120/117 - 1)*2. Let f(q) be the second derivative of q**5/20 + 7*q**4/4 + 7*q**3/2 + 21*q**2/2 + 15*q. Let p be f(-20). Which is smaller: h or p?
h
Let v be (-26)/65 - (-33)/(-5). Which is smaller: 12 or v?
v
Suppose 12 = 3*c - 42. Let q = -15 + c. Suppose -2*l - 3*b = -17, -l - q*b + 18 - 2 = 0. Is 1 less than l?
False
Suppose z + 7 = -2. Let r = -2 + 0. Let v(s) = -s**2 + 4*s + 3. Let l be v(r). Is l less than or equal to z?
True
Let x be 32/(-80) + 4/10. Suppose k - 2*g + x*g = 7, 0 = -5*g - 15. Is 2 less than or equal to k?
False
Let h be (-4)/10 + ((-92)/(-5) - 6). Let w(b) = b**3 + 4*b**2 - 4*b + 7. Let v be w(-5). Suppose k - 33 = -v*k. Is k != h?
True
Let c(d) = -3*d - 33. Let w be c(-15). Suppose -4 = w*b - 8*b. Is b at most as big as -16/11?
False
Let h = -1510834 + 710092277/470. Let i = h - 3/94. Is 1 at most as big as i?
False
Let r be (-2528)/(-6)*(-17)/(-102). Let n = r - 70. Which is bigger: 0 or n?
n
Let d = -41.1 - -39. Let b = -1.9 - d. Which is greater: b or -1.5?
b
Let n = 587 - 2949/5. Suppose -2*m - 7 = -k, -k - 20 = 2*m - 11. Are n and m unequal?
True
Let n = 105 - 106. Let l be ((-182)/168 - n/(-6))*-4. Is l greater than or equal to 7?
False
Let a = 107.7 + -107. Let h = a - 0.6. Are -57 and h non-equal?
True
Let z = 84 - 139/2. Let w = z + -201/14. Is 1 at least as big as w?
True
Let u = -320 - -321. Which is bigger: u or 3/73?
u
Let p be (-4)/6 + (-58)/(-6). Let t be p/(-18) + 2/52. Suppose 0 = 2*u - 4*u. Are t and u equal?
False
Let t be (-7)/16 + (-6)/2. Is t <= -4?
False
Let t = 8 - 1. Suppose -3 + t = 4*m. Let h be 1/(105/6 + m). Is 0 at least h?
False
Suppose 5*t - 10*t = 2*x - 461, -5*x - 10 = 0. Do t and 93 have the same value?
True
Let i(v) = v**3 - 67*v**2 + 73*v - 461. Let y be i(66). Which is smaller: -11/25 or y?
-11/25
Let l = 206 - 257. Which is greater: -2/3 or l?
-2/3
Let q be -8 + (4 - 3) + 0. Let h be (-30)/189 + 2/q. Are h and -2 nonequal?
True
Let a(v) = -2*v**2 + 5. Let d be a(0). Suppose -2*l + 42 = -d*l. Let i = 14 + l. Which is bigger: i or 1/4?
1/4
Let n = -63 - -127. Suppose 4*g + n = -0*g. Which is bigger: -33/2 or g?
g
Let q = -182 - -182.1. Let g be (3/(-6))/(3/(-2)). Is g less than or equal to q?
False
Let k = -23 - -19. Let i = -8 - k. Which is smaller: -0.3 or i?
i
Let s = -0.125 + 11.125. Let w = 0.6 - 4.6. Let z = s - w. Which is smaller: z or 0.1?
0.1
Suppose 2*t - 19 = -5*k - 6, -6 = -2*t + 2*k. Let q(l) = -7 - t + 4 + 16 - l. Let f be q(6). Is -1/4 not equal to f?
True
Suppose 0 = 2*s + 10. Let q be (s/2)/(5/(-40)). Let j = q - 25. Which is smaller: -3 or j?
j
Let z = -43/24 - -13/8. Let y = -1.8979 + -0.1021. Do z and y have different values?
True
Suppose 16 = o + 3*o. Let k(z) = -12*z**3 - o + 6*z**3 - 5*z + 5*z**3 - 4*z**2. Let j be k(-3). Which is bigger: j or 1?
j
Let g be (-155)/15 - 25*5/75. Is g smaller than -0.1?
True
Suppose -31 = -8*k - 23. Which is bigger: 1/48 or k?
k
Let t = 0.207 - 0.307. Are t and 25/2 nonequal?
True
Let b = -121.2 - -121. Let n = -9.93 - -10. Which is bigger: b or n?
n
Let u = 68 - 66. Suppose 0 = -c + i + 14, 0 = -c + 7*i - u*i + 10. Which is smaller: c or 0.1?
0.1
Let a = -25.83 + -17.13. Let d = 42 + a. Let x = -1.1 - d. Is 1 <= x?
False
Let h = 379 + -480. Are -101 and h equal?
True
Suppose -73 = w - 2*b, -5*w = -0*w + 3*b + 417. Let f be (-983)/(-12) - (-4)/(-16). Let m = w + f. Is 2 smaller than m?
False
Let t = -14 - -13. Let c be 18/(-20) - (1/t - 0). Which is greater: c or -3?
c
Suppose 8*g + 626 - 202 = 0. Which is smaller: -375/7 or g?
-375/7
Let u be (184/(-20))/(-2 - -12). Which is bigger: u or -1?
u
Let i(x) = x**3 - 14*x**2 + 3*x - 10. Let p(h) = 5*h - 1. Let y be p(3). Let m be i(y). Let r = m - 26. Which is greater: r or 5?
r
Let v be 0/((-56)/7) + -18. Is -20 equal to v?
False
Let m be (-16 - -21) + (-5)/1. Which is bigger: -15/47 or m?
m
Let u = 17/2 - 4. Let f = u + -3. Is f bigger than 4?
False
Let q = 0.73 - 8.83. Let m = q + 6.1. Is m less than or equal to -46?
False
Suppose -5*h - 15 + 0 = 0. Let v = h + 7. Suppose 0 = -4*d + 8*d + v. Which is greater: 0.9 or d?
0.9
Let n = 4.7 + -1.7. Let i be 6/(-30) + (-69)/30. Are n and i unequal?
True
Suppose 3*t + 30 = -4*h, -4*t = -t - h + 45. Let z = -130 - -652/5. Is t <= z?
True
Let i = -75983/642276 - 1/8451. Which is smaller: 1 or i?
i
Let l be ((-4 - -8) + -4)/(-2). Is 126 equal to l?
False
Let u = -2588.8 + 2591. Let g = 0.1 - 0.1. Is g at least as big as u?
False
Let l = -2861/1074 + -1/358. Is -2 smaller than l?
False
Let a be 220 - (9 + -1 + -14). Is a >= 226?
True
Suppose -6*r = -7*r + 3. Let y be 39/(-9)*(0 - r). Is y not equal to 11?
True
Let k = 15/7 - 202/91. Let n(q) = -q**3 + 9*q**2 - 16*q + 7. Let v be n(7). Let t(c) = c**2 + 6*c - 8. Let j be t(v). Which is greater: j or k?
k
Let v be (1/2*0)/1. Suppose 0 = p - v*p. Which is smaller: p or -1/22?
-1/22
Let q be (2 + 0)*2/(-4). Let l be (-2064)/(-32)*4/(-3). Let p = l - -1810/21. Which is smaller: q or p?
q
Let d = 142 + -101. Let w be 26/(-7) - -4 - 278/(-7). Which is greater: w or d?
d
Let a(z) = -z**3 + 3*z**2 + 2*z + 4. Let v be a(3). Let m(k) = k**2 - k + 18. Let f be m(8). Suppose -f + 29 = -5*x. Are v and x nonequal?
True
Let w = 216.3 - 217. Is -2/5 at most w?
False
Suppose 0 = f - 1 + 16. Let o be 6/f + (-29)/(-85). Suppose -4*i + 5*u + 14 = 0, -2 = 2*i - 0*i + 2*u. Which is greater: i or o?
i
Let n = -354 - -709/2. Is 65 less than n?
False
Let w(n) be the third derivative of 101*n**5/60 - n**4/12 - n**3/3 - 15*n**2. Let t be w(-1). Is 100 at least as big as t?
False
Suppose -46*w = -33*w - 4667. Is w equal to 356?
False
Let y = -1053 + 1207. Is 156 <= y?
False
Let w be ((-6)/78)/(1/18). Let d(q) = -q**2 + 28*q + 27. Let m be d(29). Are w and m unequal?
True
Let n = 41/96 - 3/32. Which is bigger: n or -4.2?
n
Let v = -4.9 + 4. Let w = v - -2.3. Let o = w - 2.2. Which is smaller: 1 or o?
o
Suppose -2*g - h - 45 = 0, 4*h = g - 0*h + 9. Let j = -50 - g. Is j != -29?
False
Suppose -4*w = 2*w - 18. Let d be (-2)/6 + ((-10)/w)/(-2). Which is bigger: d or 2?
2
Let j = 53671/187 - 287. Let v be 0/(4/2*1). Is j smaller than v?
False
Let c(v) = 2*v**3 - 9*v**2 - 2*v + 43. Let h be c(6). Is 137 > h?
False
Suppose -3*k - 5 = -4*u, -k + 0*k = 5*u - 11. Let g be (u/8)/((-299)/(-184)). Is 1 less than or equal to g?
False
Let m = -2.17 - -2.97. Which is smaller: 8 or m?
m
Let b(z) = z**2 + 7*z + 2. Let r be b(-6). Let j be (-9 + 9)/(r - -1). Which is smaller: j or 1/2?
j
Let z be (-42)/70 - (-52)/(-180). Which is bigger: z or -1?
z
Suppose l - 15 = -4*t, 5 = 6*t - 4*t + l. Suppose 5*r - 31 = 3*j, -t*j - 29 = r + 4. Is j at least as big as -8?
True
Suppose 1 = 2*d + 3*u, 4*d - 2*u = -28 + 6. Let l be (-2)/((-5 + 3)*d). Are -2 and l nonequal?
True
Let c = 3 + -3. Let r = -79/7605 + -2/169. Are c and r nonequal?
True
Let m(t) = 14*t + 195. Let i be m(-14). Which is smaller: -2.26 or i?
-2.26
Let y = 0.03 - 0.93. Let n = y - -0.5. Is 2 less than n?
False
Let p be (0 + -2)/((-2)/2). Let y be 0 + 345/27 + 2/9. Let z(n) = 2*n - 23. Let j be z(y). Is j equal to p?
False
Suppose 5*s + 34 = 5*r - 2*r, 3*r - 22 = -s. Suppose -i - 46 = i. Let f = -15 - i. Is r bigger than f?
False
Let l(q) be the second derivative of 1/20*q**5 - 1/6