2*q + 4 = 0. Suppose -6*s = -c*s - 12. Is 7 at least s?
True
Let v = 16.65 + -7.4. Let g = -6.3 + v. Let q = -3 + g. Which is smaller: 0.2 or q?
q
Suppose 12*i + 1400 = 17*i. Suppose 9*r - i = -5*r. Which is smaller: r or 21?
r
Let j = 2.4 + -4.1. Let o = 0.009 + 1.191. Let h = o + j. Which is greater: h or 0.2?
0.2
Let q(l) = -l**3 + 9*l**2 + 11*l - 10. Let t be q(10). Which is bigger: t or -2/615?
t
Let i(u) = -120*u - 714. Let n be i(-6). Which is greater: n or -6?
n
Let n be (-10)/(-3) - 1/3. Suppose j + n - 4 = 0. Suppose -5*s - w = 1, 0*s = -5*s + 3*w + 3. Which is smaller: s or j?
s
Let s(k) = k**3 + 11*k**2 + 11*k - 23. Let a be s(-10). Let p = a - -463/14. Do -1 and p have different values?
True
Let g = 166 + -2160/13. Which is smaller: g or -14/3?
-14/3
Let c = 10/69 - 7651/53268. Which is bigger: c or -1?
c
Let l be ((2 - 1)*-2 - -3) + 7. Let c = -38/5 + l. Are c and 0.02 unequal?
True
Suppose 5 = -4*m + 13. Let r(d) = 6*d**m - 1 + 10*d - 3 + d**3 - 3*d. Let v be r(-4). Which is greater: -2 or v?
v
Let o be (3*10/(-18))/(50/(-1980)). Which is greater: o or 63?
o
Let z = -5710.23 + 5768. Let f = 58 - z. Is 0.1 less than or equal to f?
True
Let t = -1 + 1.2. Let i = -269 + 159. Let l = i + 768/7. Is l less than or equal to t?
True
Suppose -4*f + 2*f = 5*m + 21, 7 = -4*f - 3*m. Is 21/23 at least f?
False
Let q = -205/3 + 68. Let m = -27 + 11. Which is smaller: m or q?
m
Let u be -17 + (0 - 2 - -2). Let b = 1459/2 + -746. Is b >= u?
True
Let g be (((-132)/8)/11)/((-2)/(-32)). Let b be (-9)/g - (-63)/(-72). Are b and -41 non-equal?
True
Let c = 1 - 1. Suppose 4*d = -5*h + 2*h + 45, 2*h + 3*d - 31 = 0. Which is smaller: h or c?
c
Let f be (1 - 1/2)/((-4623)/(-46)). Is 1 at least as big as f?
True
Suppose c + 3 - 9 = 0. Suppose 2*d = c*d + 148. Which is greater: -38 or d?
d
Suppose 0 = 437*b - 440*b + 123. Is 41 greater than b?
False
Let q = -0.04 + 2.04. Let k be (-16)/(-108)*(-66)/44. Is q at least as big as k?
True
Let b = -33 + 230/7. Suppose -y = h - 2, -4*h = 6*y - 3*y - 11. Suppose 3*a = 8 - h. Which is greater: a or b?
a
Suppose 5*k - 4 = 6. Suppose 0 = -5*a - 2*s - 34, 0*a - k*s = -4*a - 20. Suppose 14*q + 49 + 49 = 0. Do a and q have the same value?
False
Let o be 1/6 - (2 - 716/24). Let f be o/2*(-7 - (-64)/8). Which is smaller: f or 12?
12
Let t = 142.5 + -142.497. Do t and -5/4 have the same value?
False
Let h = -903 - -883. Is -101/5 > h?
False
Let f be (-1)/(-2) + (7350/(-12) - 9). Which is smaller: f or -623?
-623
Let o = 17 + -42. Let i = o - -21. Is -1/4 at least as big as i?
True
Suppose 0 = -4*p - 0 + 32. Suppose 2*q = 5*z - p, -5*z + 5*q + 0*q + 20 = 0. Suppose -5*b = -z*b - 5. Which is smaller: b or -0.14?
-0.14
Let i = -1.9776 + -0.0224. Is i not equal to -4.9?
True
Let t = -627 - -626. Let x = 4999/364 + -96/7. Is t smaller than x?
True
Suppose -7*p = 4*p + 55. Is -5 != p?
False
Let j = -25 - -37. Let w = 0.34 - -12.66. Let i = w - j. Which is smaller: i or -2/11?
-2/11
Let x be -4 + 2 - (-3)/1. Let u = 1/695 + -307/20155. Let r = u - 139/435. Which is greater: x or r?
x
Let z(a) = 854 - 422 - a - 438. Let q(u) = u + 3. Let i be q(-6). Let x be z(i). Is -4 greater than or equal to x?
False
Let q be 3/(3/(6 - 0)). Let i be q*1/2*-1. Suppose 5*s + 16 = s. Which is smaller: s or i?
s
Let o be ((-18)/24)/(1/(-4)). Suppose -o*n = -2*n, 3*c - 9 = n. Is c > 16/9?
True
Let h be ((-1818)/444 + 4)*2. Is h less than 1?
True
Suppose -2*i + 4*f - 62 = 0, 3*i - 51 = -4*f - 194. Let z = i + 44. Is 2 > z?
False
Let d(t) = t - 3. Let x be d(6). Suppose -x*y = -2*y. Let i be (y - (2 + 0))/2. Which is bigger: i or -3/4?
-3/4
Let x(l) = 15*l + 3. Let w be x(5). Let s = 35324 - 672639/19. Let y = w + s. Which is smaller: y or -1?
-1
Let l(w) = -28*w + 168. Let s be l(7). Which is smaller: s or -22?
s
Let g = -3 + -3. Let p(k) = -k**3 - 5*k**2 + 6*k + 3. Let m be p(g). Suppose -2*o - m = 3. Is o < -4?
False
Let b be (1 - (65 - 0)) + 2. Let f be 2/(-10) + b/40. Suppose -2*y + 8*y = -6. Which is smaller: y or f?
f
Let f(o) = -o - 10. Let h be f(-8). Let u = 5 + h. Suppose -u*l = l. Which is smaller: l or 4/3?
l
Let j = 220 - 249. Which is smaller: j or -28?
j
Suppose 597*n + 2580 = 603*n. Is 430 > n?
False
Let b(a) = 3*a**2 + 6*a + 348 - 350 - 4*a. Suppose -7*t + 3*i = -2*t - 1, 5*i = 2*t + 11. Let h be b(t). Is h > 14?
False
Let y be (2/3)/(220/(-45) - -5). Suppose 110 = -y*p + p. Is -22 at most p?
True
Let y = 9.4 + -9. Suppose -g - 20 = -6*g. Which is greater: g or y?
g
Let c(s) = -s**2 + 4*s - 30. Let a be c(8). Which is smaller: -54 or a?
a
Suppose 2*w - 5*w = -21. Suppose 0 = -c - 2*h - 13 + 3, 5*h + w = 2*c. Let z be 5 + c + 8/(-18). Which is smaller: 2 or z?
z
Let d be (-1)/(1 - 4/(-2)). Suppose 0 = k + 4*q + 8, 5*k - q + 8 = -5*q. Let t(y) = -y**3 - y**2 + y + 7. Let h be t(k). Which is smaller: d or h?
d
Suppose 5*d + 12*k = 14*k + 1, 3*d = -2*k - 9. Which is bigger: -10/21 or d?
-10/21
Let b be ((-3)/(-9))/((-2)/(-18)). Suppose -400*t = 2*c - 396*t + 8, 0 = -3*c - 2*t. Is c greater than or equal to b?
False
Let k = -1.76 + -2.44. Which is smaller: 0.2 or k?
k
Let v = -4/5 + -64/45. Suppose 5*d = 4*d + 5. Suppose 3*k = -d*r + 7 - 3, 8 = k + 5*r. Which is smaller: v or k?
v
Let g = -5.22 + -0.78. Is 53 at least as big as g?
True
Let c be 3/1 - 0/1. Let i be c/(-18)*2 - -1. Is 2 less than i?
False
Let i = 3 + 0. Suppose 0 = -2*w - 8, i*w - 5 = -5*v + 8*w. Let o be (-3)/(-45)*v + -1. Which is smaller: o or 0?
o
Let p(f) = -f**3 - 14*f**2 - 7*f + 28. Let k be p(-14). Let t = 70 - k. Which is greater: -55 or t?
-55
Suppose -264*k + 1520 = -263*k. Which is smaller: k or 1519?
1519
Let d(x) = -10*x**3 - 5*x**2 + 2*x - 1. Suppose -c - 2 = 4*p + 4, p = 5*c - 12. Let v be d(c). Are -97 and v non-equal?
False
Let r = 113 + -197. Let h = -85 - r. Is h not equal to -15?
True
Let a = 3666/7 - 524. Which is greater: a or 3?
3
Let o = -95434/17 - -5618. Are o and 4 equal?
False
Let n be 1*((-2)/107 + 0). Let k(r) = r**3 + 4*r**2 - 8*r + 25. Let a be k(-6). Which is bigger: n or a?
a
Let y = -4 + 4. Let l = 8 - y. Let a = l + -7.9. Which is smaller: a or 4?
a
Suppose 0 = 2*v - i + 6, 2*i - 6 = v - 0. Let g be (4/(-10))/(46/(-690)) + 54/(-8). Which is smaller: v or g?
v
Let s(l) = 6*l + 109. Let o be s(-10). Which is bigger: o or 38?
o
Suppose -2*z - 2*z - 952 = -4*g, 4*z = -4*g - 920. Let m = -1391/6 - z. Do 3 and m have the same value?
False
Suppose 4*w - 25 = 3*j - 19, -3*w = 4*j + 33. Is j greater than or equal to 101?
False
Let g be (215/(-15) + -3)*3. Let r = 29 + g. Suppose 96 = -4*x - 0*x. Is x greater than or equal to r?
False
Let o be 8/18 - -209*112/63. Which is greater: o or 373?
373
Suppose -5*v = -389 + 394. Let y = -14537/6 + 2430. Let u = 7 - y. Which is smaller: u or v?
v
Let x = 53563/21 + -2550. Let m = -2/7 + x. Let l = 2.9 - 2.93. Is m bigger than l?
True
Let k be (-2859)/(-5710) + (-16 - 186/(-12)). Is 1 < k?
False
Let a = 13 + -12. Suppose -3*t + 19 = o + a, -2*o + 8 = 2*t. Let z be (-1)/4 - (-63)/12. Which is smaller: z or t?
z
Suppose t - 26 = -15. Let r(c) = -c**2 + 11*c + 4. Let k be r(t). Let p = 11 + -8. Which is greater: p or k?
k
Let s(y) = -y**2 - 8*y + 22. Suppose 2*o = -i - 24, 3*o - i + 5*i = -46. Let z be s(o). Is z at least 8/5?
True
Let p = 25 + -15. Suppose -6*m - 3*c - 90 = -3*m, 4*m = c - 95. Let o be (4/p)/((-65)/m). Which is bigger: o or -2?
o
Let i = -416.7 + 413. Which is smaller: 1.3 or i?
i
Let n = 4.99 - 5.09. Is n > -2.14?
True
Let k(s) = -2*s**2 - 12*s. Let l be k(-6). Let m be -1 - (-1 + l + -2). Which is smaller: m or 17/6?
m
Let b be 22/99 + 22/(-18). Which is greater: 1/11 or b?
1/11
Let t be 0 + (-1196)/(-616) - 8/(-28). Which is greater: t or 2?
t
Let w = -1784.575 - -1784. Is 1 less than w?
False
Let t(h) = -5 + 10 - 2*h + 8. Let z be t(4). Let w be -6 - (-1)/z*0. Is -6 smaller than w?
False
Let l = -467 - -468. Is l > -121?
True
Suppose -5*u - 4*t + 55 = 0, 6*t - 10*t = -2*u + 22. Is u at least as big as 0?
True
Let z(v) = v**2 + 9*v + 2. Let u = 13 - 20. Let p be z(u). Which is greater: -34/3 or p?
-34/3
Let u(n) = -3*n**2 + 26*n + 14. Let k be u(11). Does -63 = k?
True
Suppose 17*x = 12*x + 450. Suppose -x = -11*w + 16*w. Does w = -19?
False
Let o(t) = -6*t + 46. Let a be o(7). Suppo