4*i = 7*o - 191. Is o equal to 23?
False
Suppose 7*w - 3*w = 0. Suppose -2*i + 27 + 21 = -4*m, w = -2*m + 10. Let q be 3/i*(-8)/(-12). Is q greater than or equal to -1?
True
Let g be (76/(-20) + 4)*5. Which is smaller: -41/3 or g?
-41/3
Let s be (-4)/(-1) + (-9)/(-6)*92. Which is smaller: s or 144?
s
Let n = 0 + 1. Let l = 2460 - 120548/49. Let g = -193/882 - l. Is g not equal to n?
True
Let h = -0.1 + 1. Let f = -0.76 + 0.6. Let n = f + 0.06. Which is smaller: n or h?
n
Let z = -36 + 33. Let w = z - -2.8. Is -0.4 greater than w?
False
Let q = 85 - -48. Is 134 <= q?
False
Let z = -2283/85 + -67/17. Which is greater: z or -32?
z
Let h = 419 + -152. Let u = 1865/7 - h. Which is smaller: u or 0?
u
Let x be -1 - ((-2 - -10) + -1). Which is greater: -93/11 or x?
x
Suppose 0 = -3*o - y - y - 3, -3*y = -3*o - 3. Is 4/663 at least as big as o?
True
Let p be 2 + -2 + 1 + -1. Suppose -5*t - 20 = -p*t. Suppose 11 - 7 = -l. Is l equal to t?
True
Suppose -j = -4*q + 30 + 2, 2*q = 4*j + 114. Let g = j + 14. Let h be 5/1*(-9)/3. Are g and h non-equal?
True
Let c(h) = h**2 - 6*h + 1. Let b be c(7). Let v = -4 + b. Let n be (-2 - -3)*v/32. Is 1/3 != n?
True
Let y = -2/93 - 548/465. Which is greater: 0 or y?
0
Let g(u) = -u**2 + 14. Let z be g(0). Suppose 5*n - 26 = z. Let v(s) = s**3 - 9*s**2 + 9*s - 10. Let q be v(n). Is -3 <= q?
True
Let s = -0.03 - -0.43. Let v = 215 - 859/4. Are v and s nonequal?
True
Let o = 36 - 51. Let h = o - -8. Is h < 1?
True
Suppose -3*l - 2*l = -4*k + 52, -3*k = -l - 28. Suppose -d = -k*d - 7. Is d > 19?
False
Suppose -3*u - 3*b = 2799, 5*u + 253*b + 4661 = 249*b. Which is smaller: u or -930?
-930
Let q = 213 + -871/4. Let l = -53/12 - q. Let h = 46 - 48. Which is bigger: l or h?
l
Let q be 732*(1 + -22*(-4)/(-72)). Which is smaller: q or -163?
-163
Let r = 2692 - 13457/5. Is r not equal to 3.3?
True
Let n = -221/144 + 252377/164304. Is 0 >= n?
False
Suppose -r = r + 12. Let w be (3/6)/((-1)/(-6)). Let o be -3 - ((-6 - -4) + w). Do o and r have the same value?
False
Let g be 3 + 1 + 51681/19. Let m = -2725 + g. Which is smaller: m or -2?
-2
Suppose -a - 5*r = -2*r - 16, -12 = 3*a - 3*r. Suppose -2*u - n + 1 = -a, 4*n = -5*u + 5. Let k be (u + 0/(-4))*-5. Is -7 <= k?
True
Let n be (-56)/(-12) - (-6)/(-9). Let o(d) = -d**3 + 6*d**2 - 7*d + 4. Let f be o(5). Let r be n/(-22) + f/(-33). Which is smaller: 4/7 or r?
r
Let t = -24 - -36. Let w(d) be the first derivative of -d**4/4 + 11*d + 13. Let r be w(0). Is r greater than t?
False
Let b = -6 + -4. Let r = -15 - b. Let a be (-4)/20*r/3. Which is greater: a or 0.12?
a
Suppose -2*f + 3*o + 5 = 9, -4*o = 4*f - 12. Is 1/129 greater than f?
False
Suppose -3*h + 172 = -4*z, -2*h = 4*z - 0*z - 108. Let i = h + -57. Is i < -9/10?
True
Let s be -2 - (3 + 36)/(-3). Let h be (-3)/12 - (-83)/12. Let d = 7 - h. Is s at most as big as d?
False
Let h = 86 + -110. Let n be h/(-1 - 10/(-4)). Which is smaller: -15 or n?
n
Let l(k) = -k**2 - 7*k - 9. Let m be l(-6). Let a be -5 - (m + 4 - -3). Is -7 at most as big as a?
False
Suppose 0*f - 8 = f - 4*z, 5*z = 4*f + 10. Suppose f*i = 3*i + 3. Which is bigger: -7/3 or i?
i
Let z be 2 - (-2 - (3 + -3)). Suppose 3*b = -9, 5*v - 15 - 3 = -z*b. Which is greater: 0 or v?
v
Let s = 518 + -522.83. Let u = -1.17 + s. Is -6 < u?
False
Let j = -1453 + 1440. Which is smaller: j or -7/6?
j
Let y = 5 - 0. Suppose 0*i - 4*a = 3*i - 19, y*i + 5*a - 35 = 0. Let o be (1/i)/((-7)/3). Which is smaller: o or -1?
-1
Suppose q - 6 = -2*u, 12 = -q + 4*q. Which is bigger: u or 2/781?
u
Let c(r) = 13*r + 56. Let n(s) = -12*s - 56. Let v(l) = 2*c(l) + 3*n(l). Let o be v(-5). Which is greater: o or -8?
o
Let r = -812 - -794. Which is bigger: -13 or r?
-13
Suppose 0 = 5*l - 10. Let z be -10 + (16/l)/4. Let s be (-5)/(-15) - z/3. Is 1/3 >= s?
False
Let t be 2*(-5)/600*-76 + -1. Which is smaller: t or 49?
t
Let a = -26.967 + 27. Let r = a - -0.027. Are r and -5 non-equal?
True
Let f be (-200)/48 - 2/(-12). Let p be f/14 + 2223/(-133). Which is bigger: -18 or p?
p
Suppose -20 = -3*d - 38. Which is bigger: d or -9/2?
-9/2
Let k be 10810/150 + 2/(-5) + 2. Let n = -74 + k. Which is bigger: -1 or n?
n
Let u = -26191 + 11602619/443. Is u > -1?
True
Suppose -3*q = 16*q - 342. Which is smaller: 19 or q?
q
Suppose 3*t = 5*t - 12. Let l be (-40)/100 + t/(-10). Which is smaller: l or -2/3?
l
Let b be ((-4)/(20/45))/(822/4). Is b at most -1?
False
Let r(f) = f**3 - 5*f**2 + 3*f - 2. Let a be r(4). Let p(d) = -d**3 + 3*d**2 - d. Let v be p(3). Which is bigger: v or a?
v
Let u be 24 - (-6 + (6 - 3)). Let w be (-12)/(-1)*153/u. Let x be (w/18 - 3) + -1. Is 2 equal to x?
False
Let t be 0 - 4/1 - (-46)/23. Which is bigger: t or 3?
3
Let t(k) = k**2 + k + 3. Let r be (-16)/(-32)*0/2. Let l be t(r). Suppose -v + 3*i + 26 = -0*v, 0 = l*v + 4*i - 13. Which is smaller: 10 or v?
10
Let b be 1 + ((-50)/(-4))/(1/2). Which is smaller: b or 25?
25
Let g be (-159)/(-530) + (-446)/1480. Which is bigger: 1 or g?
1
Let t = -36 + 72. Let d be (-136)/t - (-6)/(-27). Is d >= -1?
False
Suppose -22 = -6*q - 10. Let l be (-1 - 0) + 3/9. Which is smaller: l or q?
l
Let s(i) = 2*i**3 + 4*i**2 - 7*i + 2. Let q be s(4). Let o = q - 266. Is -99 < o?
False
Suppose -4*m + 2*m = 3*h + 67, 2*h + 51 = 5*m. Let s = 55 + h. Let o be 6/s*(-3)/3. Which is bigger: -1 or o?
o
Let h = 0.0071 - 12.0071. Suppose -r - 6 = r. Is r less than h?
False
Let s = 3823/10 - 381. Which is bigger: 1 or s?
s
Let a = 0.075 - 125.075. Let u = -138.1 - a. Let i = u + 13. Which is greater: -0.4 or i?
i
Suppose -3*l - 2*f + 5*f + 3 = 0, -2*f - 2 = -l. Let s be 1*-1 - -5*9/135. Are s and l non-equal?
True
Let p(c) = -c**3 - 9*c**2 + 11*c + 11. Let h be p(-10). Let w = 113 + -225. Let a be 2/(-7) - (-10)/w. Which is smaller: h or a?
a
Suppose -2*y + 5*o - 91 = 0, -45 = y + 3*o - 5. Does y = -43?
True
Let h be 5*(-3 - -6 - 2). Suppose -h*s = -6*s - 8. Let m be 2/s - (-19)/(-4). Which is smaller: -6 or m?
-6
Let h(x) = -3*x + 42. Let y(z) = 4*z - 63. Let o(l) = -8*h(l) - 5*y(l). Let d be o(9). Is 14 != d?
True
Let g be (86/5)/(0 - -108). Let a = g + -7/27. Let f be (-12)/12 - 4/(-4). Is a not equal to f?
True
Let r = 371/8 + -49. Let j = 415/152 + r. Is j greater than 0?
True
Let c be -6 + 1/1 + (-110)/(-22). Is 5/187 at most as big as c?
False
Suppose 67 - 46 = 3*d. Let w(t) = 14*t**3 - t**2 + 2*t - 1. Let r be w(1). Suppose -15*z - d = -r*z. Are -5 and z unequal?
True
Let k(g) = -g**2 - 5*g + 8. Let l be k(-6). Let d be (1 - l) + (3 - -5). Suppose j - d = -11. Are -3 and j unequal?
True
Let q = 30 - 103. Which is smaller: q or -69?
q
Let f be (-54)/(-4)*(-112)/168. Is -71/7 < f?
True
Suppose 0 = -8*w + 128 - 32. Let r be 2/(2 + 6) + 177/w. Does 13 = r?
False
Let u = -15 + -27. Let z = -41.7 - u. Which is bigger: z or -0.08?
z
Let x = -3.14 + 3.44. Let j be -2 + ((-260)/45)/(-2). Are x and j equal?
False
Let x be -6 - 3/(-387)*807. Which is smaller: -1 or x?
-1
Let j(i) = -6 + 341*i - 1 - 348*i. Let v be j(-1). Let b = 0.03 + -2.03. Which is greater: b or v?
v
Let m = 54 - 54. Let k = 38 - 21. Which is bigger: k or m?
k
Suppose 2*u + 90 = 5*z, -45 = -5*z + 3*u + 50. Let j be (-64)/6*12/(-8). Is j less than z?
False
Let c = -3946 + 19559/5. Is c smaller than -35?
False
Let f = 6 - 6. Let i be 8 + (-12)/4 + f. Suppose -g + 5 = -5*w, -8 = 3*w - i. Which is smaller: g or 0.11?
g
Suppose 3*z = -4*y + 18, -4*z - y - 9 = -33. Let k be (-2 + 3)*z/(-3). Is -4/7 bigger than k?
True
Let w = 0.1 + 0.9. Let y(j) = -9*j**3 - j**2 - 3*j + 3. Let m be y(1). Which is greater: m or w?
w
Let u(k) = k**2 - 2*k - 3. Let s be u(3). Suppose 3*y - 3*z - 30 = s, 3*y - 2*z = 2*z + 35. Suppose 5*q + y = 0, -2*q = 3*d + 3*q + 8. Which is smaller: 2 or d?
d
Let l(w) = -w**2 + 12*w. Let k(h) = h - 1. Let j(o) = 4*k(o) - l(o). Let p be j(8). Is -17/6 at most p?
False
Suppose 2*p - 1503 - 317 = 0. Let x be (-1)/(-2) - 441/p. Which is bigger: 0 or x?
x
Let s = -37 - -15. Let g = -26 - s. Let z = g - -3. Which is greater: -0.02 or z?
-0.02
Suppose 0 = 5*n - s + 9, -4*n = -s - 78 + 86. Which is smaller: n or -14/59?
n
Let u(j) = j**3 + 4*j**2 + j + 6. Let p be u(-5). Which is smaller: p or -11?
p
Let l = -42 - -61. Let a = 156 + -138. Which is greater: l or a?
l
Let d(c) = -3*c**3 + 6*c. Le