
Let q = -2.1 + 1.9. Is q > 1?
False
Let z be (-7)/(21/(-6)) + 1. Suppose -5*y = 2*w - z, w - 4*y = 5*w. Which is smaller: w or -3/8?
w
Let b = -1 + 2. Let s = -6.3 + 7. Let z = 0.8 - s. Which is greater: z or b?
b
Let t = 0.082 - -0.918. Is 80 less than or equal to t?
False
Let b = 4.09 + -0.09. Let p = -103/342 + 3/38. Do p and b have the same value?
False
Let m = 2759/15 - 184. Let b = m + 2/5. Let v = -0.1 - -0.2. Which is greater: b or v?
b
Let q(v) = -v**3 - 4*v**2 + v + 7. Let c be q(-4). Suppose 2*k + 8 = n - 0, -2*k + 4 = 5*n. Which is smaller: c or n?
n
Let r = -7 - -11. Suppose 0 = r*o + 28 - 8. Is -8 equal to o?
False
Suppose -6 = 2*f - 0*f - 2*l, f + 7 = 3*l. Let m = 1 + f. Is m at most as big as -1/17?
False
Suppose 3*a - 34 = 29. Let n = -35 + a. Which is greater: n or -1?
-1
Let c be (32*1)/(14/7). Is 17 not equal to c?
True
Let m be (-8)/36 + (-20)/(-9). Suppose 2*p + 9 = -5*x, -5*x = m*p - p + 12. Which is smaller: 2 or p?
2
Let x = -20.5 + 21.41. Let o = 1.01 - 1.1. Let s = o - x. Which is smaller: s or 1/2?
s
Let i = -23 - -23. Which is bigger: -10/13 or i?
i
Let n be 2668/(-5850) + (-10)/(-45). Let k = 2/25 + n. Let u be -2*1*2/4. Is k > u?
True
Let k = -28 + 44. Let s be k/6 + (-4)/6. Let w be (0*1/s)/2. Is 1/3 at most w?
False
Let z be 0*3/(2 - 5). Which is greater: -3/44 or z?
z
Let u be (1 - -1) + (-72)/30. Let y = 0.6 + -3.6. Which is smaller: y or u?
y
Let x = 2/5 - -7/20. Let u = 18 + -6. Let t be (-1)/3 - u/(-9). Which is smaller: x or t?
x
Let o be (2/2)/((-3)/(-18)). Let w = o - 6. Which is bigger: w or -3?
w
Let u = 1.1 + -1.19. Is u greater than or equal to 0.1?
False
Let a(m) = -9*m - 12. Let w be a(5). Let p be w/(-84) + (-1)/4. Which is smaller: -2/15 or p?
-2/15
Let h(w) = -w**3 + 2*w + 1. Let d be h(0). Is 2/63 bigger than d?
False
Let y = 33 - 16. Let b = 17 - y. Let d be -1 + 1 - 4/(-6). Which is bigger: d or b?
d
Let b = -1.1 + 1.9. Let s = 4.2 + b. Which is bigger: -1 or s?
s
Let p = 457/22 - 83/4. Let i = p + -139/308. Which is bigger: -1 or i?
i
Let g = 11 + -11.1. Let t = 0 - g. Which is greater: -0.03 or t?
t
Suppose -5*g = -2*g. Let j = -1 + g. Let s be 0 + ((-16)/(-14))/(-2). Are j and s equal?
False
Let g = 40 + -34. Is g less than 6?
False
Let z = 0.1 - 0.2. Let c = 0.1 - 4.1. Which is smaller: c or z?
c
Let t be ((-2)/(-3))/((-2)/(-3)). Let g be t/1 - 6/8. Suppose -4 = -i - 5. Which is smaller: i or g?
i
Let x = -1/9 - 1/9. Suppose -3*n = -0*n. Is x at most n?
True
Suppose -z + 0*z + 6 = 0. Let u be ((-16)/z)/(-2)*-3. Is -4 less than u?
False
Suppose 3*f = -3*k + 6, 1 = 2*k + 3*f - 2*f. Let b be 2/(-7) + (-1471)/(-28). Let l = b + -2725/52. Do k and l have different values?
True
Suppose 0 = 4*g - 11 - 9. Let c = g + -4. Let d be 200/455 - 2/7. Which is greater: c or d?
c
Let r = 8 + 18. Suppose -2*o = -4*n + r, -35 = o + 2*o - 5*n. Do -6 and o have the same value?
False
Suppose -8 = 2*n + 20. Is n less than -16?
False
Let x be -2 - ((1 - 9) + 3). Suppose -r - x*r + 2*l + 22 = 0, 19 = -2*r - 5*l. Is r <= 3/2?
False
Let l = 53.04 + -53. Does 0 = l?
False
Let b = 13 + -12.8. Is 1 equal to b?
False
Let m be ((-4)/(-12))/((-3)/117). Is m > 4?
False
Suppose -7*d - 45 = -17. Let c be (-2)/((2/4)/1). Is d not equal to c?
False
Suppose 3*w + 19 - 109 = 0. Let m be ((-8)/w)/(4/(-10)). Is 0 < m?
True
Let w(c) = -c**2 + 6*c + 9. Let x be w(7). Suppose x*m - 6 = 2. Which is bigger: m or 3?
m
Let q be (-2)/4*(-2 - 5/(-5)). Which is bigger: q or 1/49?
q
Let u = 22 - 13. Which is greater: u or 10?
10
Let h be 14/(-315)*30/24. Let t be 2/(-6) - (-2)/6. Which is bigger: h or t?
t
Let y = 50 + -10. Which is smaller: y or 39?
39
Let r be (-3)/12 - 18/(-40). Suppose 7*b - 20 = 2*b + 5*o, 4*b - 19 = 5*o. Are b and r equal?
False
Let i = 21 + -20.93. Is -3 not equal to i?
True
Let m be ((-2)/(-15))/((-3)/460). Let q be 1252/(-63) + 2 + -2. Let d = m - q. Is d not equal to -2?
True
Let y be (9/(-12))/3 + 5/4. Is y > -10?
True
Let t be 19/9 - (-6 + 8). Let n(w) = -w + 5. Let x be n(9). Let s = -4 - x. Which is greater: t or s?
t
Suppose 5*t + 0 = -5. Let w(f) = -3*f + 14. Let n be w(7). Let y be (3/n)/((-4)/(-14)). Do t and y have the same value?
False
Let l = 16 + -10. Let s = 6.1 - l. Is -0.7 at most s?
True
Let l = -247/6 + 41. Let k = 56 - 56. Which is bigger: k or l?
k
Let y(l) = 2*l**3 + 13*l**2 + 6*l + 1. Let r be y(-6). Are r and 3/64 nonequal?
True
Suppose -6 = z - 3*z. Let o be (-19)/7 - 2/7. Let i = z + o. Is 0 not equal to i?
False
Let m(c) = -7*c + 0 + 16*c - 1 - c**2 - 3. Let v be m(8). Let k = 2 - 3. Which is greater: k or v?
v
Suppose 78 - 79 = -k. Which is bigger: k or -9/34?
k
Let s(f) = -f + 3. Let b be s(4). Which is smaller: 2/7 or b?
b
Let f be (4/(-30))/(14/21). Is 0.14 >= f?
True
Let k = 7 + -19/3. Suppose 0 = -4*c - i - 1 + 8, -3*c - i + 6 = 0. Is k <= c?
True
Let b = 72 + -136. Do -65 and b have the same value?
False
Let p(b) = b - 4. Let k be p(3). Let r = k + 3. Suppose r*a + 4*m - 3*m + 3 = 0, 0 = -5*m + 15. Does -2 = a?
False
Let v(r) = r**2 - 3*r - 2. Let u be v(0). Does 2.6 = u?
False
Let p be 32/10*7/14. Which is smaller: p or 1?
1
Suppose -5*o = -5*g + 360, -2*o - 4*g - 73 - 89 = 0. Let k = 679/9 + o. Is k less than 0?
False
Let x(y) = 4*y**3 - 3*y**2. Let f be x(2). Let q = -22 + f. Is q equal to -2?
True
Let x(a) = -a**2 - 6*a + 3. Let z(q) = -2*q**2 - 13*q + 6. Let i(h) = -13*x(h) + 6*z(h). Let n be i(0). Which is greater: n or -2?
-2
Suppose -v + m = -4*v + 20, 0 = 5*v - m - 36. Suppose -v*g + 2*g = 0. Which is greater: g or -1?
g
Suppose 0 = 4*c - 4, -p = -2*p + 4*c + 8. Suppose 5*y - 32 + p = 0. Let t(n) = 2*n**2 + n - 2. Let b be t(-2). Is y smaller than b?
False
Let m(i) = i**3 + 7*i**2 + 6*i + 1. Let q be m(-6). Is q smaller than -3?
False
Let g = 8 - 6. Let p(c) = c - c**3 - 14*c**g + 6*c**2 + 6*c + c - 11. Let k be p(-9). Do k and -2 have the same value?
True
Let p = -16.3 - -3.3. Let k = 11 + p. Which is bigger: k or 3/4?
3/4
Let d = 35/39 - 3/13. Let s be 9/6*(0 + -2). Let y = s - -5. Which is bigger: d or y?
y
Let f(t) = t**3 + 4*t**2 - 2*t - 6. Let i be f(-4). Let u be -9*(-2)/3 - i. Let a = 4 - u. Which is greater: a or 1?
1
Let x be 2/(-6)*4*2/(-20). Which is bigger: x or 1?
1
Suppose -2*l - 5 = a + 3, -a + 2 = -3*l. Let u = 1 + l. Which is smaller: 2/9 or u?
u
Let p = 120 - 127. Is p > -7?
False
Let u = 2 - 0. Suppose 0 = -5*g - 15, -u*g = 4*b + 5 + 45. Let d = 11 + b. Is d less than or equal to 0?
True
Suppose -n - 3*q = -5, -4*n + 6*q = 5*q - 7. Let p be -10*(n + -1)*-1. Is p greater than 9?
True
Let l = 7 + -8. Which is greater: l or 8/7?
8/7
Let c be (290/(-84))/((-5)/(-10)). Let l = c - -7. Suppose 0 = -3*g - 0*g. Which is bigger: l or g?
l
Let x = 1 + -13. Let r be ((-3)/12)/(15/x). Which is greater: 2 or r?
2
Suppose -4*a + 0*a + 12 = 0. Let t = -6 + a. Which is greater: t or -2?
-2
Let i be 1 - (-2 + 2 + 1). Let j be (-6)/(-4)*(-7 + 74/10). Do i and j have the same value?
False
Let q(z) = z**3 + 4*z**2 + z. Let a be q(-2). Let r be (-6)/(-10)*15/a. Which is smaller: 2 or r?
r
Let s(u) = u. Let r be s(1). Suppose 0*w - r = -w. Let g be (9/6)/(33/(-4)). Which is bigger: w or g?
w
Let h = -1 + 2. Let v = -1 - 0. Let q be 0 + v/(-1) + 1. Is q < h?
False
Let d(x) = -x**2 + 5*x - 7. Let r be d(3). Which is greater: r or -2/71?
-2/71
Let v be (128/(-126))/(6/(-18)) - 3. Which is greater: 0.1 or v?
0.1
Let t(p) = -p**2 - p + 7. Let j be t(-4). Is -9 not equal to j?
True
Let r = 10 - 4. Let z be (-24)/(-110) + r/(-15). Which is greater: 0 or z?
0
Let s be 2/(-9)*(-33)/176. Is 1 at most as big as s?
False
Let z(d) = -d - 1. Let b be 1 - (6 + -2 - 0). Let h be z(b). Suppose -h*t + 2 = -4. Is t smaller than 4?
True
Let x = -2 + 5. Suppose 0*y = x*y. Which is smaller: y or -2/3?
-2/3
Suppose 44 = b + j, 0*b + 4*j - 134 = -3*b. Is b not equal to 41?
True
Let p = -0.1 - 0.9. Let u = -6 - -6. Let l = p - u. Is -3/10 not equal to l?
True
Suppose 0 = 2*v + 2*v + 4. Let y be (2/4)/(v/14). Is y < -6?
True
Suppose 0*w = 2*h + 4*w + 1304, -2628 = 4*h + 4*w. Let l = h + 5289/8. Is -1 at least l?
False
Let q = -130 + 908/7. Let i = 0.37 + -13.37. Which is smaller: q or i?
i
Let p(o) = o**2 - 6*o - 6. Let y be p(7). Let u be (3/(-9))/(y/(-6)). Which is greater: u or 5/6?
u
Suppo