22484. Which is smaller: q or -22?
-22
Let r be 24*(-1 - (-5)/9). Suppose 0 = -21*i + 34*i - 559. Suppose -64*w + i*w - 231 = 0. Is w > r?
False
Let t be ((-328)/(-6))/(-2)*(-66)/44. Which is greater: t or 0.5?
t
Let w(g) = 12*g**3 - 2*g**2 - 9*g - 43. Let l be w(-5). Which is smaller: -1550 or l?
-1550
Let z(k) = 69*k**2 - 3*k + 1. Let g = -121 - -122. Let d be z(g). Which is bigger: 68 or d?
68
Let o = 2 + -1.6. Let p = 2372 - 1343. Let l = p - 1033. Which is bigger: o or l?
o
Let h(m) = m**3 - 4*m**2 + 6*m + 9. Let b be h(7). Let j be (b/(-27))/((-10)/45). Is j <= 30?
False
Let q be 28/35*12/24. Is 3/311 < q?
True
Let f be (-1 + 635/590)*(-15)/45. Which is smaller: 0 or f?
f
Let t(r) = -r**3 + 8*r**2 - 9*r + 84. Let q be t(8). Suppose -7*y - q = 5*y. Which is smaller: -37/16 or y?
-37/16
Let h = -1384 + 781. Let d = -602.9 - h. Are d and -50 unequal?
True
Let a = -0.41 - -0.2. Let o = a + 0.04. Let j = 7.1 - 7. Which is bigger: j or o?
j
Suppose -6*s - 4*o + 722 = -s, -s - 3*o + 151 = 0. Suppose -17*w + 18*w + s = 0. Is -142 smaller than w?
False
Let u(k) = 79*k**2 - k + 1. Let o be u(-2). Let d(v) = 12*v**2 - 5*v - 7. Let i be d(-5). Which is smaller: o or i?
i
Let z be 0 + (10*14/(-770) - (-5990)/638). Which is bigger: z or 9?
z
Suppose -9974 = 71*n - 18343 - 18753. Is 381 <= n?
True
Let b = -24198 - -24063. Is -2588/19 >= b?
False
Let b = -6252 - -6241. Is -11 at least b?
True
Let y = 3 - 68. Let c = y + 131. Are 63 and c nonequal?
True
Suppose -10*i = -6*i - 3*u + 44195, -5*i = -2*u + 55235. Which is smaller: -11044 or i?
i
Let z = 4584 - 1568. Let c be (-10 - (-21125)/z) + (-1 - -4). Is 2/11 greater than c?
True
Let z be (-10)/(-2994)*(-48)/(-8). Which is greater: -1 or z?
z
Let l be ((-51)/680)/((-4)/(-15)). Is 1 bigger than l?
True
Let j(n) = n**3 + 13*n**2 - 18*n + 9. Let l be j(-14). Suppose -6*o = 91 + l. Do o and -80/3 have the same value?
False
Let w = -146 + 29. Let o = w + 122. Is o <= 0.4?
False
Let m = 0.69 - 1.32. Let p = m + 67.63. Let y = 67.01 - p. Is -0.03 >= y?
False
Let s be 7/(210/18)*(-190)/(-171). Which is smaller: 0.2705 or s?
0.2705
Let o = 61 - 42. Let i = 39 + -20. Let s = i - 18. Do o and s have the same value?
False
Let t(j) = 148 + 3 + j**2 - 2*j**2 - 21 + 3*j. Let o be t(13). Do o and -141 have the same value?
False
Let p = -17 - -17. Suppose p = y + 5*u + 16 + 14, 5*u + 70 = -5*y. Let s be (75/(-9) + 10/(-15))*1. Are s and y non-equal?
True
Let m(x) = 478*x**2 - 1. Let b be m(-1). Suppose -6*z - 2*s + 2870 = 0, -12*s = -z - 13*s + 481. Is b greater than or equal to z?
True
Let m = -2/775 - -17831/2325. Suppose 5*p - 40 = -5*x, 5*x - 5*p - 4 = 26. Is m at least as big as x?
True
Suppose -6*g - 456 = -3*g. Let b = g + 74. Let w = -82 - b. Is -28/11 at least w?
True
Suppose 7*k - 3481 = -4*x + 6*k, -x - 4*k = -889. Are x and 869 non-equal?
False
Let l = 1661/230 + -1/46. Let h = 8 - l. Which is bigger: 15 or h?
15
Let k be 6/2 + 3 + -1. Let u(i) = i**3 + 3*i**2 - i - 2. Let a be u(-4). Let m be ((-68)/a - 5)*36/(-1). Do k and m have the same value?
False
Let n be (-264)/594 + (-16581)/(-37368). Is n less than or equal to -1?
False
Let g be ((-15)/(-12))/((-3)/(-48)). Let t(m) = -m**3 - 14*m**2 + 15*m - 10. Let v be t(-15). Let r = 29 + v. Which is smaller: g or r?
r
Let m = 195 - 149. Let r(y) = -y**2 + 44*y + 93. Let v be r(m). Let s = 13119/11 - 1191. Which is bigger: v or s?
s
Let y = -315 + 1708. Suppose 0 = 12*j + y + 131. Let d = 255/2 + j. Which is smaller: -2 or d?
-2
Let a be (-203511)/(-539) - (1/(-3) - 57/(-63)). Which is smaller: a or -2/7?
-2/7
Let x(h) be the third derivative of h**5/60 + 7*h**4/12 - 7*h**3/3 + h**2. Suppose 20 = -10*n - 130. Let i be x(n). Which is greater: i or 2/9?
i
Let v(d) = 1 - d**2 - 17*d + 57*d - 13*d + 16 + 5*d. Let h be v(19). Which is greater: h or 263?
h
Let n be -18 + 14 + ((-645)/(-642) - -3). Are n and -3 unequal?
True
Let d = -36447 - -473804/13. Is 18 equal to d?
False
Let o = -149.062 - -0.062. Let p = o + 241. Let d = 91 - p. Which is smaller: 1/16 or d?
d
Let y = 9 - 4. Let c = -24 + 14. Let a be (-14)/(-5) - (-5 + (-48)/c). Is a smaller than y?
True
Let b be (-30996 + 1)/(-547 - -552). Which is bigger: -6200 or b?
b
Suppose 268558*j - 249264 = 268574*j. Is j greater than or equal to -15579?
True
Suppose 70*o - 74*o = -60. Let a be 2*o/10 + -4 + 8. Suppose -2*i + 40 = 3*i. Which is smaller: a or i?
a
Let d(u) = -2*u**2 + 8*u + 13. Let i be d(11). Let v be (-1 - (-2 - i)) + (2 - 2). Let b = v + 93. Which is greater: 1 or b?
1
Suppose 0 = 12*v - 8*v + 6*v + 4730. Is v bigger than -474?
True
Let q = -259/23 + 7/115. Suppose -359*r + 352*r = 84. Which is greater: q or r?
q
Let k be -7 - -4*14/8. Suppose -2*y + 0 + 4 = k. Let p = 5 - 1. Which is bigger: y or p?
p
Suppose -25*p = -26*p + 532. Suppose 0 = 134*c - 135*c + p. Let j be (4 - 1)/(-6)*c/(-14). Is 17 > j?
False
Let p = 5123/114 - -55/19. Which is bigger: p or 48?
48
Let l be 1/(-2)*1*54/(-9). Suppose -q + 3*q + l*p + 9 = 0, 4*p - 30 = 2*q. Is -105/13 at least q?
True
Let b(d) = d**2 + 4*d + 5 + 5*d**2 - 5*d**2. Let c be b(-3). Suppose 6*i + 154 = -c. Do -26 and i have different values?
False
Let r = 1033.858 + -1031. Let a = r + -0.158. Is -1 at most as big as a?
True
Let n = 13.778 - 13.9. Let q = n - -0.122. Let m = -5 - -14. Is q equal to m?
False
Let k be (21/28)/(12/16496). Let h = k + -7194/7. Which is smaller: 3 or h?
3
Let u(r) = -4 - r**3 - 25*r + 25*r + 9*r**2. Let l be u(9). Let p = -6 - l. Which is bigger: p or 11/4?
11/4
Let n = -5 - -5. Suppose n*c = -4*c. Let f = 34066/42585 + 2/42585. Is c bigger than f?
False
Let f be 22425/20 + -6 + 1. Let o = f + -75729/68. Is o at least 3?
False
Let k = 7/1010 + 397/1010. Are k and 23/2 unequal?
True
Suppose -3*u = 3*i - 3, -8*i + 12 = -4*u - 4*i. Are u and 1/377 unequal?
True
Let s = -3052.61 - -3.61. Is s bigger than -1?
False
Let b = 3.3 + -3.4. Let c = 3 + -3.9. Let w = c + b. Is 5 at most w?
False
Let w(j) = -j**3 - 4*j**2 + 7*j + 5. Let o be w(-5). Let y be 1 + (126 + 4)/o. Which is smaller: -24 or y?
y
Suppose 8*a - 3*a = -4*q - 13, 2*a = -10. Suppose -2*p = -q*p + l - 60, -p - 3*l - 64 = 0. Let m = p - -61. Is 0.1 >= m?
True
Let d = -33939/20 + 1697. Which is bigger: 3/37 or d?
3/37
Let g = -87 - -81. Let i(t) = -9 + t**3 - 5*t + 3*t + 4*t**2 + 3*t**2 - t**2. Let u be i(g). Which is greater: u or 4?
4
Let r = -303/196 + -10/49. Let w(f) = f**2 - 7*f - 11. Suppose -q - 5*l - 2 = 0, 4*q + l - 26 = 4. Let u be w(q). Which is greater: r or u?
r
Let f(a) = -9*a**2 - 174*a + 595. Let q be f(3). Which is smaller: -204/13 or q?
-204/13
Suppose 5*f - 484 = j + 9*f, 5*j - f = -2378. Let b = j - -690. Is b at most 213?
False
Let w(g) = 2*g**3 + 8*g**2 + 2*g - 3. Let m be w(-1). Is m bigger than 7/524?
True
Let h = 36066324577 + -23046386381233/639. Let q = h + 7788. Which is smaller: 1 or q?
q
Let q(u) = u**3 + 11*u**2 - 25*u - 20. Let d be q(-13). Let l(v) = 2*v**2 + 62*v - 106. Let i be l(d). Is i greater than or equal to 23?
True
Let y = -10009 - -10008.565. Is -0.6 at least y?
False
Let o(q) = -53*q + 26. Let x be o(-3). Let s = 90 - x. Do s and -96 have different values?
True
Suppose 4*w - 10*n = -15*n - 5900, -w = -n + 1475. Which is greater: w or -1473?
-1473
Let p be (73274/45)/(52/1469702). Let r = -46019910 + p. Let h = 1861 - r. Are 0 and h equal?
False
Let m = 743 + -1072. Let i = 328 + m. Let h = 13.1 + -0.1. Is h at least as big as i?
True
Let z be 2/(-1 + -1 - -1). Let f = z - 6. Let r(o) = -o**3 - 22*o**2 - o - 29. Let l be r(-22). Which is greater: f or l?
l
Let d(u) = u**3 - 2*u**2 - 5*u + 1. Suppose -4*a - 3 = -15. Let m be d(a). Let q = -482/13 - -3818/117. Which is greater: q or m?
q
Suppose 5*r + 428 = -3*z, -19*r + 430 = -24*r - 5*z. Which is greater: r or -944/11?
r
Let q = 18 - 18. Let d = -0.92 - -1.061. Let o = 0.059 + d. Is q != o?
True
Suppose -5*i = -0*i - 90. Let m = -62263 - -62284. Are m and i equal?
False
Let a(s) = -s + 38. Let v be a(-22). Let c be (30/v)/(41/4). Is c > -6?
True
Let h = 172 - 183.9. Let p = -31.3 - -17.3. Let y = p - h. Which is smaller: y or -2/7?
y
Let j = 34479 + -586290/17. Which is bigger: j or 0.1?
0.1
Let c = -2578 + 2321. Which is greater: -0.04 or c?
-0.04
Let b = 2.504 + -4.504. Which is 