3*g + a = 0. Is -2/13 != o?
True
Let f be (-90)/(-46) - 1 - (10 - 9). Which is greater: f or -1?
f
Suppose -21 = 5*p - 8*p. Is p > 7?
False
Let f = 0.33 + -0.43. Which is greater: f or -0.35?
f
Let a be 4/(-18) - (-4)/18. Suppose -5*p - 4*i + 9 = 25, a = -2*p - i - 7. Which is bigger: -5 or p?
p
Suppose -x = -2*r - 69, 3*r - 4*x + 97 = 1. Let u(n) = -n**2 + 8*n - 6. Let p be u(7). Let m be (p - -2)*(-4)/r. Which is smaller: m or -1?
-1
Suppose 9*q + 12 = 6*q. Is q not equal to -4?
False
Let s be -2*1/8*-7*1. Which is smaller: 2 or s?
s
Let j be ((-2)/57)/(40/(-30)). Is 0 bigger than j?
False
Let p be (-2)/6 + 28/48. Let h = -6 - -8. Let k = 1 - h. Is k greater than p?
False
Let t = -31/63 + 5/7. Which is smaller: t or 0.1?
0.1
Let s = 4 - 7. Let d be (-2)/s*-1*3. Which is smaller: -1 or d?
d
Let u = -3781/20 - -189. Is u at most -1?
False
Let f = 4 - 13. Let v be (-6)/f + 82/(-132). Is v < -1?
False
Suppose -x - 12 = 2*x. Let f = -498 + 497. Is f >= x?
True
Let i be 20/(-70) - (-2425927384)/5871774930. Let s = -2/742323 + i. Let f = s + 2/339. Is f at least 1?
False
Let o = 138 - 81. Which is smaller: -0.2 or o?
-0.2
Suppose u = 4 - 2. Let h(m) = -m**2 + 4*m - 3. Let s be h(u). Which is smaller: s or 1/5?
1/5
Let f be 4/18 + 32/(-360). Is 0 not equal to f?
True
Let k = 6148 + -1592330/259. Which is greater: 1 or k?
1
Let y(i) = -2*i - 4. Let c be y(-4). Let z(g) = g + 4. Let k be z(-4). Suppose k = c*l - 2*l. Do l and -1 have the same value?
False
Let i = -163 - -189. Is 2 smaller than i?
True
Let q = -6 - -1. Let w = q + 5. Let x be ((-2)/4)/((-6)/(-10)). Is w at least as big as x?
True
Let z be ((-9)/(-12))/(3/(-2)). Let d = 7 - 7. Suppose 6 = -r - 2*r, 4*s - 4*r - 4 = d. Is s equal to z?
False
Let h be ((-2)/3)/(20/15). Which is bigger: h or -2/9?
-2/9
Suppose 2*h = -3*t - 677, -5*t = -3*h + 5*h + 1127. Let x = -1214210/5343 + 989/411. Let s = x - t. Which is bigger: s or 2/5?
2/5
Let c(a) = -a**3 - 7*a**2 - 6*a + 2. Let b be c(-6). Suppose q + 9 = -4*z, -3*z + b*q - 3*q - 8 = 0. Let r = -170 + 2041/12. Are z and r equal?
False
Let z = 0.4 - 0.3. Let f = 149/2 + -73. Is z >= f?
False
Let k be 94/18 - 4/18. Suppose 0 = -2*p + k + 5. Suppose -6*j + 3*j = -p*c + 9, -3*c = -j - 7. Is c smaller than 5?
True
Suppose 0 = -13*a - 315 + 68. Is 2 bigger than a?
True
Let l(u) = 21*u + 2. Let m be l(3). Suppose m = 3*y + 8. Suppose -3*o - y = 2. Is -6 at least o?
True
Let b = -0.02 + 0.02. Which is bigger: b or -2?
b
Suppose -8*u + 6*u + 3*y = -13, 3*u + 28 = -5*y. Is 12 at most as big as u?
False
Let o(v) = v**2. Let d be o(-2). Let p be (-21)/(-45) + d/(-6). Is p >= 1?
False
Let i = 236/3 + -165/2. Which is smaller: -3 or i?
i
Let l(v) = v**2 - 7*v + 1. Let n be l(4). Let s = n - -2. Is s bigger than -9?
False
Let l = 9 + -9. Let o = -2 + 3. Is l bigger than o?
False
Suppose 16 = 6*n - 2*n. Let x be 8/(-12)*(-6)/n. Is 5/7 bigger than x?
False
Let y be ((-2)/4)/(2/4). Let t = -1861/14 - -133. Is t at most y?
False
Let u be ((-64)/24)/((-2)/9). Suppose 0 = 4*f + u - 44. Let g = -0.2 - -0.3. Are g and f equal?
False
Suppose -5*r - 4 - 1 = 0. Is r at least -5/3?
True
Let q(c) = -c**3 - 6*c**2 + 6*c - 8. Let p be q(-7). Let t be (1 - 2 - -1)*p. Is t bigger than 0?
False
Let p = 2.9 + -3. Let g = p - 0.2. Let v = 11 - 10. Which is smaller: g or v?
g
Let m(h) = h**2 + 4*h - 2. Let r be m(-5). Is r < 0?
False
Let g = -6 - -13. Let w = 11 - g. Let f = 6 - w. Which is bigger: f or 2/3?
f
Let u(k) = -k - 1250. Let s be u(0). Let g = -26272/21 - s. Let q = -5/7 - g. Is 0 at least q?
False
Let r(l) = 9*l**3 - 5*l + 4. Let f be r(2). Which is smaller: f or 67?
f
Suppose 4*i + 16 = -2*r, -r + 4*i + 24 = -4*r. Let c be ((-3)/2)/((-6)/r). Which is smaller: 0 or c?
c
Let x be 171/(-3)*4/42. Are -4 and x unequal?
True
Let y = 42040/39 + -1078. Suppose -28*s + 24*s = 4. Is y smaller than s?
False
Let c(x) = 6*x - 1. Let k be c(1). Suppose n + 5*z + 15 = 0, n - k*z - 15 = 5*n. Let f be 2/(-2) + (-22)/(-26). Which is bigger: f or n?
n
Let j = 30 - 119/4. Let q be (-26)/(-4) - (-12)/24. Let d = -6 + q. Which is smaller: j or d?
j
Let g(w) = w**2 + 4*w - 14. Let i be g(-6). Which is bigger: i or -5?
i
Let b be (-4)/6 - 2/(-3). Suppose -1066 = -4*d + 5*s, s - 526 = d - 3*d. Let o = 2902/11 - d. Is b smaller than o?
False
Let y(o) = -2*o - 10. Let m be y(-4). Which is smaller: m or 0?
m
Let y be -2 + (31 - (-3 - -5)). Which is smaller: y or -0.2?
-0.2
Let o = 7 - 8. Suppose -5*j = -3*f + 22, j - 4 = 5*j + f. Is o less than or equal to j?
False
Let d = -10 - -1. Let l = -16 - d. Let b = l + 5. Which is greater: 1/5 or b?
1/5
Let r be 6 + (-3)/(0 + 1). Suppose -r*k + 4*q = -26, -4*q - 14 - 10 = -2*k. Is k > -1?
True
Let b = 150 + -1352/9. Let i be 2/((-4)/1 - 1). Are b and i nonequal?
True
Let v(p) = -2*p + 0*p + 3 + p. Suppose -5*d + 0*d + 20 = 0. Let t be v(d). Is t equal to -1/4?
False
Let u(l) = -2*l - 1. Let p be u(4). Is p != -8?
True
Let l = 27/7 + -311/77. Is l at least 0?
False
Let o = -0.007 - -0.007. Let u(b) = -b**3 - 3*b**2 - 4. Let r(q) = 1. Let h(c) = 4*r(c) + u(c). Let a be h(-3). Is o bigger than a?
False
Let f(a) = -a**2 + 7*a - 5. Let z be f(6). Let s be 130/(-350) - (-8)/14. Which is smaller: s or z?
s
Suppose -16 = 3*t - 13. Let r(z) = z**3 - 5*z**2 + 2. Let i be r(5). Let h be i/9 - (-12)/189. Is h <= t?
False
Suppose 6 = -0*t - 6*t. Which is greater: -2/91 or t?
-2/91
Suppose -4 = -3*q + 4*g + 8, 4*q + 4*g = 16. Let p be (-8)/4*(-1)/(-2). Let c = p + q. Is 3 at least c?
True
Suppose o + 0*o = 0. Suppose w - 4 = -3. Suppose o = -d - w - 0. Is d less than or equal to -1?
True
Let d(s) = -s**3 - 2*s**2 + s. Let v be d(-4). Let t = v + -27. Are -18/7 and t equal?
False
Suppose -5*q - 10 = -2*d, 0*d = 4*q - 2*d + 10. Is q greater than 3/41?
False
Let u = 0.3 + -0.05. Let b = u + -0.05. Let d = 0.8 + b. Which is smaller: 4 or d?
d
Let a = -42 + 38. Let m = -3.1 + 3. Which is bigger: m or a?
m
Let n be (-6)/21 + 340/14. Suppose 15 = 3*l + 4*q, -5*q + n = 5*l + 4. Let v be (-1 - l/3) + 2. Is v less than 2?
True
Let k = 29 - 31.05. Let s = -0.05 - k. Which is smaller: s or 1?
1
Let n(x) = 2*x**3 + x**2 + 2*x + 1. Let z be n(2). Suppose 3*r + 2*r = z. Is r > 1?
True
Let r(j) = j**3 - 6*j**2 - j + 4. Let p be r(6). Let c be (-8)/(-20)*3/p. Suppose o = -3*m + 1, 0*o - 2*m - 4 = 3*o. Which is smaller: o or c?
o
Let z = -106 - -106.13. Which is smaller: 0.1 or z?
0.1
Let z = 0.3 + 0.2. Let g = -0.5 + z. Is 0.1 equal to g?
False
Let h(f) = 2 + 0 + f + 0*f + 2. Let d be h(-7). Is -2 at most as big as d?
False
Let o be 156/(-252) + (-4)/(-14). Which is greater: o or 0.01?
0.01
Let h be 6/9 - 2/(-6). Let k be (-4)/14 + (-506)/42. Let o = k + 12. Which is bigger: o or h?
h
Let n = 3213 - 9731/3. Which is smaller: n or -32?
-32
Let h = 0.16 - 6.16. Let z = 7 + h. Which is bigger: -5 or z?
z
Let n be (-4)/(-2)*1/(-2). Do n and 1/17 have the same value?
False
Let w be 8/((-163)/(-149) - 1). Let p(m) = m**3 + 6*m**2 + 5*m - 1. Let l be p(-7). Let o = w + l. Is o smaller than -2?
False
Let r = -806/5 - -160. Suppose -y - 3*y - 8 = 0. Are r and y equal?
False
Let t = 17.8 + -18. Is t > 0?
False
Let s be ((-1)/3)/((-16)/3084). Let q = s - 64. Which is smaller: -1/3 or q?
-1/3
Let c(s) = s**2 - s + 1. Let w(k) = 2*k**2 - 8*k. Let t(v) = -3*c(v) + w(v). Let m be t(-3). Which is smaller: m or 7/2?
m
Let w = -847/9 + 94. Which is smaller: 0 or w?
w
Let g be ((-4)/(-56))/(2/(-8)). Is -0.7 >= g?
False
Let b = -48 + 49. Let s = 1215/228056 + -1/983. Let h = s + -481/3944. Which is bigger: b or h?
b
Let r = 12 - 9. Suppose -l = 4*d + 2, 4*d + 0 = r*l + 6. Which is greater: l or 0?
0
Let h = 543/4 + -136. Let f = 0 - -0.2. Let g = f - -0.8. Is g less than or equal to h?
False
Let c(p) = p**3 + p + 7. Let o be c(0). Let m(j) = j**3 - 5*j**2 - 17*j + 28. Let k be m(7). Is o != k?
False
Let b(d) = -d - 18. Let y be b(-14). Let g(h) = h**3 + h**2 - 2. Let i be g(0). Is y less than or equal to i?
True
Let v = -48 - -45. Which is smaller: 0 or v?
v
Let c = 1.3 + 3.7. Suppose 5*z + 3 = 3*d - 2*d, -2*z - 2 = 0. Is d > c?
False
Let j = -40 + 42. Which is smaller: 0.23 or j?
0.23
Let a = -4 - -5. Let w be 9/(-42) + 1/2. Is w at least as big as a?
False
Let v(g) = g**3 + 8*g**2 + 11*g - 10. Let 