 7*q + 2. Let w(d) = v*t(d) + 6*x(d). Let i be w(-2). Is 2 > i?
False
Let w(a) = -a**2 - 14*a + 96. Let n be w(-19). Which is bigger: 25 or n?
25
Let b = 44.905 - 45. Let a = b - -0.095. Which is greater: a or 0.107?
0.107
Let w be (-20)/(-50) - 21/15. Which is bigger: w or 4/35?
4/35
Let j be 10 - (-8 - (-71)/4). Which is smaller: -52 or j?
-52
Suppose 4 + 10 = -7*x. Let q be (x + (-6)/(-2))/(-6 - -5). Which is greater: q or 2/33?
2/33
Let l = 122.32 - 122. Let k = l - 0.33. Which is bigger: 0 or k?
0
Suppose 17*a = -28 + 28. Is -6/1057 bigger than a?
False
Let g be (-6)/5 - 3/(-3). Suppose -3*v = 4*k - 9, -3*v + k + 12 = 3. Is g at most as big as v?
True
Let v be ((-7)/7)/(4/(-23)). Let q = v - 17/3. Is 0.1 bigger than q?
True
Let s = -61.8 + 35.8. Let u = -0.01 + 0.11. Which is smaller: s or u?
s
Let r(t) = 13*t - 22. Let d be r(2). Let j be d/(-6)*51/(-6). Which is smaller: j or 5?
5
Let w be (8/20)/((-1)/(-10)). Let s be -3*(7 - w/4). Let t = -17 - s. Is t >= 0?
True
Let c(x) = -1303*x - 4. Let g be c(2). Let p = -28731/11 - g. Which is smaller: p or -2?
-2
Suppose 1434 = 58*v - 7150. Do 148 and v have different values?
False
Suppose 0 = -5*g + 9*g - 8. Suppose -22 = 5*k + 4*w, -5*k + w - g = 5. Let j be (-10)/18 + (-2 - k). Is j != 2/3?
True
Let d be ((-20)/10)/((-3)/9). Suppose d*c + 33 = -9. Is -2 at most c?
False
Suppose 0 = 3*z - 0*z + 15, 0 = 2*j - 5*z + 67. Let m = j - -26. Let y = -159 + 138. Which is smaller: y or m?
y
Let o(z) = -54 + 9*z + 54. Let i be o(-1). Which is bigger: -6 or i?
-6
Let c = -45 - -45. Suppose c = 5*s - 2*s - 3. Let w = 0 + 0. Which is smaller: w or s?
w
Let z = 739 + -724. Are 0.8 and z non-equal?
True
Suppose t = -3*t + 4*p - 12, 0 = -2*t + p - 3. Let h be 3*(-2 - t) - 4. Let a = -21 - -10. Is h greater than or equal to a?
True
Suppose 3*s - 8 = -r, 3*s = -2*r + 3*r + 4. Suppose 39 = 3*d + f + s*f, 4*f - 24 = -2*d. Suppose d = -2*j - 16. Which is greater: j or -14?
-14
Let l(i) = -2*i**2 - 3*i + 1. Let o be l(-4). Let n = -19 - o. Suppose -5*j + j - 4 = 0. Which is greater: j or n?
n
Let p = -54 + 56.44. Let i = 0.36 + p. Let j = 2.8 - i. Which is greater: j or -2/39?
j
Let l be 70/(-42) + (-13)/(-7). Let w = 44 - 263/6. Let u = 1/2 + w. Which is bigger: l or u?
u
Let v be (((-160)/(-24))/(-2))/(508/(-6)). Is v < 1?
True
Let u be -20*-1*(3 + -4). Let f = u - -7. Which is smaller: f or -11?
f
Let k = -0.4 + 0. Let h be 17/(-2) - (5 - 77/14). Let q be 1/((-11)/(-20)) - h/44. Is k at most q?
True
Let v = 102 + -149. Let g = v + 609/13. Suppose 5*j + 7 = o, 8*j + 12 = 4*j + 4*o. Which is bigger: g or j?
g
Let g(s) = s**3 - 5*s**2 - s - 29. Let p be g(6). Suppose -10 = 4*x - 5*t, -3*t = x - 7 + p. Which is smaller: x or -1/45?
-1/45
Suppose 3*k - 2*k = -2*q + 3408, 0 = 3*k. Suppose -6*p + q = -2*p. Let d be p/18 + 2/(-3). Which is bigger: d or 24?
24
Let n = 87 + -87.86. Let q = 1 + n. Is q at most as big as 1?
True
Let r be (-6)/(-80)*535 + -9. Which is smaller: 31 or r?
31
Let p be 9/4 + 2/(-8). Suppose r - 49 = 5*z - 2*r, -p = z + 2*r. Let h = 8430 - 8431. Which is greater: h or z?
h
Let f = 4 + -4. Let l be -3 + 7 - 2848/736. Does f = l?
False
Let n(g) = 82*g + 3. Let p be n(-4). Let u be ((-16)/(-6))/(p/(-39)). Let y = u + -79/325. Which is greater: y or 1?
1
Let g = -0.058 - 22.942. Let d = g + 19. Is 4 < d?
False
Let v = -0.238 - 22.862. Let r = -23 - v. Which is smaller: 0.5 or r?
r
Suppose -16*b - 2232 = 104. Is b at most -146?
True
Let a = -58 + 163. Suppose a - 25 = 5*c. Let g be (-4)/14 - c/42. Are -1 and g non-equal?
True
Let c(z) = -z**3 - 441. Let u be c(0). Is -442 > u?
False
Suppose 361*j + 1372 = 375*j. Which is bigger: 99 or j?
99
Suppose -4*p = 15 - 15. Is p less than or equal to 4/55?
True
Let h(w) = w**3 - 7*w**2 + 6*w. Let d be h(6). Let p be d - 2/((-4)/2). Suppose 2*l + 8 = x, 180*x + 6 = 177*x - 4*l. Which is greater: x or p?
x
Let l(v) = -2*v**2 - 3*v - 2. Let w be l(-1). Let z(n) = n**2 + n - 3. Let o be z(0). Let t be (-2)/o - (-17)/(-39). Is t at most w?
False
Let l(w) = w**2 + 9*w - 11. Let s be l(-8). Let m = -13 - s. Suppose 0 = j - 5 + m. Is j > -3?
True
Suppose 9*j + 21*j + 6*j = 0. Is 9/62 < j?
False
Let w be 3 - 1 - (1 + 2). Suppose 0 = 2*z - z - 4*q - 6, 3*z + 6 = 4*q. Let j(f) = f + 9. Let n be j(z). Which is greater: n or w?
n
Let g(j) = -104*j**3 - j - 1. Let n be g(-1). Let x be (-1762)/(3 + -20 + 0). Let m = x - n. Is m > -1?
True
Let c(t) = t**3 + 2*t**2 - 5*t - 13. Let m be c(-3). Suppose -g = 2*g + 18. Is g at most as big as m?
False
Let j(k) = -2*k**2 + 35*k + 47. Let i be j(19). Which is bigger: -9 or i?
-9
Suppose -2*h = 3*h - 25. Suppose -65 = -3*c - h. Suppose 2*f = k - 4*k + 25, 0 = 5*f - 3*k - 115. Is c > f?
False
Let m be 0 + -2 + -1 + -7 + -229. Is -240 at most m?
True
Let b(n) = n**2 + 6*n - 5. Let k be b(-7). Suppose -c - 1 = -5*m + 1, 0 = -4*m + 8. Suppose -2*x - k*o = -x - c, 0 = -4*x + 4*o - 4. Is x >= 2?
True
Let h be ((-2)/6)/((-1)/45). Suppose -4*k + 1 = -5*y + 4, -5*y = 3*k - 24. Let t be (-5)/(-3 - (-8)/y). Is t less than or equal to h?
True
Suppose 5*u + 183 + 73 = 4*t, 157 = 3*t + 5*u. Let a be (-2)/(t - 0/4). Does a = -1?
False
Let b = -320/2343 + 14/71. Let l = 69 + -68.9. Which is smaller: b or l?
b
Suppose 124 = 2*r + 2*r. Let q(p) = 41. Let k(n) = -n. Let a(w) = -k(w) + q(w). Let h be a(-11). Is h bigger than r?
False
Let q = -199 + 202. Which is greater: 1/6 or q?
q
Let t = 18 + -16. Suppose -3*z + 11 = s - 0*s, -4*z - 2 = -t*s. Suppose 0 = 3*q - 4*q - j - 11, -2*q - s*j - 19 = 0. Is -1/3 not equal to q?
True
Let y be -3*(-4 + (-13)/(-3)). Let s = -4.2 - -4. Let m = 0.4 + s. Which is greater: m or y?
m
Let r be (0/17)/((-4)/2). Is r not equal to -4?
True
Let b(f) = -f + 72. Let k be b(0). Suppose 3*q + 4*n + n = -k, -n + 72 = -3*q. Is q smaller than -1?
True
Let t be (76/(-304))/(1/((-27)/(-2))). Which is bigger: -2 or t?
-2
Let f(x) = 3*x**2 - 3*x - 11. Let i(t) = 4*t**2 - 2*t - 11. Let s(z) = -3*f(z) + 2*i(z). Let p be s(8). Which is smaller: -12 or p?
p
Let j be (8/(-54) - 1) + 1. Suppose 9 = -2*v + 1, -2*z = -5*v - 20. Which is greater: j or z?
z
Let y(t) = -t**3 - 16*t**2 + 19*t + 39. Let q be y(-17). Let z = 16/3 - q. Which is greater: z or 27?
27
Let a = -3/326 - 477/1304. Let z be ((-16)/(-6))/((-1)/24*-2). Let j = 33 - z. Which is bigger: a or j?
j
Let w be (-152)/(-28) - (-20)/35. Let k be 63/70 - (3 - 15/w). Is k smaller than -2/7?
False
Suppose 2*v = 6*v + 2*q - 142, q = 1. Suppose 0 = 12*d - 7*d + v. Which is smaller: -8 or d?
-8
Let r = 921 + -921. Let y = 23 - 36. Are y and r equal?
False
Let g = -5331 + 58593/11. Is g > -3?
False
Let w be (0 + 822/232)*(-4)/12. Let h = -2/29 + w. Which is bigger: -2 or h?
h
Let s = 549/20 - 136/5. Which is smaller: s or -1?
-1
Let t = 152 - 1209/8. Which is bigger: t or 2?
2
Let n be 7/1224*14388/99. Let h = n + 1/459. Is h equal to -11?
False
Let h = -22 - -21. Let n(j) = 347*j - 16. Let r be n(-8). Let f be 4 + (4 - r/(-348)). Which is bigger: h or f?
f
Suppose -h = -12*h - 110. Is h bigger than -17?
True
Let l be (-52)/(-14) + 40/140. Let q be (l/14)/((-65)/(-91)). Which is greater: q or 6?
6
Let q be (472/(-544))/(-2 + 1). Let g = 3/4 - q. Which is smaller: -2 or g?
-2
Let g = 280 + -278. Which is smaller: 236 or g?
g
Let w be (-31377)/(-33390) - 2*(-1)/(-14). Let t = w + 1/318. Which is smaller: t or -4?
-4
Let l(o) = o - 7. Let k be l(-5). Let t = k - -14. Suppose f = t*f - 1. Is 7/5 equal to f?
False
Let s = -54.98 + -0.02. Let t = s - -54. Let r = 1.57 - 0.17. Which is smaller: t or r?
t
Let i(x) = x - 6. Let w be i(7). Let a = 539 - 5924/11. Which is greater: a or w?
w
Suppose 5*s + g + 223 = 18, s + 17 = -5*g. Is s at least 0.02?
False
Let r be 2/20 + 901/530. Which is bigger: r or -0.1?
r
Let i be 6/15 - (-2)/(-5). Suppose 3*g - 25 = r, -2*g = -2*r - 7*g - 28. Let p = 25 + r. Which is bigger: p or i?
p
Suppose -55 = -46*u + 51*u. Let q be 50/3 - 2/3. Let o be 24/u + q/88. Is -2/9 != o?
True
Let u = -0.13 + -44.87. Let p = u - -73. Which is greater: p or 0.1?
p
Let o = -67 - -70. Suppose -3 = -6*s + o*s. Which is smaller: 2/59 or s?
2/59
Let v be (-18394)/(-255) + (-2)/15. Suppose 0 = 5*g + 8 + v. Is g bigger than -15?
False
Let w = 204/7 - 1850/63. Is 112 != w?
True
Let k =