 Is a less than f?
True
Let c be -4*2 - ((-5)/65 - 464/52). Let w = -3469 - -888065/256. Is w less than c?
True
Suppose -m = 4*f - 8, 0 = -3*f + 7*m - 11*m + 19. Which is smaller: -3/4498 or f?
-3/4498
Let b = -931.28 - 19.72. Is -2 != b?
True
Let z = 35 - 25. Let c be (-4)/z*(29 + -14). Let o = c + 16/3. Is -6/25 greater than o?
True
Let r = 2.215 - 2.3. Let a = -43.085 - r. Let u = a + 42.5. Which is smaller: u or 0?
u
Let w(a) = -38*a - 63. Let o(h) = 36*h + 61. Let u(r) = -6*o(r) - 5*w(r). Let j be u(-2). Is j >= 160?
False
Let j be 3/(-3) - (3 + -5 + 5). Let r be (-21)/(-81)*((-112)/49)/j. Which is smaller: r or -3?
-3
Suppose -5*m + i = 26, -8*i - 26 = m - 3*i. Let b be 2/m*(255/36)/17. Let k be 0*(2/(-2) + 0). Which is smaller: b or k?
b
Let x = 0.0804 + -4.0804. Is x greater than 47.8?
False
Let c = -7707.58 + 7790. Let q = -0.38 - c. Let a = q - -83. Which is smaller: a or -0.1?
-0.1
Let c be 25 + -3 + 0/4. Suppose -c*s = -13*s - 648. Suppose -6*j + 3*j = s. Is j smaller than -24?
False
Let o be 2/(-6)*((-2)/24)/((-58)/696). Which is smaller: o or 1/702?
o
Let d(g) = -2*g**3 - 10*g**2 + 64*g + 74. Let k be d(-13). Which is greater: -3/5 or k?
k
Suppose 231 = -60*x + 32*x + 35*x. Which is greater: x or 39?
39
Let y = 613 + -608. Suppose y*m - 15 = 0, -z = -m + 5*m - 53. Which is greater: z or 37?
z
Let l = -38/417 + 13544/47955. Let d = -316/1955 - l. Let k = 18 + -19. Which is smaller: k or d?
k
Let h be (2/(20/710))/(-9). Let z = h + 158/9. Let s = 16 - 5. Which is smaller: z or s?
z
Let g be ((-2)/16)/((-6)/(-8))*2776/1041. Which is smaller: g or 156?
g
Let y = 11864 - 818602/69. Let w = 4/207 + y. Let f = -39/140 + -1/140. Which is greater: w or f?
w
Let n be 2/4*(0 + 1). Let c = -31.2 + 48.5. Are n and c equal?
False
Let v = -55.47 + 2.47. Let z = 53.61 + v. Is z at most 1?
True
Let a = -26/167 + 2791/1837. Let c = 79275 + -79274. Is c at least as big as a?
False
Let l be -4*(6/4 - 2). Suppose -4*z - 2*b = -140, -5*z + 4*b = -155 - 20. Let i be 2*3/12*l*z. Which is greater: i or 36?
36
Let n(h) = -6*h**3 + 10*h**2 + 12*h + 5. Let z be n(4). Is z at least as big as -164?
False
Suppose -6*h - 287 - 385 = 0. Let v be -106 + h/(-52) + (-4)/26. Which is bigger: v or -106?
v
Let x be 40/300 - (187/(-66))/(10/6236). Is 1764 greater than or equal to x?
False
Let x be ((-15940)/5 - 5) + 14. Which is smaller: x or -3178?
x
Let u be (-6794)/(-38) - (-1 - -3). Let y = u - 177. Suppose -28 + 21 = -7*j. Which is greater: y or j?
j
Suppose 111*b = -4*k + 113*b - 1414, 1781 = -5*k - 2*b. Is -354 at least k?
True
Let i = 22015 + -10447. Is i not equal to 23133/2?
True
Let i = -1779 + 1016. Is i at most as big as -762?
True
Suppose 0 = 5*o - h - 58614, -10*o - 58648 = -15*o - 33*h. Is 11723 >= o?
True
Let n = -1 - 6. Suppose -28 = 2*d + 2. Let i be ((-8)/n)/(d/(-35)). Which is smaller: 4 or i?
i
Let v(n) = 4*n**3 - 20*n**2 - 2*n + 11. Let t be v(5). Is -4/541 >= t?
False
Let z = -180 - -1612/9. Let k(w) = -2*w**3 - 23*w**2 - 30*w. Let t be k(-10). Which is smaller: z or t?
z
Let c = 1/13038 - 417239/299874. Let d = 808/713 + c. Which is smaller: d or 1?
d
Suppose -676 = -4*l - 4*a, 4*a = 3*l + l - 644. Suppose 3*x - 246 = -4*g, 2*x + 6*g - l = 3*g. Which is smaller: 77 or x?
77
Suppose 0 = 12*r - 21*r - 339 + 5109. Are 531 and r nonequal?
True
Let o = 25/27 - -35/108. Which is smaller: -0.28 or o?
-0.28
Let s = 5.179 - 4.479. Which is smaller: s or -303?
-303
Let a = -32 - -593/19. Let v = 25 - 27. Which is greater: v or a?
a
Let p = 0.4574 + 2.6426. Let c be (3/(-2))/(132/(-16)). Which is smaller: p or c?
c
Let m = -93.102 + 0.102. Let w = -100 - m. Let n = w + 7.3. Is n less than -11?
False
Let a be (-270)/50*55/(-4)*-4. Suppose -3*c - s - 424 - 470 = 0, -5*c - 3*s - 1498 = 0. Is c greater than or equal to a?
True
Let w(j) = 2*j**3 + j**2 + 51. Let c be w(0). Let x be (3 - 0)/3 - -1*c. Let d = 141 - 89. Is d != x?
False
Let a be (-4 + 3 + 2)/1*1. Let i be (-1)/3*(-48)/660. Let k = i - -206/5115. Which is greater: a or k?
a
Let v(z) = -2*z**2 + 121*z - 1423. Let u be v(16). Is -2/11063 >= u?
False
Let o = -6.5 + 0.5. Let g = 0 + o. Suppose 9*a = -5*z + 5*a + 9, 2*z - 2*a = 0. Is g at most as big as z?
True
Let z = 9.04 + -0.54. Let c = z - 9.03. Let a = 0.23 + c. Are -2 and a nonequal?
True
Let c(k) = -k**2 + 9*k + 36. Let p be c(-3). Suppose -13*o + 9*o - 152 = p. Is o at most as big as -110/3?
True
Let t = 593 + -403. Let a be t/(-550) + (-24)/(-44). Are a and 0.7 equal?
False
Let z = 51.16 - 0.16. Let p = 8226.6 - 8227. Which is smaller: p or z?
p
Let q be -2 - -12*1*3/6. Let n be (13/1 + q)*-3. Let b = n + 28. Which is greater: -24 or b?
b
Let b be 6/(-10)*(33 - 503). Suppose -q + 104 = -v, -2*v + 3*q + b = -5*v. Which is greater: v or 3/2?
3/2
Suppose -2*s = 4*f - 90, -3*s + 55 = -8*f + 10*f. Let v(h) = 5*h**2 - 3*h - 2. Let b be v(4). Suppose k + 3*k = -2*a + 84, -3*k = 3*a - b. Is k at most f?
True
Let n be 5 - ((-30)/8)/((-5)/20). Which is smaller: 68 or n?
n
Let o be 6 + -2 + -2 - (-120 + -1). Suppose g + 2*g - 370 = -s, 5*g - 2*s = 613. Is g greater than or equal to o?
True
Let d be (-10)/8*(-11 - -7)/(-4). Let p = -36.79 + 37. Let c = p - 0.51. Are d and c nonequal?
True
Let q = -5345 - -6551. Is 1206 greater than q?
False
Let a = 3407/39 - 14118491/161616. Is -1 > a?
False
Let q = -0.026 - -118.026. Let u = 15075 + -14988. Let w = u - q. Which is bigger: -1 or w?
-1
Let y = 0.5 + -0.1. Let n = 1305.77 - 1270. Let t = -35.8 + n. Which is greater: t or y?
y
Let z be (500/3125)/(2/(-4855)) - 12. Which is greater: z or -400?
-400
Let x = -200.6 + 200.305. Do x and -6 have different values?
True
Let g be (-52)/(-66) + 56/(-42). Suppose 128 = 5*n - 4*f - 203, 0 = 5*f + 20. Let i = 314/5 - n. Is i bigger than g?
True
Let n = 1.222 - 1.122. Which is bigger: n or 177?
177
Suppose 45 = 135*v - 126*v. Suppose -v*u - 16 = -21*u. Is 1/207 less than or equal to u?
True
Let v = 126 + -115.7. Let k = 10 - v. Let p be -3*(3 - (-202)/(-66)). Is p less than k?
False
Suppose 71*o = 68*o + 9744. Let x be (3/6 + 0)/((-14)/o). Is x at least as big as -117?
True
Let r = -12091 + 10097. Is -1993 greater than or equal to r?
True
Suppose -5*b - 35 = -3*x, 114 = -b + 110. Suppose 25*j + q = 21*j + 2, 4*q = x*j - 13. Is j not equal to 6/133?
True
Suppose -33*h + 37*h = -5*d - 46, 0 = -5*d - 10. Suppose -4*w + 8*g = 4*g + 24, -2*g = w. Is h at least as big as w?
False
Suppose 203853*i + 46592 = 203866*i. Are i and 3586 unequal?
True
Let o be ((-627)/(-6))/((132/8)/(-11)). Let v(f) = -68*f**2 + 11*f + 10. Let i be v(-1). Is o smaller than i?
True
Let b be 0 - ((-10)/(-4) - 2). Let r = 58.4 - 64. Let n = r + 3.6. Is b at least n?
True
Let o(q) be the first derivative of 7*q**3/3 + 17*q**2/2 - 23*q + 7. Let i be o(12). Let b = -108201/91 + i. Is b at most 0?
True
Suppose -2*v - 432 = 16*s - 20*s, 3*v = 0. Let d be 27/s - (-393)/(-132). Is d greater than -0.3?
False
Let x = 404 - 408. Let p be -10 - (-2255)/22 - (-6)/x. Is p equal to 91?
True
Let o(z) = -z**3 + 7*z**2 + 6*z + 15. Let v be o(8). Is 1/1076 >= v?
True
Suppose 1 = 4*o - t, -5*o + t = -9*o - 9. Let f be 8/(-52)*3/(-456)*2. Is f equal to o?
False
Suppose 2*s - 4*l = 18, 3*l = -s + 1006 - 1032. Which is smaller: -56/11 or s?
-56/11
Let i(v) = v**2 - 10*v + 1. Suppose 0 = -2*f + 23 - 3. Let x be i(f). Let m be (((-15)/12 - -1)*x)/12. Which is smaller: m or -1?
-1
Suppose -30 = -5*y - 0. Let b = 96 + -677/7. Are b and y non-equal?
True
Let l = -6532 + 6532. Which is bigger: l or 2686?
2686
Suppose 5*j = -q + 2518, -13*j - q = -16*j + 1514. Suppose 0 = 4*t + 4*o - j, -10*o = -3*t - 5*o + 402. Which is smaller: 130 or t?
t
Let k = 50.5 + -43.5. Suppose 0 = -2*l - 2*l + 8. Is k > l?
True
Let p = -6/79 + 795/1106. Let i be (-2)/11 + 48/22. Which is smaller: i or p?
p
Let c be (-15417)/(-18) - (-15)/(-10). Which is bigger: 854 or c?
c
Let i(k) = -4*k**2 + k - 1. Let a be i(1). Let l be a/18 + (-1469)/(-7137). Are 1 and l equal?
False
Suppose 305 = 108*k + 16*k - 67. Let q(p) be the first derivative of -p**2/2 - 13*p + 6. Let u be q(-10). Which is greater: u or k?
k
Let s(h) = h**2 - 8*h + 22. Let i be s(5). Let x be ((-7)/i - -3) + 1*9. Which is smaller: 23/2 or x?
x
Let h = 8423 + -8197. Which is smaller: h or