 -9?
True
Suppose 0 = 3*v - 2*v. Suppose s = 6*s + 2*t + 78, -5*t + 22 = -3*s. Let p = s - -16. Which is bigger: v or p?
p
Let t be (-11 - -11 - -8) + -244. Which is greater: -228 or t?
-228
Let b be (-2 + 1)*5*(1 - 0). Let q = b + 18. Let k = q + -56. Which is smaller: k or -2?
k
Let m = 24 - 20. Suppose -5*l - 55 = 5*w, -7*l + 12*l + 56 = -m*w. Is -16 at most as big as l?
True
Let d = 76 + -50. Let k = 1616 - 1591. Is d smaller than k?
False
Let z be (2/4 - -2)*(-116)/(-145). Let v be (-2)/(-5)*(-7 + z). Which is greater: -28 or v?
v
Let o = -57 - -65.4. Let s = o - 30.4. Let g = s + 22.4. Is g at most -7/4?
False
Let b = -51 + 60. Let t be 33/b*(-4 - -16). Let w = 45 - t. Is 10/13 greater than w?
False
Let l = -6669 - -33347/5. Which is smaller: -3328 or l?
-3328
Let m = -45.876 - 44.175. Let u = m + 90. Let s = u + 0.451. Is 1/3 bigger than s?
False
Let i = 2/113 - 117/226. Let a be 145/29 - (-10796)/(-1939). Let f = a - 1/277. Is f >= i?
False
Suppose 2394*z - 2795 = -5189. Suppose -3*r + 478 = t + r, -t + 463 = -r. Let a = t - 8852/19. Which is bigger: z or a?
a
Let i be (909 - 2)*(-1)/(-5)*(-5265)/702. Are -1362 and i nonequal?
True
Let z(a) = a + 30. Let w be z(-29). Which is smaller: w or -4/1487?
-4/1487
Let o be 1/(46/(-115) - (-206)/490). Let k be (-1022)/o*28/(-8). Is 74 less than k?
False
Let w(h) = 4*h + 56. Let p be w(-14). Let z = 965 - 4778/5. Is z at least as big as p?
True
Let b be 3 + (6*(-7)/42)/(1/310). Is -315 bigger than b?
False
Suppose 10*c + 1 - 1131 = 0. Suppose 3*d - 345 = -4*z, 2*z - 6 = -0*z. Which is smaller: c or d?
d
Let m be ((-74)/3)/(8/12). Let i = -19049 + 19014. Which is bigger: m or i?
i
Suppose 0 = l - 4*n - 39, 300 = 3*n + 312. Let h(q) = 5*q + 3. Let c be h(6). Let m = l - c. Are m and -10 equal?
True
Suppose -9*c + 31 = 184. Let v be (-138)/7 + (-26)/91 - 0. Is c at least v?
True
Let q be (1*-13)/(1/3). Let c = -11089 - -11052. Which is smaller: q or c?
q
Let v = 4 - 2. Let u(h) = -13*h - 20. Let j be u(-2). Suppose j*s = -16 - 2. Is v at least as big as s?
True
Let p = -791 + 1808. Is p greater than or equal to 1002?
True
Let a be (-2)/7 + (-26)/7. Let t = 7858623/539 - 14580. Let v = t + -9175/2156. Is a at most as big as v?
False
Suppose 3*b + 22 = 5*b. Let j(r) = 12*r**2 - 8*r + 12. Let t be j(2). Suppose -39*x + 35*x + t = 0. Is x less than b?
False
Let o be (-434)/(-110) - (110/10 - 7). Do o and 0 have the same value?
False
Let t = -11 - -14. Let x be 2/t*135/18. Let b be 85/(-153)*16/x. Do -2 and b have the same value?
False
Let c(f) = -f**3 - 14*f**2 - 47*f + 19. Let a be c(-8). Which is greater: -6 or a?
a
Let r = 0.27824 - -0.12176. Which is smaller: 34 or r?
r
Suppose 6 = -3*x + 6*x. Suppose -5*g = x*c - 4, -5*c + c - g = -44. Let b = c + -24. Is -12 != b?
False
Let n be 4 + 14/(-7) + (-49)/16. Let m be -2 - 2*(-2)/2. Is n at least m?
False
Suppose 5*f = q - 1, -3*q + 2 + 1 = 5*f. Let r be (-2)/1*q/4*-2. Let v be r/2 - (101/2 + 0). Is -50 != v?
False
Let n = 39603 + -39604. Let s be 51/140 + (-4)/10. Which is greater: n or s?
s
Let s = 575 + -589. Let p be 674/14 - (6 + 82/s). Which is smaller: p or 46?
46
Let p(x) = x**3 - 23*x**2 - 75*x - 78. Let y be p(26). Which is smaller: y or -2/3273?
-2/3273
Suppose 0 = -5*y - 20, 4 = 4*q - y - 0. Let l = 158/15 - 148/15. Which is bigger: l or q?
l
Let p = -2.954 + 2.62. Let d = -98.334 - p. Which is smaller: 1 or d?
d
Let p = 2977/15 - 20236/195. Is p <= 95?
True
Suppose -5*r = 5*m + 875, 5*m = 5*r + 817 + 68. Is -213 not equal to r?
True
Let l = -4.6 + -21.7. Let q = 26.3 + l. Is -149 equal to q?
False
Suppose 0 = 5*x, 14*l + x = 11*l - 36. Let b = -97 - l. Let p = 76 + b. Which is bigger: p or -6?
-6
Let d be (238/68)/(2/(-4)). Let u be ((-10)/5 + d)*-3. Is u not equal to -1/2?
True
Let y = 15935/64 + -249. Let f = -36449.6 + 36450. Are f and y unequal?
True
Let c(v) = -v**3 - v**2 + 3*v + 3. Let x(k) = -3*k**2 - k + 5. Let u be x(-2). Let h be c(u). Is 89 less than h?
False
Let q be -6 + (-8)/12*-9. Let x be (q/52)/(0 + -2). Let v be 2/4 + (-46)/140. Is x at least v?
False
Let g be (-6)/(-4)*648/(-972). Which is smaller: g or 1/45058?
g
Suppose 0 = -15*s - 38*s + 2009 - 46264. Is s >= -3339/4?
False
Let z = 3.99 - 4. Suppose 2*r = -2*p - 6, -4*p = -0*r - r - 8. Let o be -4 + (r - (-49)/6). Which is smaller: z or o?
z
Suppose -7*x - 357 = 10*x. Let n be -4*x/14*1. Which is greater: 39/8 or n?
n
Let l be (-1 - (-8)/6) + (-632)/6. Let a be -1*(-2)/(-4) + l/30. Let v be (2/a)/((-1)/4) - 3. Which is greater: -7 or v?
v
Suppose 21*s = 78*s - 228. Let k be s*(-2)/(-32)*8 - -546. Is k greater than 548?
False
Let d = -4961 - -4932. Which is greater: 23 or d?
23
Let v be (-4 - -1)/(2382/96868). Suppose 0*o + 369 = -3*o. Are o and v equal?
False
Suppose -3*x = 7*g + 2*g - 45, g - 5*x = 5. Do g and 1609 have the same value?
False
Suppose 94*t + 11376 = 103*t. Let i = t - 1266. Let v = -2.25 - -2. Which is greater: i or v?
v
Let q = 4 + 41. Let b = 48 - q. Suppose 5*s + 3 = b*z, 0 = -5*z + 4*s + 5. Which is greater: -1/28 or z?
z
Let r = -23348 - -23566. Are r and -62 nonequal?
True
Let m(x) = x**3 - 13*x**2 + 171*x - 60. Let p be m(19). Which is smaller: 5354 or p?
5354
Let m be 4 - (-5 + ((-6)/(-24))/((-4)/(-144))). Is m != -4/307?
True
Let f = 5032.967 + -5039. Let t = f + 0.033. Which is greater: t or 13?
13
Let c be (-21)/(1071/34)*1/226. Which is smaller: 2/7 or c?
c
Let m = -17540.1117 + 17540. Which is smaller: m or -3/8?
-3/8
Let r = -43 - -44. Let b be 2 + 4/(-3) - (-457)/120. Let k = 39/8 - b. Which is smaller: k or r?
k
Let k = 39.7 + -39. Let v = k + -0.5. Let i = -0.041 + 0.131. Is i not equal to v?
True
Suppose -6*g = -16*g + 130. Let a(n) be the first derivative of -n**3/3 - 2*n**2 + 6. Let r be a(-4). Is g >= r?
True
Let i = -12687 + 12477. Do -192 and i have the same value?
False
Let k be (-25 - -6)*(2 + -3). Suppose -8*o - 1331 = -k*o. Are o and 123 unequal?
True
Let y = 5893 + -4693. Which is smaller: y or 1198?
1198
Suppose 0*u + 6 = 3*u. Let v = -77 - -67. Let p be (((-32)/v)/u)/(98/175). Is 3 at least p?
True
Let u(d) = -2*d - 26. Let w be u(-17). Suppose i = -w*i - 36. Let o(x) = x**3 + 6*x**2 + 9*x + 3. Let m be o(i). Which is bigger: 1/57 or m?
1/57
Suppose -5*t = -0*t - 15. Suppose 0*m - 4*s = t*m - 76, -4*s = 4*m - 104. Suppose 7*a - 464 = -9*a. Are m and a non-equal?
True
Let r(m) = -2*m**2 + 24*m - 15. Let x be 14 + 4 - (3 + 3). Let i be r(x). Let l = 21 + -20. Which is smaller: i or l?
i
Suppose -49*j + 3*y = -45*j + 1683, 3*y = -2*j - 855. Are 30 and j unequal?
True
Let x be 8/76 - 167139/1485477. Is x at least -1?
True
Let u be 2/(-16)*(-12)/(-33). Let b(h) = h**3 + 21*h**2 - h - 8. Let d be b(-21). Suppose 0 = 3*o - 5*c - 3, -12*o + d*o - 1 = -2*c. Are u and o nonequal?
True
Let j = 0.1788 + -0.0188. Suppose -472 + 456 = -4*k. Which is bigger: k or j?
k
Let w = -563.2 - -679.2. Which is smaller: w or -1.6?
-1.6
Let u be ((-4797)/(-11726))/(24/(-22)). Suppose 7*y + 20 = 3*y. Let s(b) = b**3 + 5*b**2 + b + 6. Let j be s(y). Which is greater: j or u?
j
Suppose 2*u + 3*l = 100, -5*l + 4*l - 128 = -3*u. Suppose 3*t - 8*t + 16 = 2*p, -9 = -3*p. Suppose 190 = 4*w - t*m, -3*w + 4*m + 42 + 113 = 0. Is w > u?
True
Let g = -0.207 + -0.001. Let x = 0.108 + g. Is 19.8 greater than x?
True
Let b = 176.06 - 176. Suppose 4*s + 81 = 8*s + 3*i, -4*i - 92 = -3*s. Let d = s - 24. Which is greater: d or b?
b
Let p(c) = 46*c - 52. Let u be p(1). Let h be 13/(-39) - (-4)/u. Let x = -32/351 - -2/117. Is h != x?
True
Let w = -18 - -22. Suppose w*z - 12 = -8. Let u be (0/18)/(z + 0). Which is smaller: u or 4/11?
u
Suppose 122*b - 38*b + 84 = 0. Do -10/977 and b have the same value?
False
Let a(t) = 2*t - 46. Let x be a(5). Let g be (-1)/(-2) + (-12)/x. Let s = -1 + 1. Which is greater: g or s?
g
Let b(x) = x**3 - 14*x**2 - 32*x - 7. Let s be b(16). Let h be (-2)/(-8) + s/56*18. Let d = -1/24 - 59/24. Is d != h?
True
Let r(f) = f**3 + 26*f**2 + 23*f - 46. Let m be r(-25). Suppose 3*x + 10 = x, 0 = 2*s + m*x + 130. Is -55 at least s?
True
Let p = 6422 - 6890. Which is smaller: p or -464?
p
Let o be 3/9 - (-51)/9. Suppose 2*g + 6 = 2*u, -2*g - 5*u = 8 - 37. Suppose 0 = -2*c - g*v + 12, 5*v = c - 0 - 18. Are c and o equal?
False
Let c = 27 + -28. 