+ 9*h. Let c be 12/3 - 620/15. Which is smaller: n or c?
c
Let i = 127 - 123. Suppose 5*t + 20 = -r - i*r, -12 = 3*r + 5*t. Which is smaller: -11/4 or r?
r
Let o(i) = i**3 - 2*i**2 + i + 3. Let w be o(-3). Let p be (-10 + (-432)/w)/(2/(-34)). Which is smaller: p or 6?
6
Suppose 5*o - 88 = -4*i + 77, 5*i - 202 = -2*o. Suppose 50 - i = 2*f. Suppose -4*v + 64 = 4*h - 0*h, -3*h = -v. Is v <= f?
False
Let z be (341/143 - 5)*-13. Which is smaller: z or 53?
z
Suppose -6*t - 2 = 22. Let s = -24 - -20. Are s and t equal?
True
Let v be (-4 - (-145)/30)/(2 - 77/42). Let n(t) = -t - 1. Let b be n(3). Let r be (b/(-8))/(7/54). Is r > v?
False
Let w = -137 + 135.13. Let k = -3448 - -3446. Do k and w have the same value?
False
Let g be ((-32)/(-368) + 212/207)/(9/504). Which is smaller: g or 61?
61
Let a be (-235)/5 - (0 - -2). Suppose 0 = n - c - 4*c + 45, 0 = 3*n + 2*c + 152. Is n smaller than a?
True
Suppose 0 = 2*t - 2, 3*t + 336 = 3*z - 0*t. Is z less than or equal to 115?
True
Suppose i - m = 6*i - 232, 3*i = -5*m + 126. Let r = 84 + -77. Suppose -r*l = -8*l + 47. Is i less than or equal to l?
True
Let y = 874.688 + -831.6. Let l = y - 43. Let u = l + -0.088. Which is smaller: 40 or u?
u
Let z be -2*(-6)/900*34. Which is smaller: 0 or z?
0
Let j(w) = 5*w**2 - 4*w + 3. Let n be j(1). Suppose o - 22 = k - 3*o, 4*o = n*k + 64. Let x be (1 + k)*6/(-6). Is -1/4 equal to x?
False
Let i be ((-49800)/(-1200))/(14/(-44) - 0). Is -129 >= i?
True
Let t = 0.195 - -1.535. Let c = t - 1.53. Which is smaller: 2 or c?
c
Let c = -38 + 22. Let y = c + 11. Let h be 6*((-66)/(-12) + y). Are -13 and h equal?
False
Suppose 4*z + 40 = 3*h, 3*z - 11 = -h - 2. Let a be ((-2)/h)/(10/(-15)). Is -1/49 less than or equal to a?
True
Suppose -3401 = -u + 2*a + 4949, 41848 = 5*u + 4*a. Which is greater: u or 2?
u
Suppose 48 + 56 = 24*v + 32. Let c be 6/33 - (-78)/55. Do c and v have the same value?
False
Let u(c) = -2*c**2 - 156*c + 319. Let r be u(2). Does 12/317 = r?
False
Let o(s) = 8*s**2 - 4 - 2*s + 10*s - 7*s + 2*s**3. Let v be o(-4). Let q be v/(-70) + (-20)/(-70). Which is smaller: -15 or q?
-15
Suppose 0*q = -2*q - 122. Let b = -1/6590 + -1232327/19770. Which is smaller: b or q?
b
Suppose 0 = 7*o - 17*o + 40. Suppose -s - o*d - d + 36 = 0, -5*d = -25. Suppose 2*l - q = -l - s, 5*l + 3*q = -9. Is l at most as big as 0?
True
Suppose -j = -2*s + 37328, -2*s + 6490 + 30846 = -3*j. Which is greater: s or 18661?
s
Suppose 0 = 5*y + 4*c - 8 - 22, -y - 2*c + 12 = 0. Let q be (24/16)/(y/4). Is q at least 2/7?
True
Let d = -0.016 + 0.043. Let m = -11.773 - d. Let p = m + 12. Which is smaller: p or 17?
p
Let g = -22.258 - 1.742. Is g smaller than 94?
True
Let w = -315443497/3145 - -100300. Does w = 1?
False
Let h = -30785 - -11113378/361. Which is greater: h or 0?
0
Let l be (-10)/(-1*2) - 1421/58*2. Which is greater: -42 or l?
-42
Let n be -1*0*(-2)/(-4). Let k(h) = -2*h**3 + 26*h**2 - 43*h - 4. Let y be k(2). Which is greater: n or y?
n
Let q(k) = -13*k - 10. Let b be q(-6). Suppose -b = -p - 55. Let l(a) = a**2 - 13*a. Let c be l(p). Is 2/217 greater than c?
True
Let y(k) = -20*k + 23. Let o be y(1). Suppose -o*w + 16 = -t + w, -2*w + 44 = -5*t. Are 2 and t unequal?
True
Let t(d) = 4*d**2 + 11*d - 15. Let c be t(5). Let v be c/6*-3*(5 - 4). Let j be (-32)/(-112) + ((-144)/v)/(-3). Is 20 > j?
True
Let h = -672 - -673. Which is smaller: 10/1217 or h?
10/1217
Let m = -77 - -82. Suppose -5*x + 123 = -3*r, x - 186 = m*r + 19. Which is bigger: r or -81/2?
-81/2
Let y = -6 - 4. Let n(g) = 4*g**2 + 279*g - 56. Let p be n(-70). Which is bigger: p or y?
p
Let x = 50.9648 - -0.0352. Let l = x + -47. Is -3/23 >= l?
False
Let z be (-10)/(-55) - (-62)/22 - 14. Let f(m) = -m**3 - 11*m**2 + 8*m + 87. Let x be f(z). Is x at least -2/37?
False
Let v = 30 - 20. Suppose -87*k - 7266 + 6918 = 0. Is k equal to v?
False
Let g = -1573/15 + 317/3. Suppose 0 = -5*t - 31 - 4. Let n(d) = -d**2 - 5*d + 14. Let z be n(t). Which is bigger: z or g?
g
Let f be -82*(-1)/5*(-35)/(-14). Let o = f + -29. Suppose 0 = -j + 2*w - 7*w + 21, -2*w - o = -3*j. Which is greater: 2/3 or j?
j
Let y = 783 - 787. Let z = 0.2 + 0.02. Let p = -0.17 + z. Which is greater: p or y?
p
Let w(a) = 11*a + 12. Let k(d) = -2*d. Let i(p) = -10*k(p) - 2*w(p). Let q be i(-19). Let c be (-448)/(-44) - 2/11. Is q less than c?
False
Let l = -3316 + 3316. Which is bigger: 19/75 or l?
19/75
Let l be 9/6*(-3840)/8. Is l at least -720?
True
Let q = 220 + -210. Suppose d - 16 + q = 0. Is 2 greater than d?
False
Let j be ((-3)/2)/(9 + -13). Let t(m) = m**2 - 39*m + 170. Let u be t(34). Are u and j unequal?
True
Let v = 0 - 0.02. Let s = 274.6 + -272.6. Is s > v?
True
Let z(a) = -186*a + 1489. Let c be z(8). Is 16/901 less than c?
True
Suppose -60*d + 2293 = -407. Which is greater: 27 or d?
d
Let a be (-1240)/372*(3 + (-138)/(-28)*-1). Let p be (-1)/(15/(-7) + 2). Is a smaller than p?
True
Let o be (-1)/(-5) - (-7)/(-35). Suppose 0 = 5*q - t - 24, o = -5*q - 5*t + 45 - 15. Suppose -4*z = -i - 3*i - 12, -5*z + q = 0. Is i smaller than 6?
True
Let j = 1006/1293 + -33698311/5172. Which is smaller: -6516 or j?
-6516
Let d = -98.825 - 0.175. Let u = -89 - d. Which is smaller: -1 or u?
-1
Let u = 251.4 + -241. Let i = u + -11.3. Is i greater than or equal to -0.1?
False
Suppose -4*y + 22 = -3*a, 5*y + 3*a - 10 = 4. Let z(x) = -2*x**2 + 11*x - 8. Let m be z(y). Suppose m*u = -u + i + 2, 4*i = u - 8. Which is smaller: 0.41 or u?
u
Let l(a) = 2*a**2 + 4*a + 4. Let f be l(-2). Suppose -12*c = f*c + 192. Let j be (2/21)/(4/c). Is j < -1?
False
Let w = 4857 - 4873. Which is smaller: 83 or w?
w
Let y be (17/((-34)/(-4)))/((-14)/(-174)). Suppose -208 = 3*l - 11*l. Which is bigger: y or l?
l
Let k = 3.19 + -3.35. Let s = k + -0.44. Suppose -2 = 3*v + 2*r + 11, 4*v - r = -10. Does v = s?
False
Let r be (98/84)/(7/(-3)). Is r less than -81?
False
Let p(h) be the second derivative of h**3/2 + 7*h**2 - 12*h. Let f be p(8). Suppose -3*m = -7*m + 148. Is m equal to f?
False
Let s = 1/14703 + -14810/1573221. Which is bigger: s or -30?
s
Let l = 10014 + -10014.3. Let m = -0.591 + 0.081. Which is greater: m or l?
l
Let z be (0 + 1)*36/6. Let t(a) = 2*a + 26. Let m be t(-12). Suppose 0 = -z*n - m*n + 176. Are n and 22 equal?
True
Let f = 2/181367 - 397375105/725468. Which is bigger: f or -0.2?
-0.2
Let a = 0.043 - -29.057. Let t = a + -29. Suppose 121*r - 2 = 123*r. Is t >= r?
True
Let d(v) = -v**2 - 17*v - 28. Let p be d(-15). Suppose p*c = -2*j + 12, 4*c + 28 = 7*c + 5*j. Let n = 598 + -20932/35. Which is greater: n or c?
c
Let o = 1099/5 - 661/3. Is -0.91 less than o?
True
Let f be -24 + (40/(-12) - (-6)/(-9)). Suppose -8*x = 132 + 84. Which is smaller: x or f?
f
Suppose -4*c - 12516 = 2*h, -5*c - 22718 = -4*h - 7099. Is c less than or equal to -3123?
True
Suppose -t - 12 = -a, -3*a + 5*t + 11 = -33. Suppose 4*c + a = -2*u, -c - 2*c - 16 = 4*u. Suppose 0 = 2*o + 2 - c. Is o equal to -1/7?
False
Let n be ((-186)/42 - -6)*7. Which is smaller: -46 or n?
-46
Let g(p) = 2*p**2 - 25*p + 45. Let s be g(12). Let y(a) = -14*a + 173. Let j be y(s). Is -289 smaller than j?
False
Let u = -1337 + 1714. Is u > 377?
False
Let f(r) = r**3 + 9*r**2 - 11*r - 4. Let h be f(-11). Let c = -120 - h. Suppose -c*z + 149 - 9 = 0. Are 30 and z equal?
False
Let z be (-1 + (-15)/(-10))*6. Suppose z*w + 6*x - 8*x = 4, 2 = -x. Is w at most as big as 2/93?
True
Let c = -12 + -33. Let f = -24.8 - 12.2. Let q = c - f. Is q < -2/3?
True
Suppose v + 927 = 5*v - 3*z, -5*z = -5*v + 1155. Suppose -10*r + 13*r = -4*m - v, 0 = -5*r + 4*m - 390. Do -78 and r have different values?
False
Let g(f) = -5*f**3 - 5*f - 4. Let m be g(-1). Let b be (m/(-4))/((-242)/(-660)). Is b at most as big as -3?
True
Let k(f) be the second derivative of f**5/20 - 5*f**4/6 - 23*f**3/6 - 6*f**2 - 2*f - 26. Let u be k(10). Is u at least -1?
False
Let a = 4803 - 4048. Let p = 57 - 58. Which is bigger: p or a?
a
Suppose -3*l + 5*s + 33 = 8*s, 0 = -2*l + 4*s + 52. Suppose 0 = -6*z - 88 + l. Let w be -2 + (-1 - (-33)/(-3)). Is w less than z?
True
Let j(v) = v. Let g(n) = 6*n + 49. Let r(h) = -g(h) - 4*j(h). Let k be r(-3). Suppose a - 64 = 5*a. Which is greater: k or a?
a
Let m be 1 - 5 - 8/40*-25. Let w be (150/(-220))/(m/(2 - 1)). Supp