 Which is bigger: -453 or v?
v
Let x = -536 - -539. Suppose 12*f - 15*f + 90 = -x*r, -4*r - 140 = f. Which is bigger: r or -30?
-30
Let g(a) = -2*a**2 + 16*a + 21. Let u be g(9). Let n(q) = -q**2 + q + 1. Let k be n(u). Which is smaller: k or -3?
k
Suppose -22*d + 45629 = 2080 - 4939. Which is smaller: d or 2211?
d
Let c = 8 + -7.4. Let m = -0.87 + c. Let j be ((988/104)/19)/((-1)/6). Is j bigger than m?
False
Suppose 18*h - h - 2601 = 0. Suppose -h = -8*n + 599. Are n and 93 nonequal?
True
Let l be 461/(-2804) + 2 + ((-147)/(-28))/(-3). Is 1 equal to l?
False
Let u(h) = -h**3 + 20*h**2 - 15*h + 289. Let f be u(20). Let m be 0/4 - -3 - 15. Are m and f equal?
False
Let t = -38.58 - -37. Let o = t - -1.48. Is -1/70 at least o?
True
Let r = -0.0428 - 383.4572. Let q = -427.48 - r. Let m = q - -44. Is m > 0.1?
False
Let b be 2270/(-14768) - (194/1455 + 56/(-195)). Is 0 equal to b?
False
Let o = -16 + -4. Let n be (-5)/(-30) - (-2)/(24/(-251)). Which is smaller: o or n?
n
Let c(h) be the first derivative of h**3/3 - 19*h**2 + 137*h + 41. Let j be c(34). Is -73 at most as big as j?
True
Let v be ((-3)/12)/((-11 - -1) + 12). Is v at least as big as -102?
True
Suppose -3*x + 118 = -2*c + 6*c, -4*c + 120 = 2*x. Suppose 0 = c*m - 16*m - 15. Which is greater: 4 or m?
4
Let c = 36.03 - -6.67. Let h = -39.35 + c. Which is smaller: -0.1 or h?
-0.1
Suppose -h + 226*f + 46 = 225*f, f = -2*h + 71. Do 47 and h have the same value?
False
Let g = 16222 - 16219. Is g not equal to 1374?
True
Let t be ((-20)/104)/(1/2). Let v(o) = 2*o + 31. Let z be v(-14). Suppose 0 = 4*d + h - 3, 0 = 2*d + 5*h - z + 6. Is d > t?
True
Let z be 3328/78*(9/(-6))/1. Is 52 < z?
False
Suppose -74*g = 10812 + 7318. Let h = -0.73 - -0.73. Which is greater: g or h?
h
Let b be (3743/2394)/((-9)/(-150)). Let g = -37/27 - b. Which is smaller: -28 or g?
-28
Suppose -49*g + 114 = -9 - 73. Let j be ((-12)/35)/(4/(-50)). Which is greater: g or j?
j
Let q = 3344/1971 - 86/73. Suppose 2*s - 7 = -5. Which is smaller: s or q?
q
Let d = -642.156 + -0.844. Let q = d + 643. Let w = 6 + -33. Which is greater: w or q?
q
Let d be (352 - 349)/((-4233)/(-10)). Which is smaller: d or 1?
d
Let k = -21.517 - 0.383. Let d = 169/10 - 33/2. Which is greater: d or k?
d
Suppose -2*y - 48 = -10*y. Suppose -4*l - 44 = -2*m, 4*m + l = -m + 55. Let a = m - 5. Does y = a?
False
Let k(w) = 5*w - w**3 + 0*w - 4 - 8*w - 2*w**2. Let b be k(-4). Suppose -2*i - b = 2*h, h - 5*i = 1 - 3. Which is greater: h or -2?
-2
Let z be 52/10*(-11 - -48 - 42). Is -831/31 at least as big as z?
False
Let o(t) = t**2 - 56*t + 449. Let d be o(10). Suppose j - 3*j = -10. Let k be d/33 - j/6. Is k less than or equal to -2?
False
Let q = -44/413 + 467/8260. Which is greater: q or -6.2?
q
Let n(z) = -z**2 - 14*z + 20. Let l be n(-16). Let p be 10014/36 - (-2)/l. Is p less than 277?
False
Suppose q = -u - 3970, 9181 = -3*q + 3*u - 2735. Is -3971 bigger than q?
False
Let h = 1 - -16. Let y = -25 + 8. Let l = h + y. Is l less than or equal to 33?
True
Let i = 0.33877 + -0.03877. Let f(y) = -y**3 + 3*y**2 + 3*y - 3. Let g be f(4). Is i <= g?
False
Let h = -356 + 172. Let l = 175 + h. Let x be (-2 + -10)*4/6. Is x at most as big as l?
False
Let x = -102.2 + 103. Let v = x + -0.847. Let p = 0.09 + v. Which is bigger: p or 1?
1
Let x = 2126 + -2069.81. Let y = -56 + x. Let f = 13.19 - y. Does -0.1 = f?
False
Let v be (-96)/(-5)*(-86)/(-6063). Let x = v - -6/47. Is x bigger than 0.24?
True
Suppose 5*j - 5*d - 50 = 0, 48 = 4*j + d + 13. Suppose 3*i - i = -p - 3, -3*p = -4*i + j. Is 13/17 > i?
True
Let d = -11.619 + 21.573. Let l = -0.246 - d. Which is greater: -2 or l?
-2
Suppose -4*x + 368 = 4*z, -x + 464 = 4*z + z. Suppose 4*b = 4*a + 144, -3*a - z = -5*b + 21. Let y be a/(-9)*(-2)/4. Are y and -3 unequal?
True
Let f(g) = 147*g**2 - 17*g + 63. Let d be f(5). Let s be d/715 - 1*(6 - 1). Which is smaller: s or -1?
-1
Let b(z) = -15*z - 135. Let x be b(-20). Let m be (-36)/x*125/(-50). Is m < 2?
True
Suppose -34 = -4*p - 4*j + 22, -4*p + 2*j = 28. Let r = 100.041 + -100. Which is smaller: p or r?
p
Suppose -g + 10 = 3*b, -4*b - 4*g + 28 = g. Suppose -b*t - 4*i + 33 = 11, 0 = -4*t + 2*i + 64. Suppose 5*o - t = -0*o. Which is smaller: o or 8?
o
Let g be ((-2 - -4) + -15)/((-7)/105). Let u be 30/g + 35824/(-4030). Let j = 44/5 + u. Which is smaller: 1/5 or j?
j
Let r(d) = 11682*d - 9 - 11663*d + 0. Let v be r(-2). Suppose -225 = 5*c + 5*f, f - 2*f + 3 = 0. Is v greater than c?
True
Let j be (-1 - -75)*2/(8/(-22)). Let i = 406 + j. Is i at most as big as 2/385?
True
Let n = -314025 - -9107932/29. Which is greater: n or 41?
n
Let m be (15/27)/(((-147)/21)/7). Is 1/94 less than m?
False
Suppose -4*n + n = 0. Let v be (n + 0)/(3 + -1). Let m(q) = 121*q - 45980. Let h be m(380). Is h < v?
False
Let j(f) = -f**2 + 28*f - 49. Let s = 170 - 143. Let r be j(s). Which is bigger: -19 or r?
-19
Let m(f) = -35*f - 13. Suppose -8*h + 84 = 4*h. Let a be m(h). Is a smaller than -257?
True
Let j = -267425 + 267591. Let n = -0.1 + 0.2. Are j and n unequal?
True
Let v = 39 + -36. Let r be (3 - (-18)/15 - v)/5. Let b = -19 + 18. Which is bigger: r or b?
r
Let v = -121 + 72. Let t = v + 40. Let s = 13 - 15. Is t at most as big as s?
True
Suppose -4*d - 4*x = -8, 5*x - x + 1 = 5*d. Let s be (d/(-1))/((-2)/2)*67. Which is bigger: 68 or s?
68
Let q be ((-1 - -3)/(2/5))/1. Let c = -14 + 18. Suppose c*y - 1 = -q. Are -1 and y nonequal?
False
Let d = -1306921/5 + 277420. Let k = d - 15980. Which is smaller: k or 57?
k
Let o = -9015 + 9022.963. Let p = -0.021 + -0.016. Let t = p - o. Is -1 at most t?
False
Let f be 65198/21*(-5 - (3 + (-15)/3)). Is -9315 greater than f?
False
Let z be (2/8*-1)/((-324)/(-159840)). Which is bigger: -124 or z?
z
Suppose -14*q + 17 = -11. Let t(d) = 3*d**2 - 7*d + 1. Let m be t(q). Which is smaller: -9/16 or m?
m
Let d be -9 - 310/(-34) - 7771/17. Let f = d + 11422/25. Is f < 0.3?
True
Suppose 78*s + 82*s = 129*s - 37355. Which is smaller: s or -3611/3?
s
Let p = -160 + 294. Let d = -293 + 293. Do d and p have different values?
True
Let m(u) = -u**2 - 18*u + 7. Let i be m(-17). Suppose 39*k - 60 = i*k. Is k not equal to 22/7?
True
Let u = 4189 + 1514. Is 5702 > u?
False
Let p = 5267435/6086 - 1/3043. Is 866 at most p?
False
Let j be 39/9 - 4 - (-3)/9*-6676. Are -2223 and j equal?
False
Let b = 505 - 499.016. Let w = -0.016 + 0.032. Let z = b + w. Is z not equal to -3?
True
Let h be (-10)/(-25335)*43/86. Which is smaller: 0 or h?
0
Let n(x) = x**2 - 25*x + 88. Let v be (-274)/(-14) + -9*(-1)/21. Let m be n(v). Is m less than -7?
True
Let s be 263/693 + (-108)/297. Let w = -103/1449 - s. Which is greater: -0.4 or w?
w
Let v = -4.12 - 168.88. Let z = -173.09 - v. Which is smaller: -2 or z?
-2
Let f = -2861 - -2865. Let u be (1 - 1) + (-50)/(-12). Which is smaller: f or u?
f
Let l = -34187 + 34248. Let m = 13 + -7. Suppose -4*c + 269 = 5*t, -m*c + t + 300 = -c. Is l > c?
False
Let y(c) = -c + 35. Let n(i) = 36. Let s(b) = -3*n(b) + 4*y(b). Let m be s(6). Let q be (12/(-16))/((-6)/m). Which is smaller: 5 or q?
q
Let y = -5389 - -16165/3. Which is bigger: y or -2394?
y
Let a be -1*(4 - 4454/18). Let g = -245 + a. Suppose 4*v + 6 = -0*v + 2*w, 18 = -3*v - 3*w. Is v less than g?
True
Let m(x) = -x**3 - 9*x**2 - 21*x - 98. Let r be (-5)/(-10) - (0 + 68/8). Let o be m(r). Let y(b) = -b**2 - 10*b - 7. Let n be y(-8). Is o != n?
True
Suppose 3*s + 3*i = 609 + 132, 0 = 2*s - 2*i - 510. Let l be (s - -1)*(-21)/(-42). Is l greater than or equal to 123?
True
Let v(y) = 3*y**3 - 76*y**2 + 40*y - 373. Let k be v(26). Which is bigger: k or 2022?
2022
Suppose 22 = 5*s + o - 0*o, 4*o - 13 = -5*s. Suppose -3*n + l + 2 = 9, -s*n - 5 = 5*l. Let q be ((-17)/10 + 2)*(0 + n). Is 1/3 bigger than q?
True
Let n = 612.08 - 13.08. Is n greater than or equal to 0.4?
True
Let k(v) = v**2 + 12*v + 35. Let j(p) = -p**3 - 9*p**2 - 16*p - 20. Let h be j(-7). Let m be k(h). Let b = -1998/1679 + 28/23. Which is greater: b or m?
b
Suppose -4*n = 4, 10*f - 2*n + 103 = 7*f. Let o be (3819/(-76))/(-1 - (-5)/2). Which is greater: o or f?
o
Suppose 2*t = t. Let n = 1.90061 - -0.09939. Which is smaller: n or t?
t
Let c(f) = -f**3 - 57*f**2 - 7*f + 58. Let p be c(-24). Which is smaller: p or 0?
p
Le