*o - 7*q = -2*q, -o = -3*q + 4. Let v = o - 0. Is s at most v?
True
Let n be ((-5)/(-4))/(39536/(-6592) + 6). Which is smaller: 1/5 or n?
1/5
Let q = 1/222 - 451/1554. Let b = 0.232 + 0.058. Let w = b - -0.01. Which is smaller: w or q?
q
Suppose -5*p + 79 = 69. Which is smaller: p or -414?
-414
Let i = 1.6 - -4.4. Suppose 3*o + 5*s = -0*o - 10, -o = 4*s + 1. Let g be 3 - (6 - 4 - o). Is i less than g?
False
Suppose w + 0*w = -9. Suppose -58 = -2*f + 52. Let a be (f/(-11))/(1/2). Is a less than w?
True
Let p = 1279 + -1202. Suppose 312 = 4*u + 2*o, 0 = u + 2*u - 3*o - 216. Which is smaller: p or u?
u
Let p be (-1 + 2)/((-8)/(-64)). Suppose -p = -f - 5. Suppose 0 = -f*q - 0*q + 12, -5*n + 6 = -q. Is 2 != n?
False
Suppose 4*c - 50*i + 46*i + 20 = 0, 3*i = 5*c + 17. Let k be (-2)/1 + (-12)/(-1). Which is smaller: k or c?
c
Suppose -4*o + 7 = -0*h - 3*h, -7 = 4*h - 3*o. Let j = 1 - 3. Let x be (-6)/j - (-111)/(-27). Are x and h unequal?
True
Suppose 18 = -12*a + 15*a. Let y be 2/((-4)/a) + (-90)/(-28). Which is smaller: 2/9 or y?
y
Let t be 18/81*27/6. Which is smaller: t or -0.9?
-0.9
Let d = -139.63 + 139. Let h = -0.8 - d. Let j = h + 0.07. Which is bigger: j or 2?
2
Suppose -4*m - 3 = 3*p, -7*m - 1 = -2*m + p. Let z = 37 + -67. Let f be (-28)/z - (-16)/(-120). Which is smaller: f or m?
m
Let z be 1 + -47 + 3 + -2. Let v be 92/z + 0 - -2. Let f = -46 - -46. Which is smaller: f or v?
v
Let w be ((-45)/(-6))/(2/(-4)). Let h = w + 27. Suppose -2*i + 6*i - 36 = -4*c, 5*c = i + 57. Is c at most as big as h?
True
Suppose 7 + 45 = 4*t. Are 9 and t unequal?
True
Suppose 5*h - 20 = 0, -5*h = -4*p - 26 - 6. Let z be ((-11)/(-132))/(p/4). Suppose n + 11 = 5*n + 3*f, 3*n - f = -8. Which is smaller: n or z?
n
Suppose -5*r + 19 = 4. Suppose -r*a - 15 = 30. Which is smaller: -17 or a?
-17
Suppose -26 = 5*p - 416. Suppose 15*x - 2*x = -p. Which is bigger: x or -23/5?
-23/5
Let v = 1345 - 1377. Do -17 and v have the same value?
False
Let v be ((-6)/14)/(6/(-42)). Let q(m) be the second derivative of m**3/3 - 3*m**2 + 2*m. Let n be q(4). Which is smaller: v or n?
n
Let m = 0 - -1. Let i = 51827/39 - 1329. Do i and m have the same value?
False
Let c be (-576)/(-138) + ((-2)/2 - 3). Which is greater: c or -1?
c
Let b be (42/35)/(2/100). Let d be ((-4)/b)/(4/70). Which is greater: d or -1?
-1
Let l be (-6 + 2)*(-6)/(-60). Are l and -2.3 nonequal?
True
Let d(w) = -w**3 + 5*w**2 + 7*w - 7. Let b be d(6). Suppose 54*z + 49 = 5*z. Is b greater than z?
False
Let h(l) = -3*l + 54. Let n be h(20). Let r be (n + 66/6)*24/10. Which is greater: r or 3?
r
Let g = -49045/217 + 226. Which is smaller: -1 or g?
-1
Let i = 6.0855 - 0.0855. Is 17 bigger than i?
True
Let i be 577 + 111 + 6/(-2). Which is smaller: 686 or i?
i
Let h = -125 + 3626/29. Let s be 1 + (-63)/42*4/3. Which is greater: s or h?
h
Let d be (-6)/(-15)*30/4. Which is bigger: d or 13/5?
d
Suppose 6 = 5*u - 2*u. Suppose 3*n = 2*v + 7*n + 8, u*n = 5*v - 28. Suppose r - 4 = v. Which is greater: 9 or r?
9
Let y = -669 + 671. Is y != 119?
True
Let z be (-10413)/(-54) + 0 + 1. Let r = z - 195. Suppose 4*c = 2*c. Are r and c unequal?
True
Suppose 9*s - 6*s - 9 = 0. Suppose -s*o - 5*t = -2, o + 5*t - 16 = -12. Which is smaller: o or -5?
-5
Suppose 0 = 4*v - 3*u + 4, 4*v - 4*u = -5*u + 12. Is 0 bigger than v?
False
Let j(i) = 9*i**2 - 5*i + 3. Let l be j(1). Which is greater: l or 8?
8
Let n be -3 + (-2 - (0 - 3)). Let m(j) = -5*j - 5. Let l be m(n). Suppose -6 - 19 = -5*k - 3*d, 2*k = -l*d + 29. Are 2 and k non-equal?
False
Let c(h) be the first derivative of -h**4/4 + 11*h**3/3 - 5*h**2 - 1. Suppose -7*b = -16 - 54. Let n be c(b). Is -1/7 < n?
True
Let w = 64 + -62. Suppose 13 = -w*r + 15. Let f = 165/7 + -71/3. Is r smaller than f?
False
Let t be (3 - 21/6) + 0. Let q(g) = -3*g - 2. Let p be q(2). Let o be 1/3 + p/(-16). Which is greater: t or o?
o
Suppose -2*v = 5*v + 217. Let y = -29 - v. Which is greater: 6/5 or y?
y
Let p be ((-1)/(-4))/((-8)/256*-4). Let r be -2 - (-2)/4*p. Which is bigger: r or -4/107?
-4/107
Suppose q + q + 8 = -u, -3*q = 2*u + 11. Suppose u*n = 6 - 20. Let h = -19 - -12. Is h smaller than n?
False
Let i be ((-6)/14)/(3/5076). Let u = i + 724. Which is bigger: 0 or u?
0
Let l = 1.29 - 90.59. Let i = l - -89. Which is smaller: i or 0.7?
i
Let g be -2 + ((-8155)/(-580))/7. Suppose -2*c - 5*c = 0. Is g smaller than c?
False
Suppose 118 = -12*r + 22. Let b be (-2)/(4/(-2)) - 8. Is b less than r?
False
Let d be (-1)/(3 + 28/(-8)). Suppose -5*b = -d*u + 326, 0*u = -3*b - 4*u - 180. Which is greater: -62 or b?
-62
Suppose -3*v - 15 = 3*k, 5*k - 5 = -15. Let d(l) = 30 + 25 + l - 58. Let y be d(v). Is y at least as big as 1?
False
Suppose 87 + 59 = 5*n - 2*p, 4*p - 98 = -3*n. Let o = -25 + n. Suppose 59 + 31 = o*l. Is l < 18?
False
Let z = 24 + -8. Suppose -7*y = -z - 229. Which is smaller: y or 36?
y
Let x(s) be the second derivative of -7*s**3/6 + 5*s**2/2 + 18*s. Let w be x(1). Which is smaller: -1 or w?
w
Let h = 9 + -4. Suppose 2*a = 3*a - 3, 35 = 4*n + h*a. Let q be (-2 - (-9)/3)/n. Is -1 at least as big as q?
False
Let l = -6 - -18. Let x = -12 - l. Let d = x - -25. Is 1/2 equal to d?
False
Suppose -5*c + 106 = -2*z, 3*c - 48 - 18 = 2*z. Let s = c - 14. Let q be (-93)/s + (-3)/6. Is -16 >= q?
True
Suppose 0 = 5*k - 200 - 10. Is 43 not equal to k?
True
Let o be (-3914)/(-1140) + (-8)/18 + (-9)/3. Let y be (-1 - -2) + 0 - 0. Which is smaller: y or o?
o
Let q be (2718/(-45) - -7)*-10. Which is smaller: 532 or q?
532
Let o = 54 - 51. Let m be 1/(1/o) - 7. Do -3 and m have the same value?
False
Let u be (-7658)/19824 + 3/8. Is -1 at least u?
False
Let k = 7.3 + -52.3. Let t = k + 41. Which is bigger: t or 2?
2
Let w = -65 + 35. Let h be ((-144)/(-20))/((-9)/w). Is h smaller than 25?
True
Let o be 4/10 - 2384/(-40). Let r be 2 + -3 + 0 - o/2. Are r and -31 equal?
True
Let s(k) = -90525*k + 1. Let p be s(2). Let i = p - -55762913/308. Let u = i + 6/11. Is -1 greater than u?
False
Let g = 18 + 31. Is g at least as big as 49?
True
Let k(d) = -d + 19. Suppose 0 = 7*y - 61 - 72. Let z be k(y). Which is greater: -4/9 or z?
z
Let o = 3788 + -3786. Let m be (-3)/3 - (-14)/8. Which is greater: o or m?
o
Let t = -41/6792 + 53040245/251304. Let r = 211 - t. Let v = 1 - 0. Is v != r?
True
Let b = -1102 + 1147.9. Let k = b - 46. Which is greater: k or 0.1?
0.1
Let o be 15/(-35)*(0 - -287)/(-1). Which is greater: o or 125?
125
Suppose -3*h + 109 = 5*z, -3*z - 9*h + 10*h = -57. Is 19 greater than z?
False
Suppose 4*d - 4*h - 8 = 0, -4*d = -d + h - 6. Let i be -6*(1 + (-6)/9) + d. Is i at most 4/29?
True
Let k = -3 - -5. Suppose 2*p = -p + 12. Suppose -k*v + 46 = -5*s, 0 = -p*s + s + 4*v - 36. Is s smaller than -1?
True
Let n = -150 - -14. Let o = -96 - n. Let c = o - 18. Is -1 greater than or equal to c?
False
Let i = -43 - -43.3. Let k = 21 - 23.7. Let v = i - k. Do v and 2/15 have different values?
True
Let x be (-1935)/342*((-12)/(-15) - 0). Which is smaller: -4 or x?
x
Suppose l = -1 - 7. Let g be (-6)/l*(-70)/(-15). Which is bigger: 5 or g?
5
Suppose 0 = -5*q + 13 + 12, -4*q = -3*m - 23. Which is smaller: -4/487 or m?
m
Let u be ((-4)/(-56))/(7/(-28)). Which is bigger: u or -290?
u
Let f = 413 + -415. Is f >= -0.038?
False
Let g = 2 + -2.2. Let f = -134 - -137.48. Let z = -0.52 - f. Is z greater than g?
False
Let y be (-7)/35*5/1792. Is y greater than or equal to -1?
True
Let o(v) = v - 4 - 3 - 5 + 2. Let d be o(8). Is -3 at most d?
True
Let r = 62.5 + -51. Let s = -11.7 + r. Which is greater: s or -0.041?
-0.041
Let c = 1/9350 - 546979/37400. Which is greater: -14 or c?
-14
Let k(s) = s**3 + 14*s**2 + 17*s + 15. Let w be k(-13). Let h = w + 35. Which is smaller: h or -5/3?
h
Suppose c - g = -2*g - 6, -g = 3. Let s(y) = y**3 + 4*y**2 - 2*y - 2. Let v be s(c). Do 15 and v have different values?
True
Suppose 9 = -27*h - 153. Is 1/8 greater than h?
True
Let y = 40 - 112. Let i = 105 - 176. Which is bigger: y or i?
i
Let y be 2/5 - (-6)/(-65). Let q(n) = -n**2 + 3*n + 11. Let j be 8 + 0 + (4 - 7)*1. Let v be q(j). Is v > y?
True
Let r be (36/(0 + -4))/(1/(-3)). Which is smaller: r or 24?
24
Let i = 535 - 534.4. Which is greater: -2 or i?
i
Let b be (-28)/49 + 178578/312536. Let c = b + -22591883/111620. Let i = c 