Which is smaller: v or -6/31?
-6/31
Let y(s) = 290*s - 80. Let z be y(3). Let t = z + -785. Which is smaller: t or 15/4?
15/4
Let g be (-3*(-56)/(-54))/((-1)/(-3)). Let m = 9 + g. Let y be (1 + -1 - 2)/(-3). Which is smaller: m or y?
m
Let g = -528 - -497. Let t = g + 30. Do t and 5/29 have different values?
True
Let g = -9398/27 + 348. Let k(v) = v**2 + 2*v + 6. Let t be k(0). Let u(d) = -d + 5. Let m be u(t). Which is smaller: m or g?
m
Let n(d) = d**3 + 5*d**2 - 296*d + 67. Let k be n(-20). Which is bigger: k or -15?
k
Suppose -2809*x = -2790*x + 285. Suppose 9 = -5*r - 6, 2*l + 5*r = -11. Suppose -3*c + l = -1. Is c bigger than x?
True
Let h = 14285/2 - 7490. Which is smaller: h or -349?
-349
Let w be 2/2 - (12 + -16). Let s be (w - 8) + 6 + 1. Let z = s - -4. Which is smaller: 7 or z?
7
Let d = 2.17 + 0.48. Let f = -6.64 + 7.29. Let k = f - d. Do -50 and k have the same value?
False
Let t = 3/3743 + 329375/11229. Are 29 and t non-equal?
True
Let s = 0.0459 + 315.9541. Let m = 318 - s. Which is smaller: m or 7?
m
Let v(l) = 2*l**2 + 4*l - 14. Let j be v(7). Let t be (12/(-6) - 18)*j/20. Which is bigger: t or -114?
t
Suppose -2*s + 17 = -5*q, 3*s + 3*q = -2*q - 12. Let l = 14/29 - -16/29. Are s and l unequal?
True
Let k = -1 + -3. Let p(x) be the second derivative of x**5/10 + 13*x**4/6 - x**3/3 - 23*x**2/2 + 140*x. Let f be p(-13). Is k bigger than f?
False
Let m be -2 + 6 - 0/5. Suppose -m + 28 = -3*s. Let v = s + 10. Is 5/3 != v?
True
Let q be 72/(-48)*364/147. Let j be (-184)/(-12)*4/14. Let f = j + q. Which is greater: 11 or f?
11
Let q = 362 + -292. Let p be (33/(-77))/((-36)/q). Which is smaller: -9 or p?
-9
Let s be (7 - 1)*(-2)/6 - -21. Let n be s/(399/(-2))*6/(-208). Is -1 less than n?
True
Let u be ((-1)/4)/(3/(-180)). Suppose -2*a - 3*l = 1 - 4, -27 = -2*a + 5*l. Suppose x + u = a*x. Is x greater than or equal to 14/9?
True
Let n = 351 - 361. Let i be ((-1)/2)/((-3)/36). Let p(j) = -j - 1. Let g be p(i). Is n at most as big as g?
True
Let m = -560239 - -560238. Let i = 1/3842 + 42225/142154. Is m != i?
True
Suppose -1642 - 2186 = -58*z. Are z and 461/7 nonequal?
True
Let k = 9 - 14. Let i(n) = n + 8. Let z be i(k). Let o = -100 + 105. Which is smaller: z or o?
z
Suppose -2*u + 9 = -5*u. Let t(c) = -113*c - 114*c - 103*c + 302*c - 16. Let i be t(u). Is i < 69?
True
Let u = -905 + 152039/168. Is 1/8 greater than or equal to u?
True
Let g(y) = -2*y**3 - 25*y**2 + 44*y + 27. Let h be g(-14). Do h and -27 have the same value?
False
Suppose -5*r - 12 = -2*c, 0*c - c - 3*r = -6. Let g be c/10 - (-532)/(-20). Let j be (g/91)/(90/(-14)). Are j and 0 nonequal?
True
Let b = -296427332129/102040633 - -1602/512767. Let j = b + 2905. Which is greater: 0 or j?
j
Let i = -41314/27 + -1220/27. Which is greater: i or -1574?
-1574
Let l = 243/37 + -15625/2627. Let p = l - 2278/3905. Let s be 2 + (13 + -1)/(-4). Is s > p?
False
Let w = 25 + -13. Suppose o = -3*o + w. Suppose 0 = -o*t + 3*q + 6, 3*t + q - 6 = -3*q. Is t bigger than 1?
True
Let d(k) be the second derivative of 2*k**3 - 15*k**2/2 + 19*k. Let g(c) = -c**3 - c**2 + 2*c + 6. Let f be g(0). Let v be d(f). Is 58 <= v?
False
Let h(x) = -18*x**3 + 5*x**2 - x - 6. Let q be h(3). Let i be (17 - 1)*q/(-30). Let s be (-36)/i - 3/5. Which is smaller: 0 or s?
s
Suppose 0 = 5*x + 2*c - 165, 2*x + 3*c = 57 + 9. Let p = 120 + x. Which is smaller: 152 or p?
152
Suppose 198548 = 61*l - 368569. Is 9296 equal to l?
False
Let t be (780 + -844)*3/((-6)/(-163)). Is t equal to -5217?
False
Let y be 87 + 31 + -45 + 1 + 1. Let j be (-3)/(-4) - (-1236)/16. Which is smaller: y or j?
y
Let z(w) = w**2 + 11*w - 15. Let l(c) = -5*c - 22. Let b be l(-5). Suppose -65 = 5*m - x, -4*x + b*x = -4*m - 51. Let j be z(m). Is j != 0.1?
True
Let j = 26928 + -13598633/505. Is -1 greater than j?
False
Suppose 664*q - 63*q + 55152 = -57235. Is -191 <= q?
True
Suppose -3*y + 89 = -13. Let s be 94*(-1)/(-6)*3. Suppose r + y = s. Do r and 13 have the same value?
True
Let q(v) = v + 11. Let x(o) = -3*o - 32. Let n(j) = 8*q(j) + 3*x(j). Let f be n(-6). Let g = -0.68 - -8.68. Is f not equal to g?
True
Let f = -66.55 + 55.55. Which is smaller: f or 243?
f
Let b = 2838/463 + 830811/9260. Which is greater: b or 95?
b
Let w = -1306 + 1302.142. Let q = w - 0.142. Is 0.49 at most q?
False
Suppose -867 = 2*a + 669. Does -768 = a?
True
Let h(o) = -o**3 - 3*o**2 + 8*o - 9. Let r be h(-5). Suppose 3*k = r + 2. Let f = k + -6. Is -4 greater than or equal to f?
True
Let l = 22231 + -22347. Let i = 3 + -2.9. Which is smaller: i or l?
l
Let q = 1287 + -59. Which is bigger: q or -0.2?
q
Let d = -0.04927 + 2.04927. Which is greater: 970 or d?
970
Let p = -147/4 - -37. Suppose 3*s - 12*s - 918 = 0. Let o = s + 103. Which is smaller: o or p?
p
Let x = -799 - -799.1. Which is bigger: -8.75 or x?
x
Let s be (2145/(-594))/(2 - 22/6). Let m = 3.7 + -4. Which is smaller: m or s?
m
Let k be 4/(-12) + 70/(-6). Let r be -2*(-2)/(-4) - 168/12. Let p be (0 + r)*12/15. Is k greater than p?
False
Let l = 58/1411 - -8523677/4233. Is l bigger than 2015?
False
Let n be 9*(-428)/38016 - 2/(-22). Is -9/4 smaller than n?
True
Let u = -336680 - -3703486/11. Suppose -k + 2 = k. Which is smaller: u or k?
u
Suppose 24 = -35*w - 10 - 36. Let k = 24 - -8. Suppose x - 5*x - k = 0. Which is greater: x or w?
w
Let o = 151 + -151.019. Let m = 0.069 + o. Is m > -0.06?
True
Let t = 75 + -407. Let q = -189 - t. Let b = -203 + q. Which is bigger: 1 or b?
1
Let c = 2333 - 776. Is c not equal to -0.2?
True
Let m = 846.56 + -2.56. Let b = m - 837. Is 14/9 at least b?
False
Let s = -0.0173 - -0.0173. Which is greater: s or -4297?
s
Suppose 49*l = p + 48*l - 4, -2*p + 13 = -3*l. Which is smaller: p or -54/97?
p
Suppose -5*v + 12 = -v. Suppose -3*x - c = -2*x - 3, x = 4*c + v. Suppose 3*q = -b + 9, 0 = 8*b - x*b - q + 19. Is -3 not equal to b?
False
Suppose 10*n = 19923 + 34207. Is n > 5411?
True
Suppose 4*i = 2*j - 20, 0 = -5*j + i + i + 34. Suppose 0 = n + 2*c + 7, -3*n - c = -0*n + 31. Let m be n*4/(-6) - 2. Which is smaller: j or m?
m
Let d = 20 - 19.9. Let v = -73.7 - -58. Which is bigger: d or v?
d
Let h(v) = v**2 - 11*v + 46. Let i be h(10). Suppose -b + 35 = i. Which is greater: b or 5/51?
5/51
Let w be (-10)/(-2) - (-11 - 1 - -9). Let u be w + 1932/(-469) - 4. Which is smaller: u or 0?
u
Let o(q) = 5*q**2 + 25*q + 4. Let y be o(-5). Let d be 5 + -6 + y + -4. Is d greater than -22/19?
True
Suppose -5*x - 9 = -4*x. Let s be (-4 + (-258)/x)*3/(-8). Is s < -10?
False
Let j be -1 - 0 - (-9 - -9). Let r = 619456/29 + -4564195975/213672. Let s = -1/614 + r. Which is smaller: j or s?
j
Let w = -131.91 + 132. Let r = 0.09 - w. Are r and 0 equal?
True
Let d be (10621/95 + -15)*5/166. Is d > 3?
False
Let y be 0 - (10 + 282/(-30) - (-6)/(-10)). Which is smaller: y or -2/11687?
-2/11687
Suppose 85*w + 2307606 = 379*w. Is w greater than 7849?
False
Let h(a) = a**2 + 79*a + 707. Let t be h(-11). Which is smaller: t or 1.3?
t
Let m(f) = f**3 + 31*f**2 + 88*f + 260. Let o be m(-28). Is 122 bigger than o?
False
Suppose 17386 - 4352 = 38*i. Suppose -d = -4*u + i, -4*d - 154 = -7*u + 5*u. Is 90 at least as big as u?
True
Let s be 4940/456 + 1/6. Suppose 2*m - 24 = -m - 3*d, -d + 2 = 0. Suppose 60 = m*j - j. Is s equal to j?
False
Let m = -140 - -89. Let g = -52 - m. Suppose 8 = 3*k + 2*j, -4*k + 10 = 3*j + 1. Is k greater than or equal to g?
True
Let h be 25 - (27 - 4) - ((-7504)/2 - -2). Which is bigger: 3750 or h?
h
Let c = 535 - 522. Suppose 3*q - 195 = -2*z, -4*z + 15*q - c*q = -382. Is 96 < z?
False
Let d = 1306 + -1306.6. Let b = 0.06 + -0.32. Is d at least as big as b?
False
Let f(y) = -y**3 - 11*y**2 - 4*y + 2. Let i(c) = -5*c**3 - 56*c**2 - 21*c + 11. Let j(n) = -11*f(n) + 2*i(n). Let s be j(-8). Let p = 59 - s. Is p < 11?
False
Suppose 0 = -4*n - 3*n + 28. Let r = n - 1. Suppose 7*p - t = 2*p - 4, r = 2*p - 5*t. Which is smaller: -15 or p?
-15
Let x = 6 - 9. Let a(l) be the first derivative of -3*l**2/2 - 19*l + 151. Let s be a(x). Is -2/5 equal to s?
False
Let y(u) = 3*u - 14. Let z be y(6). Let c = 19 - z. Suppose 5*j + 4*w - 90 = 0, 4*w = -3*j - 0*j + 54. Which is greater: j or c?
j
Let x be ((-371)/(-318))/(1/2796). Is 3263 > x?
True
Let b = 37 - 37. Suppose -9*s + 7*s + 6 = b. Su