f
Let x = -24 - -20. Is x > 0?
False
Let s = 15 - 16. Let v(t) = t - 7. Let u be v(5). Are u and s equal?
False
Let a = 0.061 + 0.639. Let r = 0.3 - 0.2. Is r at most a?
True
Suppose -3*m + 2*n + 19 = -18, -m - 4*n = 11. Which is smaller: m or -2/7?
-2/7
Let g be -2 + -1 - (-40)/8. Let b be 1/(-2)*(1 - 3). Which is smaller: b or g?
b
Let u(p) = p**2 + p - 12. Let a be u(-5). Is a <= 9?
True
Suppose 254 = -a + 253. Does 7/30 = a?
False
Let d be (-5)/(-7) + (-6 - -6). Suppose 4*t = -f + 21, -5*f - 6*t + 2*t = -25. Which is smaller: f or d?
d
Let w be 8/(-20)*-3 + (-3 - -2). Which is smaller: -0.07 or w?
-0.07
Suppose 0 = -5*l - 5*u - 30, -u = -3*u. Is -6 less than or equal to l?
True
Let h = 13 + -17. Let p(r) = r - 5. Let u be p(2). Is h at most u?
True
Let k(i) = -2*i**2 - 5*i + i**2 + 1 - i + 0*i**2. Let t be k(-6). Let w be 1/(-1) - (2 - 3). Is t at most w?
False
Let d = -319/155 - 18394261/930. Let p = d + 2413347/122. Let m = 2/61 - p. Is m at most as big as 0?
True
Let v(z) = 2*z + 1. Suppose -4*i + 3*d - 14 = 5, -4*i = -2*d + 14. Let m be v(i). Let k(y) = -y**3 + 13*y**2 - 12*y. Let g be k(12). Which is greater: m or g?
g
Let r be 8/192*(-6)/4. Is -1 bigger than r?
False
Let j = -44 + -10. Which is greater: j or -53?
-53
Suppose -c + i + 3*i - 42 = 0, -2*i + 6 = 0. Is -30 != c?
False
Suppose -4*r - r = -5. Which is smaller: r or 0.1?
0.1
Suppose -2*h + 10 = -4*f, 4*f = -f + 3*h - 14. Suppose 7*n - 2*n = 0. Suppose -4*g - 3*z + 4 = n, -5*g - z - 6 = -0*z. Is g bigger than f?
False
Let y be -1 + (-1 - -1) - -3. Let k be -1*y/(-3 - -1). Is k at most 1?
True
Let x = -0.043 + -0.057. Let f = -0.46 + 0.06. Which is smaller: f or x?
f
Suppose -3*n = -4 + 1, 3*r = -2*n + 8. Let m be r/3 - (1 + 1). Is 0 smaller than m?
False
Let v(a) = -2*a**2 - 1. Let d be v(-1). Let l = d + -57. Let p = l + 178/3. Which is smaller: p or -1?
-1
Let u = 2 + -2. Let z = -4 + u. Let f = z + 4. Do 0 and f have different values?
False
Let z = -55 - -77. Let i = 26 - z. Let y = 2 - -3. Which is bigger: i or y?
y
Let j be (-2)/(-4*2/3). Suppose -3*o = -o. Suppose 5*f - f = o. Is f <= j?
True
Let p = 11 + -7. Let k = p + -3.9. Is k >= 0.1?
True
Let i be (-2)/2 + 2/3. Let y be (-1)/(-2) + (-3)/2. Is y equal to i?
False
Let x = 24 - 11. Suppose -1 = 2*y + 2*m - x, 3*m = 5*y - 22. Suppose -2*o + 4*o = y*f - 19, -20 = -4*f + 4*o. Which is bigger: f or 4?
4
Suppose 5*d + 5*j + 50 = 0, 3 = -d + 4*j - 2. Let i = d - -6. Let b be (-2)/3*i/(-2). Do b and -1/4 have the same value?
False
Let s(a) = 7*a**3 - 6*a**2 + 4*a - 2. Let f(i) = 8*i**3 - 7*i**2 + 5*i - 2. Let o(j) = 6*f(j) - 7*s(j). Let p be o(-2). Which is greater: 5 or p?
p
Suppose 4*v = 5*m + 57, 4*m = 3*v - m - 39. Suppose 0*r = 2*n + 4*r - v, 2*n = r - 2. Which is bigger: n or -1/6?
n
Suppose -2*j - 3*x + 2 = -j, -48 = -4*j - 2*x. Is 13 smaller than j?
True
Let v = 85/2 - 245/6. Which is smaller: v or 1?
1
Let q be (-2)/(-15) - 116/(-30). Which is bigger: 2 or q?
q
Suppose -6 - 6 = -3*k. Suppose 4*b = -12, -4*v - v + k*b + 22 = 0. Suppose 7*q + 0 - 7 = 0. Which is smaller: q or v?
q
Suppose -5*r = -4*c + 215, 4*r + 0*c - 3*c + 173 = 0. Does r = -48?
False
Let x be (1/(-2))/(4/(-16)). Let m = x + -2. Suppose m = i + 2*i - 3. Is i at least as big as 0?
True
Let o(m) = m**3 + 6*m**2 - 4*m - 1. Let c be o(-7). Let v = -2532 + 7667/3. Let u = c + v. Which is smaller: 2 or u?
u
Let h = -6 - -10. Let w(r) = r**3 - 3*r**2 - 4*r + 5. Let y be w(h). Which is bigger: y or 15/4?
y
Let r = -12 - -17. Let s be (r - 2)*(-6)/9. Let h be -2 + (-3)/(5 + s). Which is smaller: h or -4?
-4
Suppose 7 = 2*w - 1. Let p be (10/w)/(2/4). Suppose -p*h + 5 = 5*q, 3*q - 4*h = -2*h - 7. Does q = 0.2?
False
Let x be 475/11 - (-18)/(-99). Let c = x - 124/3. Which is bigger: 0.1 or c?
c
Suppose 59 = 2*d + 7. Is d greater than 1?
True
Let r be ((-19)/5 - -4) + 0. Let p = 2 - 2. Is r not equal to p?
True
Let x = -51 - -55. Which is smaller: x or 1?
1
Let z = 1418 + -80809/57. Let p = z + -12/19. Are -4/7 and p equal?
False
Let q(n) = 2 - 2*n + 3*n + 3*n**3 - n**2 - 4*n. Let z be q(2). Are 17 and z unequal?
True
Let r be 0/(-7) - (-1906)/(-18). Let z = 106 + r. Which is smaller: 0 or z?
0
Suppose -k = 5*y - 59 + 20, 0 = 2*y - 5*k + 6. Let w(h) = h + 2. Let l be w(-4). Let z = l - -8. Which is bigger: y or z?
y
Suppose 5*y = 8348 + 8397. Let o be y/7 + 2/(-6). Let n = 478 - o. Which is smaller: n or 1?
n
Suppose 3*g - u = 3*u + 5, 4*u = 4*g - 4. Is g at most 4?
True
Let i be (-9)/21 + 52/7. Let g = 9 - 13. Let a = i + g. Is a > 2?
True
Let t be 1*-1 + (-9)/(-6). Let n = 1.7 - 1.5. Is t equal to n?
False
Suppose 0 = j + 3*v - 7, 9 = 5*j - 2*v + 25. Which is bigger: -1 or j?
-1
Let r = 99 + -92. Are r and 6 unequal?
True
Let l be 1*6 - (2 - 1). Suppose -19 = 3*u - l*q, -5*u + 0*u - 43 = 3*q. Which is bigger: u or -9?
u
Let a = -3696/37 + 100. Let k = a - 127/148. Let o(j) = j**2 - 3*j. Let s be o(2). Is k equal to s?
False
Suppose 3*l + 3*l = 0. Is l less than or equal to -1/13?
False
Let l = -18 + 9. Let k = l + 13. Suppose -f + 2*x = k, 19 + 9 = 4*f + 3*x. Which is bigger: 3 or f?
f
Let p be -1 + 2 + (1 - 2). Suppose 0 = 4*t + 8, k + 2*k + 3*t - 6 = p. Let z(d) = d. Let l be z(1). Which is greater: k or l?
k
Suppose -z - 1 = -12. Which is greater: z or 12?
12
Let m(h) = -3*h + 31. Let s be m(11). Is s equal to -3?
False
Let p = 2 - 3. Let g = 112 - 340/3. Which is bigger: g or p?
p
Suppose 3*q + 1 = 2*q. Is 1/20 >= q?
True
Let x(j) = -j**3 - 7*j**2 + 3*j - 5. Let s be x(-7). Is s at least as big as -25?
False
Let h be ((-15)/(-4))/(2/(-8)). Let q = -27 - h. Which is smaller: q or -11?
q
Let r(g) = -3*g. Let y be r(-1). Suppose y*v - 3*q + 3 = q, -3 = 3*v - 2*q. Is v <= -1/12?
True
Let b = -28 - -34. Suppose -5*v = 5 - 25. Which is smaller: b or v?
v
Suppose 8*c - 7*c = -1. Suppose 0 = 3*w - 5*w - 10. Is w greater than or equal to c?
False
Let q = -9 - -5. Suppose 3 - 18 = 5*z. Is q < z?
True
Let r be (0 - 2)/(-2)*0. Is 1 greater than r?
True
Let z(v) = -7*v - 71. Let l be z(-11). Let f(t) = -t**3 + 4*t**2 + 7*t - 2. Let q be f(5). Which is bigger: l or q?
q
Let m(y) = y**2 - 4*y - 5. Let n = -1 + 6. Let s be m(n). Suppose -3*b - 1 + 4 = s. Is -1 != b?
True
Let g = -23 + 10. Which is smaller: -37/3 or g?
g
Let g = 3 - -1. Suppose -g*n = 3*h + 2*h + 37, -h - 20 = 5*n. Does 1 = n?
False
Let j = -0.091 - -1.091. Let p = -11.8 + 1.8. Is j equal to p?
False
Let z(w) = 2*w + 4. Let o(c) = 4*c + 9. Let p(n) = 6*o(n) - 13*z(n). Let a be p(-2). Let j(b) = -b**2 + 6*b + 4. Let q be j(a). Which is greater: 5 or q?
5
Suppose -5*b - 9 = 4*i, -4*b + 2*i = 4*i + 6. Let p = b + 0. Let g(z) = z**2 - 3*z + 1. Let x be g(2). Is x < p?
False
Let h = -0.1 + 0.02. Let t = h + -0.02. Are t and 0 unequal?
True
Let w be 5/10 - (-27)/6. Suppose -5*r = -4*a + w*a + 10, 2*a = 4*r + 22. Is a greater than or equal to 4?
True
Suppose 6 = 3*v + 3, 2*p - 12 = 4*v. Let w be 1/1 - 10/p. Which is smaller: 0.1 or w?
w
Let v = 6.038 - 6. Is v != -0.1?
True
Let q be ((-1664)/(-36))/(-8) + 4. Which is bigger: q or -0.1?
-0.1
Let u(g) = -g**2 + g + 1. Let y be u(-1). Does y = -2/279?
False
Let q(a) = a**3 - 3*a**2 + a + 1. Let u be q(2). Which is smaller: u or 1/3?
u
Suppose 6 = -n - k, -n = -2*n + 3*k + 2. Let z = n - -9/2. Which is smaller: -1 or z?
-1
Let u = 8.1 + -8. Which is smaller: u or 9?
u
Let f be (2/6)/(12/90). Which is smaller: f or 4?
f
Let k = 8.4 + -9. Let z be (-2)/(-42) + (-1)/3. Which is greater: z or k?
z
Let b = 5/3 + -2. Let p = 0.1 + -0.2. Which is bigger: b or p?
p
Let h = 2 - 3. Let t be (-2)/(-27)*(-822)/44. Let b = -14/11 - t. Which is smaller: h or b?
h
Let c = -0.88 + -0.12. Which is smaller: c or -9?
-9
Let b = 31 - 62. Do b and -32 have different values?
True
Let d = -5.1 + 5.2. Which is bigger: -17 or d?
d
Let d be (-4)/14 + 6/21. Let j be 1 - (-21)/(-9) - -2. Which is bigger: d or j?
j
Suppose 4*r - 26 = -5*w, -4*r - w = -5 - 13. Let h be 14/(-40) - r/10. Are h and 0 equal?
False
Let q = -123772/61 - -2029. Let b = q - 177/122. Which is smaller: 2 or b?
b
Let h = 356/117 - 54/13. Which is smaller: -1 or h?
h
Let v = 0.3 + -0.5. Let g = 1 + -0.9. Let l = g + v. Which is smaller: -4 or l?
-4
Let r be 18/5 + (-2)/(-5). Let m(a) = 3*a - 10. Let x be m(r). Is 1 <=