be c(-3). Let s = a - 1. Let r be q(s). Which is smaller: r or 5?
r
Let a = 838/3 + -12291/44. Which is greater: a or 1?
1
Let a = -32.1 + 4.3. Let c = 29 + a. Let u = 2.2 - c. Which is smaller: u or -32?
-32
Suppose -47 + 192 = t. Let v be t/20 + (-2)/8. Suppose 0*j + 4*j + 8 = 0, 0 = 4*m + j - 34. Which is bigger: m or v?
m
Let r = 1631048/27 - 60418. Do r and -9 have the same value?
False
Suppose 13*f = -113 - 108. Suppose g = 3*d - g - 50, -d + 15 = -g. Let c = f + d. Which is bigger: 12/5 or c?
c
Let w = 6319/2 + -3090. Let v = -71 + w. Let g(k) = -k - 20. Let q be g(-17). Is q < v?
True
Let m be (-2)/(-4 - (-6 + 3)). Let g(r) = m - 1 + 10 + 2*r - 3*r. Let i be g(12). Is -1 at least i?
True
Suppose 8*t + 9 = -7. Which is greater: 107 or t?
107
Let c(n) = -n + n**3 - 3*n - n**2 + 2*n. Let z be c(2). Let s = 6 + -64/11. Is z < s?
True
Let f be (-3807)/714 - 15/((-1530)/12). Do -6 and f have the same value?
False
Suppose -j - 28 = -s - 5*j, 0 = 4*s + 3*j - 73. Let q = 16 - s. Suppose v + 1 - 2 = q. Which is smaller: -3/7 or v?
-3/7
Suppose f + 2*f = 5*w - 66, -4*w - 2*f + 44 = 0. Suppose 54*q = 52*q - w. Are 0 and q non-equal?
True
Suppose 4*z = 2*f - 3*f + 1667, 5*z + 6689 = 4*f. Let t be (-1)/(-5) - (-2 + f/780). Is 0 equal to t?
False
Let v = 2550 + -2518. Which is smaller: 37 or v?
v
Let k be (-243 + 160)*(-1)/(-5). Which is bigger: -0.3 or k?
-0.3
Let k = -150 - -150. Let c be -1 + 0 + 1027/1060. Let s = c + -1/53. Is s at most k?
True
Let h = 295/6 - 49. Suppose 4*w + 4*t = 172, -w = -3*w - 5*t + 86. Let z = w + -44. Which is greater: z or h?
h
Suppose -31*d + 50*d = 0. Does d = -18/19?
False
Suppose -5*p + 34 + 4 = -3*r, -p = 3*r + 14. Let l be ((-4)/r)/((-40)/60). Are l and 1/9 non-equal?
True
Let y = 27.42 + 0.58. Let h = -21 + y. Let w = 0.02 + -0.02. Which is smaller: w or h?
w
Let r be (-3820)/(-1480) + (-35)/14. Are r and -6 unequal?
True
Let k = 2641 + -2360. Are k and 0.2 equal?
False
Let z(q) = -17*q + 2. Let t be z(-3). Let v = -863 - -916. Do t and v have the same value?
True
Suppose 11*z - 22*z = 517. Is -46 at most as big as z?
False
Let c be (-6)/9*(1 + 2) - 10. Let p(w) = w**3 + 6*w**2 - w - 10. Let d be p(-7). Let y be ((-5)/(-10))/(2/d). Does y = c?
False
Let u = 3 - 42. Let o = u - -39. Which is greater: -3/10 or o?
o
Let v be 0 - (-4)/(-1) - -4. Which is smaller: v or -4/11?
-4/11
Suppose b - 15 = 3*j, -2*b - 23 + 3 = 4*j. Let l be (1/(3/272))/(10/6). Let g = l - 55. Is b >= g?
True
Let v = -13 + 20. Let y = v - 11. Which is greater: 3 or y?
3
Let a = -1641/11 + 149. Is -1 less than a?
True
Suppose -29 = -3*k - n, 4*k - 3*n + 9 = 52. Suppose -2*a + k = m + 3*m, 4*a = -3*m. Is -2 at most a?
False
Let r be -4 + 1 - (-34)/56. Let u = 13/4 + r. Let k = -3 - -4. Which is greater: u or k?
k
Let a(n) = -n + 136. Let s be a(0). Let b be -3 + -1 + s/36. Is b at least -1?
True
Let c = -729 + 935. Is c less than or equal to 205?
False
Let q be ((-60)/25)/((-4)/10). Suppose -q = -3*r + 45. Let d = 121/7 - r. Which is bigger: d or 0.11?
d
Let y = 44051/913 - 2113/44. Let u = y + 2/83. Is u < 7?
True
Let m be 1 + (-1 + 5)/(-4). Which is smaller: m or 1/47?
m
Let j(o) = -o**2 + 76. Let z be j(0). Let y = 75 - z. Is y equal to -1/9?
False
Suppose 0 = -3*v + 5*n + 34, -3*n - 7 = -v + 3. Suppose 9*q - 4*q + v = r, q - 7 = 5*r. Are 1.6 and r equal?
False
Let c = -5 + 1. Suppose 4*t - 11 - 1 = 0. Let u be 5/(t/(-6 - -3)). Do u and c have the same value?
False
Suppose -2*k + 5*k = -4*u + 8, 0 = u - 5. Is k at most as big as -5?
False
Let u = -60 + 178. Let j = 119 - u. Which is bigger: j or -7/20?
j
Let z be (1 + -3 + 2)/1. Let l = -1/456 + -869/19608. Which is smaller: l or z?
l
Let h = 7 + 14. Let b = h - 20.89. Which is smaller: b or -0.2?
-0.2
Let p = 18.39 + -18. Let k = 19.39 - p. Let h = k + -19. Which is smaller: h or -2/3?
-2/3
Suppose 0 = 466*p - 451*p + 255. Which is smaller: -20 or p?
-20
Let d = 527 - 566. Which is greater: d or -40?
d
Let p = 279 - 494. Are -215 and p equal?
True
Let t be 63/14*10/(-18). Do t and 0.1 have the same value?
False
Let c = 5 - 19/4. Let y be (560/4074)/10*3/(-2). Is y greater than c?
False
Let l = -35 + 35. Suppose q + q = l. Which is greater: -3 or q?
q
Let p(n) be the first derivative of -3*n**2/2 - 4*n - 12. Let r be p(-3). Suppose 68 = r*a + 4*b - 42, 0 = 5*b - 25. Which is smaller: -0.1 or a?
-0.1
Let y = 0.29 - 6.59. Let t = -5 - y. Which is bigger: -1 or t?
t
Let y = -2 - -20. Do y and -3/7 have the same value?
False
Let t = 890/441 - -108/49. Which is bigger: 3 or t?
t
Let h be (2/4)/((-3)/27) + 4. Which is smaller: 1/186 or h?
h
Suppose -3*s + j = -23 - 3, 4*j = -8. Let n be 3/18*(-4)/2*s. Which is smaller: 0 or n?
n
Let m(w) = 7*w**3 + w**2 - w - 1. Let p be m(1). Let i = -153 - -151. Is p at least i?
True
Let a(u) = u**2 + 2*u + 1. Let j be a(-2). Let g = 1/74 + 65/666. Is g at most as big as j?
True
Let p = 657/2 - 328. Which is greater: 1.18 or p?
1.18
Suppose 0 = -4*v - 8. Suppose -3*h + 3*c + 69 = 0, 0 = 2*h + 12*c - 8*c - 64. Suppose -5*r + h*r - 105 = 0. Which is smaller: v or r?
v
Let d(x) = -x**3 - 3*x**2 - 2*x - 2. Let j be d(-2). Let g be (1/j*-2)/(-1). Let m = -84/5 + 509/30. Is m less than or equal to g?
False
Let o(x) = 9*x**3 - 80*x**2 - 7*x - 6. Let h be o(9). Suppose -4*k = q + 16 - 44, 4*q + k - 52 = 0. Is q smaller than h?
False
Let i be 27/((-27)/2) + (-412)/(-214). Which is greater: -1 or i?
i
Let f = 176 + -176. Which is greater: f or -34?
f
Suppose -2*a + 13 = -d - 0*d, 62 = -4*d - 2*a. Let n = -20 - d. Let i be (n - -2) + 13 - 1. Which is smaller: 10 or i?
i
Let r(z) = z**3 + 2*z**2 - 2*z - 2. Let n be r(-3). Let a be -3 - ((-30)/(-1))/n. Are a and 3 nonequal?
False
Let l = -469 - -461. Which is smaller: -41 or l?
-41
Let j(b) = 11*b**2 + 2*b - 1. Let k be j(1). Suppose -6*c + 16 + 2 = 0. Suppose -38 = -3*u - 5*v, 8 = 3*u - 2*u - c*v. Is k bigger than u?
True
Let t = 1/10 + -3/5. Let z = 58 + -46. Suppose -z*u - 14 = -2. Which is bigger: u or t?
t
Let s = -6798 - -6797. Let p = -1006/51 - -59/3. Which is bigger: p or s?
p
Let z = 210 + -229.8. Let h = z - -1.8. Let q = -17 - h. Is -0.8 at least as big as q?
False
Suppose 25 = -5*t - 2*j, -7 = 5*t - 2*j - 2. Let g be 3/(t/11) - (-22 - -21). Suppose 4*h = -26 - 18. Does g = h?
False
Let c = -12 - -16. Let s be 42/70*c/(-6). Which is smaller: 14 or s?
s
Let x(h) = h - 14. Let z be x(13). Let s be -3*(7 + -1 + z). Which is greater: s or -16?
s
Suppose 5*s = -4 + 19. Suppose -4*l - 5*c = -s, 0 = 3*l + 3*c - 2*c - 5. Let x(i) = -i + 4. Let h be x(l). Which is smaller: 5 or h?
h
Let n be 6 + 18*(-24)/(-108). Which is bigger: n or 91/8?
91/8
Let s be 25/3 + 8/(-24). Let p be (1 - 0)*(-8)/s. Let r = 19/63 + -5/14. Which is bigger: p or r?
r
Suppose -6*u - 5*t + 30 = -2*u, 2*t - 24 = -4*u. Suppose 2*g + p = -34 + 4, 0 = -u*g + p - 89. Let z be g/(-34)*1*-2. Which is smaller: z or 3/25?
z
Suppose -7*l + 39 - 4 = 0. Suppose 0*m + 7 = -y + 2*m, l*y = 2*m - 27. Which is greater: -5/3 or y?
-5/3
Let z(r) = -14 + 25*r + 22*r - 51*r. Let f be z(-6). Are f and 3 nonequal?
True
Let g = 998 + -8969/9. Is g less than or equal to 2?
True
Let h(v) = -2*v**2 - 12*v + 63. Let z be h(-12). Which is greater: z or -319/4?
-319/4
Suppose -p + 5*m - 4*m = -4, -27 = -3*p - 2*m. Suppose -8*g = 1 + p. Which is bigger: g or -1/34?
-1/34
Suppose 254 = -9*j + 1811. Which is greater: j or 172?
j
Suppose 2*o = -2*k + 4, -2*o + 5*k + 10 = -3*o. Suppose -3*g + o*g = 3*g. Is 1/4 less than or equal to g?
False
Let v be (-94)/136*8/12. Let n be 4*6/16*(-8)/(-306). Let x = n - v. Are x and -1/13 non-equal?
True
Let f(d) = -7*d + 76. Let z be f(9). Let m(s) = -5*s - 8. Let l(k) = 14*k + 24. Let n(u) = -6*l(u) - 17*m(u). Let p be n(z). Which is smaller: -0.1 or p?
-0.1
Suppose 0 = -9*m + 6*m. Which is greater: 1 or m?
1
Let k(i) = i. Let a be k(2). Suppose -7 = -3*l + n + n, 3*l + a*n + 1 = 0. Which is bigger: l or -2/93?
l
Suppose 8*b = 9*b - 23. Let d = -8 + b. Let y = 15 - d. Is 0 greater than y?
False
Let k = -9974/531 + 20/59. Is k < -18?
True
Let f = 254 + -271. Which is bigger: 1.7 or f?
1.7
Suppose -12*r = -10*r - 12. Which is bigger: r or 8?
8
Let p = -1/1812 - -1225/30804. Let t be 1 + 4/12*0/(-2). Which is bigger: p or t?
t
Let u = 111 - 10