 most -12?
False
Let s be ((-2)/12)/((-5)/(-550)). Let r = 18 + s. Is -1/3 smaller than r?
False
Let t = 10.3 - 10.4. Are 5/4 and t equal?
False
Let t(i) = -2*i - 39. Let r be t(-8). Which is smaller: r or -22?
r
Let k be (-10)/(-14) - (-10)/35. Let c be -5*k*(-7 - -6). Suppose -c*i = 25, -i + 0*i - 6 = -j. Which is greater: j or -1/8?
j
Let g be 2/(-3) + (-65)/(-30). Suppose -3*j - 5 = 5*o, 0 = 2*o + 2*o + 3*j + 7. Which is bigger: g or o?
o
Let c be 6/(-9)*42/(-20). Let z = 4/5 - c. Are z and -2 equal?
False
Let p(f) = -f**2 - 3*f - 3. Let r be p(-3). Let q be (-6)/(-9) - 7/r. Let l be 1*(0 + 1)*1. Is l at least q?
False
Let x(z) = -13*z - 15. Let k be x(-2). Is 10 not equal to k?
True
Let q(r) = r**3 + 7*r**2 - 7*r + 8. Let x be q(-8). Do -4 and x have different values?
True
Let y = 34 + -172/5. Is y less than 3?
True
Let o(p) = p**3 + p + 1. Let r(y) = 5*y**3 + y + 2. Let x(u) = 3*o(u) - r(u). Let i be x(-1). Let f = 601/9 + -67. Is f > i?
False
Let t = 1/72 - 13/72. Suppose i = -i. Suppose 5*p + i*p = 0. Which is smaller: p or t?
t
Let t = 0.7 - 8.7. Let n = -0.17 + 0.07. Which is bigger: n or t?
n
Suppose c + 15 = 4*c. Suppose -4*f + 20 = 0, -c*x + 16 - 6 = 5*f. Is x not equal to -2?
True
Let t(m) = -2*m**2 + m - 1. Let q be t(0). Is -0.21 at least q?
True
Let f(g) = g**3 + 7*g**2. Let c be f(-7). Suppose -2*h - 4*x + 16 = 0, -h + x = -c*x + 1. Which is bigger: h or 0?
h
Let h = 4963/10 + -497. Is h smaller than 0?
True
Let n be (-5)/7 + -15 + 16. Suppose 0 = 4*d - d. Is d smaller than n?
True
Let t be (-194)/(-8) - 6/(-8). Suppose 4*v = 2*b + b + 39, 2*b - t = -3*v. Let f be v/(-48)*(-2)/3. Which is bigger: 0 or f?
f
Suppose 2*y + 0 = 8. Suppose y*w = w. Suppose w = -5*l + 2*s - s + 4, 0 = -3*s - 12. Which is greater: 1/5 or l?
1/5
Suppose 0*q = 3*q + 27. Let k = q - -10. Is 2/15 less than or equal to k?
True
Let a = 0.8 + -1. Let c = 0.2 + a. Let m = -1.1 + 0.8. Is m > c?
False
Let a = -7 - -10. Let u be (3/2)/(15/30). Is u greater than a?
False
Let u = -45/187 - -1/17. Let i(y) = -y**2 - 8*y + 8. Let z be i(-9). Is u bigger than z?
True
Let o = 0 - -2. Suppose -o*u + 5 = 3*u. Let a = 19/5 + -4. Which is greater: a or u?
u
Suppose -3*f = -2*l - 5, 0*l - 5 = -2*l + f. Let s = 1 - 1. Suppose l*a - 8 - 2 = s. Which is smaller: 1/2 or a?
1/2
Let n = 8.8 - -0.2. Which is bigger: n or 1/2?
n
Let v = -0.92 + -0.08. Do -48 and v have the same value?
False
Suppose -2*k + 0*k = 0. Let w be 2/1 - (0 + k). Suppose w*o = o. Is 2/5 < o?
False
Let p = -0.31 - -0.51. Is p at least 2?
False
Let m = 2 + -2.9. Let c = m - 0.1. Suppose 2*v + 12 = -4*x, x - 8 = 3*v + 2*v. Which is smaller: c or v?
v
Let u be -2 + 20*(-1)/(-9). Let k be -2*6/4 - (68 - 72). Which is smaller: u or k?
u
Suppose 0 = -2*q - 7 - 1. Are q and -6 nonequal?
True
Let f = 43 + -43.2. Which is smaller: f or -0.1?
f
Let b(t) = -t**3 + 2*t**2 - 3*t + 1. Let s = 1 - -1. Let p be b(s). Let f(g) = -g**3 - 7*g**2 - 6*g - 4. Let q be f(-6). Which is bigger: q or p?
q
Let z be 6/(-10) - ((-2324)/(-660) - 4). Which is greater: z or 1?
1
Let z be -81 - (-3 + 0 + (17 - 13)). Is z < -81?
True
Let s = -8 - -15/2. Let x = -0.8 + 1. Let o = -0.3 + x. Is o at least s?
True
Let o = 80.8 + -81. Which is greater: o or -23?
o
Let u = -1 + 6. Let z = u + -5. Let l = -0.04 - -2.04. Is l < z?
False
Suppose 5*l = 3*t - 1, l = -0*l - 5*t - 17. Let d = l + 2. Which is smaller: d or -2/17?
-2/17
Let o = 4 + -4.8. Let z = o - -0.7. Let v be (4/(-2))/(-2) + -2. Is v > z?
False
Suppose 0 = 92*s - 89*s - 54. Is s less than -1/3?
False
Suppose -8*p = 1 + 7. Let j(o) = o + 6. Let l be j(-5). Which is bigger: p or l?
l
Let n(x) = -x**2 - 6*x + 5. Let z be n(-6). Let b = 7 + z. Let s be (4/b)/(2/6). Are s and 2/7 equal?
False
Let o = -1.997 + -0.003. Which is smaller: o or 3/4?
o
Let x = 8.3 - 24.3. Does x = -1?
False
Let z be (-35)/(-28) + (-9)/6. Let i be (-2 - 7/(-4))*-2. Which is smaller: z or i?
z
Let w = -32 - -11. Which is greater: w or 2/3?
2/3
Let o = -4 - -8. Let d be 1/5 - o/12. Which is greater: 1 or d?
1
Let g = -32.8 - -33. Which is bigger: -3/17 or g?
g
Let c be (-281)/(-42) - 15/(-90). Which is smaller: 8 or c?
c
Let l be 0/(-2*(-1)/(-1)). Are l and -3/7 equal?
False
Let w(m) = 2*m**2 + 12*m + 25. Let u be w(-6). Which is bigger: 27 or u?
27
Suppose -8*o + 10 + 6 = 0. Is o not equal to 7/4?
True
Let a = -6 - -8. Let i(s) = -14*s**2 + s. Let o be i(a). Let z be -3*(-4)/o*-3. Is -0.5 not equal to z?
True
Let c = 9.34 - 9. Let b = 0.04 - c. Is b bigger than 0?
False
Suppose -5*d + 4*l - 6 = 2*l, d = 4*l - 12. Let b = 7 + -6. Which is smaller: b or d?
d
Let c = -76 + 75.9. Is c < -0.1?
False
Let p = -1 - 0.4. Let j = p - -0.4. Are j and 0.1 unequal?
True
Suppose 1 = 3*z + 7. Let c = z + 2. Let p be (2/5)/((-11)/5). Is p <= c?
True
Let g be (-230)/75*(-15)/(-10). Are g and -5 nonequal?
True
Let o be 3/(-9) + (-2)/(-6). Let a(f) = -f + 8. Let t be a(8). Is t less than o?
False
Let i(z) = -z**2 + z + 1. Let w be i(2). Let c be ((-1)/(-2))/(2/8). Let o = w + c. Which is smaller: o or 3?
o
Let h = -6 - -6. Suppose r - 6 = -h*r. Let o be 1/(-2)*6/9. Which is smaller: o or r?
o
Let y(l) = -l**2 + 6*l + 9. Let o be y(7). Suppose -17 = -o*x + 3*k, 2*x - 3*k = k + 22. Let n = 123/2 + -60. Which is greater: n or x?
n
Let d be (4 - -1)*(-3)/6. Let c = -7/3 - d. Let a(v) = 2*v - 3. Let t be a(2). Which is smaller: t or c?
c
Let u(g) = -g**2 + 6*g + 8. Let x be u(7). Let o be (-14)/(-6) - (-4)/6. Suppose 0 = -o*n - 2*n. Is n equal to x?
False
Let j be ((-1)/2)/(9225/(-1026) + 9). Is -57 greater than j?
False
Let s be 290/55*1/6. Let v = s + -6/11. Suppose -3*i - 2*i = -2*a + 8, -2*a = -i. Is a at least v?
False
Suppose 5*q - 2*x = 50, 6 = 2*x - 4. Suppose -12 - q = -3*h. Suppose -2*p = -4, h*k - 4*k = -3*p + 2. Which is bigger: k or -1/7?
-1/7
Let t = -237 - -719/3. Is t < -1?
False
Let i = -10.813 - 0.187. Which is bigger: i or -2/11?
-2/11
Let o be (-5)/(-2)*(-3)/45*3. Which is smaller: -2 or o?
-2
Let v = 5.31 - 0.31. Which is smaller: v or -1/3?
-1/3
Let b = 4 + -4.3. Let m = -1.3 - b. Let f = m - 0. Which is smaller: 0.4 or f?
f
Let t(x) = x**2 - 3*x + 2. Let k be t(2). Suppose k = -3*g + 2*g - 1. Which is greater: g or -2?
g
Let w = 21 + -14. Suppose 5*p = -0*m + 4*m - w, -2*m = 3*p + 13. Suppose -4*i - 5 = 3. Is i greater than or equal to m?
True
Suppose -1 - 3 = -t + 4*v, -v - 12 = -3*t. Let f = t - 12. Let y be ((-7)/(-2))/(1/(-2)). Which is bigger: y or f?
y
Suppose 0 = -15*a - 107 - 73. Is a equal to -12?
True
Let b be (12/(-879))/2*(-9 - -8). Is b greater than 1?
False
Let m = 64 - 65. Which is bigger: m or 3?
3
Let v(s) = 1 + 4*s + 0*s + 4*s**2 - 5*s**2. Let h be v(4). Suppose 0 = 2*n - 6, 4*z = 4*n - 0*n - 12. Is h at most as big as z?
False
Let o = 1 + 9. Let x be (4/o)/(1/5). Let u be 7/(-5) + x/5. Does -1/14 = u?
False
Let o be ((-536)/(-6))/((-6)/(-18)). Let x = 2141/8 - o. Which is smaller: -1 or x?
-1
Suppose -2*y = -5 - 3. Suppose 5 = s + y*s. Is s at least as big as 2/3?
True
Let j = 6.4 - 7. Let p = 4.6 + j. Let h = 4.3 - p. Is -0.1 at least h?
False
Let o(q) = q + 7. Let m be o(-12). Is m bigger than -7?
True
Let w(f) = f**2 - 6*f + 7. Let s be w(7). Let b = 0.7 - -0.3. Which is greater: b or s?
s
Let n be 3/15 - 3/15. Let v = -5.6 - -5. Which is greater: v or n?
n
Let c(g) = -g**2 + g. Let f be c(-5). Let y = 121/4 + f. Let a be 1*(-3)/6 - 1. Which is smaller: y or a?
a
Suppose -4*w + 0*w - 4 = 0. Let z be 0 - (w + (4 - 3)). Which is smaller: -2/7 or z?
-2/7
Let k be 14/63 - (-345)/27. Which is greater: 12 or k?
k
Let q = -43 + 171/4. Suppose 0 = -5*j + 2*j + 9. Suppose 0 = -j*y + f + 3, y - 3 = -f - 2. Is y at least q?
True
Let p = -92 - -70. Is p at most as big as -21?
True
Let t = -2.5 + 3. Let x = 1.1 + -1.1. Let q = x + 0. Are q and t equal?
False
Suppose 0 = 6*z - 7*z. Suppose 5*y + 33 = -3*b - z*b, -4*b = 5*y + 34. Which is greater: y or -7?
y
Let y be 12/4*(7 - 3)/(-2). Let j(p) = -1 - 1 - p**2 - 7*p + 1. Let q be j(-7). Is q > y?
True
Suppose 7*y + 336 = -5*y. Which is smaller: -27 or y?
y
Suppose -4*m - 32 = -40. Suppose -3*q + 36 = q + 3*w, 0 = 5*q + 2*w - 38. Let s be 4/10*10/q. Is s != m?
True
Let l = -16 + 2. Let j = l - -15. Which is smaller: -2 or j?
-2
Let g be 1283/7 - 2/2. 