2 = 0, -5*y = -2*m + 140. Is -26 > y?
True
Let g be 1/(2/(-24)*2). Let a be 2/g - 5/(-30). Is -1 >= a?
False
Let a = 497 - 500. Let w = 0.2 - 1.2. Which is bigger: w or a?
w
Let x be (84/(-147))/((-4)/70). Is x smaller than 12?
True
Suppose -2*o + 6*o + 48 = 0. Which is smaller: o or -13?
-13
Let n(j) = j - 3. Let x be n(6). Suppose -2*t = -2, 0 = x*y - 5*t + 4*t + 4. Suppose 2*l - 6 = -4*o, 0 = -2*o + 2*l - 7 + 1. Which is smaller: y or o?
y
Let p(l) = -l**3 - 4*l**2 - 2*l. Let v be p(-3). Let k(d) = 6*d. Let f be k(1). Suppose f*j - 2*j = -12. Is j less than or equal to v?
True
Let z be 2/(-8) + 242/8. Is z < 31?
True
Suppose -5 = 4*w + 3. Let j(t) = t**2 - 5*t - 16. Let i be j(7). Is w at least i?
True
Suppose 0 = 5*f - 0*f. Is f less than 1/4?
True
Suppose -5*m = -2*m + 12. Let y(p) = p + 3. Let s be y(m). Which is bigger: s or -3/4?
-3/4
Let u be ((-8)/(-10))/(28/(-210)). Which is bigger: 0.3 or u?
0.3
Suppose -2*k + 8 = -20. Let o be k/4 - 4/(-8). Let x be o - 5 - 7/(-9). Is x at least as big as 0.1?
False
Let k = 1/298 + 5063/894. Let r = 82/15 - k. Is -1/5 at most r?
True
Let s be 2/1 - (1 - 3). Suppose 0 = s*t - t - 24. Let q be -4*2*3/t. Is q >= -3?
True
Suppose -5*k = -5*m + 4*m - 7, 4*k = 4*m + 60. Which is smaller: m or -16?
m
Let j = -13 + 13. Let k be (-1)/((1 - 2) + j). Are -1/8 and k nonequal?
True
Let y be -4 - ((-80)/4)/5. Let h = -0.03 + 0. Let i = h - 1.97. Which is greater: y or i?
y
Let w = 3 + -2. Is w bigger than -3/16?
True
Let k be 10/25 + 706/(-40). Which is smaller: k or -16?
k
Suppose 4*x - 1 = -2*m + 21, x = -4*m + 16. Suppose l - x = 3*b, -2*b - b - 20 = -5*l. Suppose -l*v + 2*v = 2. Which is bigger: v or -3/2?
v
Let f(w) = 26*w**3 - 2*w**2 + 2*w - 1. Let c be f(1). Let n be (-1)/(-1) - 20/c. Which is smaller: -1 or n?
-1
Let a be 0 + (-1358)/88 - 32/(-176). Which is bigger: a or -16?
a
Let c(i) = i**3 - 5*i**2 - 5*i - 4. Let a be c(6). Let x be (64/14)/(-2) + a. Suppose -2*u + 1 = -3*u. Is x < u?
False
Suppose 2*w = -3*w + 600. Suppose 3*f + w = -f. Let x be f/42 - 2/(-2). Which is smaller: x or 0?
0
Let n = -4 - -3. Let w = 5 + -6. Are n and w nonequal?
False
Let h be (-3)/(-2) + (-9)/(-6). Suppose -2*f - 13 = 3*j, 6 = h*f - 6*f. Suppose -2*u - 3*l - 18 = 0, 2*u + 3*l + 21 = -u. Is j at least as big as u?
True
Let k = 7.18 - 0.18. Let z = -43 + 50.1. Let h = z - k. Is 0 less than h?
True
Let p(w) = -2*w**2. Let m be p(1). Which is bigger: -8 or m?
m
Suppose -5*z = 72 - 2. Let b(k) = -k**2 - 13*k + 15. Let o be b(z). Which is greater: o or 20?
20
Let z(m) = -m - 4. Let j be z(-8). Suppose -k - 5*u - 22 = -j, -2*k + 24 = -5*u. Is 1/2 less than or equal to k?
True
Let p(v) = -v**2 + 3*v + 1. Suppose 29*h = 27*h + 6. Let n be p(h). Which is smaller: -3 or n?
-3
Suppose 0 = -0*z - 5*z + 35. Let h = z - 11. Is -4 >= h?
True
Suppose -7*h - 260 = 3*h. Does -27 = h?
False
Let f = -2 + 0. Let x(q) = -q**3 + q**2 - 2*q + 1. Let d(g) = -2*g**3 + g**2 - 5*g + 3. Let w(n) = -2*d(n) + 5*x(n). Let v be w(3). Is f > v?
False
Let n = -3332/13 + 256. Which is smaller: n or -1?
-1
Let y be (-3)/(-6)*6*(-2)/1. Which is smaller: y or 1/2?
y
Suppose -23 + 1 = 11*x. Which is smaller: 50 or x?
x
Let m = 1.3 + -9.3. Let c = m - -6. Which is smaller: c or 0.06?
c
Suppose -n - 1 = -0. Suppose -5*i + 3 = -12, 4*b + 4*i = 20. Let s be 0*(b/(-4))/n. Is s at most as big as 0?
True
Let y = -27.8 + 28. Let p = -1.8 + 2. Is y > p?
False
Let p = 2.8 + -3.5. Let s = -0.9 - p. Is s equal to 0?
False
Suppose -2*z + 77 = v, -z - 3*v = -5 - 41. Is z < 37?
False
Suppose h - 5 = -1. Suppose 4*n + 12 = 0, g = h*g - 4*n + 3. Let l(u) = 2*u + 4. Let k be l(g). Which is bigger: k or -2?
-2
Let j be ((-14)/(-4))/(1/10). Let z = j - 104/3. Which is greater: z or 1?
1
Let x = -10 + 28. Is x equal to 18?
True
Let t = -7 + 15. Which is smaller: 9 or t?
t
Let l(o) = o**2 - 6*o + 2. Let j be l(6). Is j equal to 3?
False
Suppose -t = -4*t + 3. Suppose 3*c - 24 = -0*c. Suppose 0 = -0*a - 4*a, 4*g - c = -3*a. Which is smaller: g or t?
t
Let k(o) = -2*o + 3. Let j be k(2). Let t = -1/4459 + 842755/17836. Let g = -47 + t. Which is greater: g or j?
g
Let o = 377/1295 - 1/185. Do 0.4 and o have the same value?
False
Let h = -43 + 173/4. Let p = -10.5 + -1.5. Let j = p + 12.7. Which is bigger: j or h?
j
Let a = -13 + 14. Let c be a/6 - (-25)/(-30). Is c equal to -1?
False
Let u be 70/(-21)*(-12)/(-5). Let g = u - -10. Let l be 2/(-4)*g*0. Which is bigger: 2/27 or l?
2/27
Let v = 0.419 - 85.319. Let m = v + 81. Let y = m - -4. Is 0.1 equal to y?
True
Suppose 0 = v - 0*v - 19. Let s(z) = z**3 + 2*z**2 - 2*z + 6. Let q be s(-3). Suppose -v = 5*u + q*b, -4*b + 15 = -9*b. Do u and -2 have the same value?
True
Let q = -51 + 47. Which is smaller: q or 0.5?
q
Let c = 8 + -34. Which is greater: c or -2/5?
-2/5
Suppose -2*k - 4 = -4*k. Let c = 2 - 0. Let r = c - k. Do r and -3/4 have different values?
True
Let h = -0.4 - 0.1. Are h and 0 equal?
False
Let y(c) = c + 6. Let u be y(-3). Let a(m) = 2*m - 4. Suppose -4*x = o - 0*x + 1, -3*x = -o + 6. Let s be a(o). Which is smaller: u or s?
s
Let o = 460/7 - 66. Is o greater than -1?
True
Let l = -4.99 + -0.01. Let t = -4.6 - l. Which is greater: 0.3 or t?
t
Let y = -2/17 + -3/119. Let u = -40 - -67. Suppose 3*i - 20 = -5*r, -3*i = -2*r - 8*i + u. Is r equal to y?
False
Let t be -3 - ((4 - 3) + -5). Let c(h) = 3*h**3 - 1. Let d be c(t). Which is smaller: d or 1?
1
Let t(v) = v**3 + 8*v**2 + 6*v - 6. Let y(d) = 6*d**3 + d. Let n be y(-1). Let q be t(n). Let h = q - -1. Is h bigger than 4/3?
True
Let j = 729 + -25518/35. Is 1 >= j?
True
Let c = 1.1 - 0.1. Suppose 0*p - 2*y + 2 = 3*p, 5*p = -5*y + 10. Is c > p?
True
Let b = -8 + 11. Suppose -h - b*i = 11, -6*i + i - 20 = 0. Which is smaller: h or -1/8?
-1/8
Suppose 0 = k - 0*k - 8. Suppose 5*a = v - 9, -4*v = 4*a - k - 4. Let g be v/6 - 1/(-3). Which is greater: g or -2/7?
g
Let c be (-2)/(-10) - (-17)/340. Let r be 8/21 - (-6)/21. Which is smaller: r or c?
c
Let d be 11/(-3)*15/10*-2. Is 11 > d?
False
Let k = -10.35 - -0.35. Which is smaller: k or -0.2?
k
Suppose 0 - 8 = 4*a. Let l be (84/49)/(a/(-7)). Is l <= 7?
True
Let k(z) = -z**2 + 2*z - 2. Let h(i) = -2*i**2 + 3*i - 5. Let r(c) = -2*h(c) + 5*k(c). Let a be r(3). Let s = 1 + 2. Are a and s non-equal?
False
Let o(s) = s**3 + s**2 + 3*s + 3. Let w be o(-2). Let c(l) = l + 10. Let u be c(w). Suppose 0 = 5*x - n - 9, -u*x = n - 2 + 3. Does 1/6 = x?
False
Let u be ((-184)/(-18))/((-2)/3). Let q = 15 + u. Suppose 5*p + 3*o + 6 = 0, -3*p = 4*o + 6 + 2. Is p greater than q?
True
Let o be -3 + (3 - 0) + 3/7. Which is smaller: o or -1?
-1
Let a = -3.4 + 2.2. Which is bigger: a or -2/3?
-2/3
Let p(x) = -2*x - 19. Let t be p(-10). Which is greater: t or -2/27?
t
Let o be 2 - 22/10 - 0. Let x(y) = 5*y - 29. Let h be x(6). Is h at least o?
True
Let w = 69 - 75. Is w at least as big as -6?
True
Let x = -0.5 + 0.6. Let r = -5.11 - -0.11. Let q = r - -4.97. Is q at least as big as x?
False
Suppose 1 = -3*m + 28. Which is smaller: m or 7?
7
Let k = 2.52 + -2.5. Which is greater: k or -0.1?
k
Suppose -k = 4*k - 15. Are k and 3 equal?
True
Suppose 9*t = 3*i + 4*t + 22, -5*i + 3*t - 10 = 0. Let s = i - 2. Let k = 1 + 0. Is s less than k?
True
Let z = 30 - 30.22. Which is greater: 1 or z?
1
Let l = -10 + 10.02. Is l at least 1/3?
False
Let n = 4933484793347/27405 - 180021339. Let j = n - -2/945. Are j and 1 unequal?
True
Let u(g) = g + 3. Let n be u(-3). Let a = 9 + -5. Let p be a/18 + (-48)/(-270). Which is smaller: n or p?
n
Suppose 2*q + 2*q = 32. Suppose 2*a - 18 = -2. Is q bigger than a?
False
Let c = -6 + 19/3. Do 0 and c have different values?
True
Let t = 110/3 + -541/15. Do 1 and t have different values?
True
Let o = -2/1465 + 2996/48345. Which is bigger: 0 or o?
o
Suppose -2*c + 12 = 10. Suppose -q - 2 - c = -2*b, -b - 5 = 0. Are -12 and q unequal?
True
Let c(v) = v**2 + 3*v - 5. Let o be c(-4). Are o and -10/7 nonequal?
True
Let u be (-35)/4 - 1/4. Suppose -5*k - 62 + 22 = 0. Which is smaller: k or u?
u
Let u = 22 + -20. Let b = -2.6 - -3. Which is bigger: u or b?
u
Let m(s) = s - 9. Suppose a - 25 = -3*b, -4*b + 5*a = 4 - 31. Let z be m(b). Are z and 1/3 nonequal?
True
Let f = -4.1 - -6.1. Is 0 >= f?
False
Suppose f - 2 = 2. Let i be (-1