ferent values?
True
Let z = -74733425497/2582944 + -33/368992. Let k = z + 29023. Let p = -90 + k. Is p bigger than 0?
False
Suppose 4 + 5 = 4*k - t, -2*t + 3 = -k. Which is greater: k or -0.3?
k
Let t(c) = 2*c**2 - 2. Let o be t(-4). Suppose 4*a - o = a. Let y be ((-14)/a - -3)*5. Is 8 less than or equal to y?
True
Let g = 5.1 - 0.1. Is -2 <= g?
True
Let l = -49/3 - -16. Let g(o) = 3*o**3 + 9*o**2. Let y be g(-3). Which is greater: y or l?
y
Let y = -1077/41975 + -1/575. Let s = -43/1095 + y. Which is greater: s or 1?
1
Let u = -0.09 - 0.06. Let f = u - 0.55. Which is smaller: f or -1?
-1
Let k = -5/8 + 7/24. Let v(m) = m**3 - 14*m**2 - 13*m - 29. Let r be v(15). Which is smaller: r or k?
k
Let l(w) = w**2 - w + 2. Let t be l(0). Suppose -2 = -4*i + t. Is i greater than or equal to -2/5?
True
Let y be (-6)/(-7) + 0 - 1. Let s be (-1 - 3 - 25/(-35)) + 3. Do y and s have different values?
True
Let k be 1*(-6)/12 - (-203)/(-2). Is -103 > k?
False
Let m be 2/(-5) - (-5)/((-100)/(-28)). Which is bigger: -1/83 or m?
m
Suppose 2 = 4*l - 2. Let t = 0.16 - -0.04. Are l and t equal?
False
Let b = -11.3 - -4. Let z = 12.2 + b. Let m = z + -0.9. Which is smaller: 0 or m?
0
Let i = -0.12 + 0.1. Let k = i - 0.08. Is -0.3 not equal to k?
True
Let d = -10996/7 + 1574. Are d and 2 equal?
False
Suppose 36 = y + 2*y. Let z = -9 + y. Suppose 3*o + 0*m + 5 = -2*m, -z*m = 5*o + 7. Is -2/13 less than o?
True
Let n = -0.4 - 2.6. Let i = -3 - n. Which is smaller: 0.1 or i?
i
Suppose 5*k + 10 = 5*s, k - 10 = -2*k - s. Suppose -x - k*t = -8, 0*t = -5*x + 2*t + 16. Suppose -2*b = b - 4*p - 4, -b - x*p = 4. Is 0.3 at most as big as b?
False
Suppose -3*n - 2*n = -60. Let d = n - 374/31. Let r be 0/(-2) + 1/1. Which is bigger: r or d?
r
Let j(t) = -t + 2. Let w be j(1). Let u be (3 - 5 - 15/(-6))/4. Which is smaller: u or w?
u
Let j = 46 + -43. Is j less than 0.07?
False
Let d = 32 + -28. Which is smaller: d or 0.2?
0.2
Let k(b) = b**2 - 7*b. Let h be -1*(1*-8 - -1). Let j be k(h). Which is smaller: -1/2 or j?
-1/2
Let q(n) = 2*n - 2*n - n**2 - 3*n - 3. Let g be q(-3). Let x = -7 - -4. Is g at most x?
True
Suppose -3*p + 4*p = -3*p. Let h be 24/20 + 2/(-1). Is p at most h?
False
Let k = 1 - -4. Let q = k + -2. Let f be ((-4)/(-3))/((-5)/q). Do -1 and f have the same value?
False
Let g be 2/6*(-354)/(-4). Let t = 29 - g. Is 0 at least as big as t?
True
Let d = 9 - 13. Let o be 10/4*(-1 - 1). Let w = o - d. Is -1/5 bigger than w?
True
Let o(i) = -i**2 + 11*i - 6. Let p be o(10). Suppose -p*r + 45 = r. Suppose -5*x + 4 = r. Which is smaller: -3 or x?
-3
Suppose -588 = 2*r + 5*f - 40, -5*f + 508 = -2*r. Let j be ((-36)/r)/(1/(-2)). Is 1 at least j?
True
Let b(f) = -3*f**2 + 6 - f**3 + 0 + 8*f - 2*f. Let l be b(-4). Let p = 1 + l. Which is smaller: -2/3 or p?
p
Let a(o) = o + 8. Let k be a(-6). Let s be 91/1*k/90. Let g = 20/9 - s. Is -1 at least as big as g?
False
Let l(r) = r**3 + 3*r**2 + 1. Let o be l(-2). Let i = 3 - o. Let z = i + 1. Which is bigger: -1/6 or z?
-1/6
Let w be 1/(-4) - 189/540. Let y(l) = -l**3 - 5*l**2 + 6*l - 1. Let f be y(-6). Let o = f - -1. Which is greater: w or o?
o
Let b be 4/(-6)*(-21)/(-14). Is b smaller than -2/19?
True
Let p = 12 - 13. Let g = 3 + -3.01. Let z = 1.99 - g. Which is bigger: p or z?
z
Let m = 337 + -1363/4. Which is smaller: m or -4?
-4
Suppose -5*d - 2*m + 6*m - 31 = 0, 0 = -4*d + m - 16. Let c be (-4)/(-14) + (1 - 88/14). Which is greater: d or c?
d
Let a = -2 + 0. Suppose z + 1 - 3 = -u, -5*u + 16 = 2*z. Suppose -u*c = 5*b - 15, 2*b - 4*c + c + 17 = 0. Does b = a?
False
Let x = 1.1 - 0.1. Let u = -0.5 - -0.3. Let n = 0.3 + u. Which is smaller: x or n?
n
Let b be (-3)/4*48/(-1 + -2). Which is smaller: b or 13?
b
Suppose 11 = 5*k - 4, 3*k = 2*x - 325. Is 167 < x?
False
Let y(a) = -2*a**2 + 6*a. Let s be y(4). Let n = s - -7. Is n bigger than -1?
False
Let j(o) = 515*o. Let w be j(-1). Let i = -3627/7 - w. Let f = -20/7 - i. Which is smaller: 0.1 or f?
0.1
Suppose -123 = 3*b + 3*y, 0 = -b - 0*b + 5*y - 59. Let w be (-2)/11 + (-8)/b. Suppose 2*q - 1 - 1 = w. Is q at most as big as 3?
True
Let i = -12 + 26. Let r(z) = -z + 12. Let s be r(i). Is s > 1/4?
False
Suppose -4*b - v = -6*v + 13, -v + 1 = 0. Suppose -1 + 5 = -4*g. Let z = g - b. Which is bigger: 3 or z?
3
Let p be (-3)/2*1000/(-6). Let v = -2252/9 + p. Which is greater: v or 0?
0
Suppose -4*x - 5*n - 3 + 24 = 0, 0 = x + 5*n - 24. Let z = -63/4 + 16. Does z = x?
False
Let o be 14/6 + (-3)/9. Suppose -o*t = 2*t. Let m(h) = h - 4. Let n be m(4). Are n and t unequal?
False
Let t = -5.08 + 5. Let b = 2.08 + t. Suppose m + 2*m - 3*y = 21, 0 = 5*m - 3*y - 25. Is b < m?
False
Suppose -2*k - 4*h + 8*h = 134, k + 79 = 5*h. Do -59 and k have the same value?
True
Let w = 1 - -9. Suppose -4*s = -u - w, -s + 5*u - 5 = u. Suppose -4*j + 5 = -7. Is j greater than s?
False
Suppose 3*p = f - 0*p, -26 = -3*f - 4*p. Let a = f - 1. Suppose -m = -a*m. Is m > -2/5?
True
Let d be (0 + -1 - -2)/(-1). Let t be (1 - 1/d) + 1. Let b be (2/12)/(10/(-40)). Which is bigger: t or b?
t
Let u(l) = -l + 2. Let o be u(-19). Is o not equal to 20?
True
Let w(i) = -i**2 - 8*i - 6. Let p be w(-6). Suppose 4*l + p = 7*l. Is 2 != l?
False
Let l(k) = k - 13*k - 4 + 5*k + 5 + k**2. Let m be l(7). Which is bigger: 2/7 or m?
m
Let u(j) = -j. Let c be u(-1). Let h = c - 3. Let q be h + ((-15)/4)/(-3). Which is bigger: q or -2?
q
Let t be (-8)/(-4) + (-204)/22. Let s = -1062/143 - t. Which is greater: s or -1?
s
Let x = -104.9 - -105. Is x bigger than 1.2?
False
Let w(u) = u**2 + 3*u + 1. Suppose -10 = 4*g - 2. Let p be w(g). Is p smaller than -2/23?
True
Suppose 6*s = 2*s. Suppose 0 = -4*i - s*i + 816. Let g = i - 811/4. Are 0 and g non-equal?
True
Let a = 83864740/39 - 2149554. Let x = -824 + a. Which is bigger: x or 0?
0
Let x be 4/22 - 36/(-44). Let o = -0.6 - 4.4. Which is greater: o or x?
x
Suppose -2*j = -3*j + 7. Let w = j - 6. Which is smaller: w or 0?
0
Let x = 0.12 + -4.12. Let s = x - -3.86. Are s and -1 equal?
False
Let k be 2/8*(-4)/6. Let z = k - 1/3. Is z > -1?
True
Let a = 6 - 8. Suppose 5*t = 4*m, 3*t = 2*t - 2*m. Suppose 3*n + 2*n + 20 = t. Which is smaller: a or n?
n
Let b = 46 - 17. Is 0.1 less than b?
True
Let c be -1*4 - 9/(-3). Which is bigger: -4/9 or c?
-4/9
Suppose 0 = 4*b - 2*b - 3*q + 75, 4*b + 95 = -5*q. Let o be (2/(-4))/(3/b). Suppose 0 = o*l - 0 - 5. Is 1 smaller than l?
False
Let c be (0/(-1))/((-2)/(-2)). Suppose -2*m + 0 = -2*f + 14, -2*f = -3*m - 18. Suppose -f*w = 1 + 2. Is c less than w?
False
Let p be 6/(-10) + 14/(-10). Let x(m) = m**2 + m - 18. Let r be x(0). Let l be ((-80)/r)/p - -2. Which is greater: 0 or l?
0
Suppose 0 = 2*g + 6 - 4. Are -2/45 and g equal?
False
Suppose 4*q - 4*d = 3*q + 21, -4*q = d + 1. Let h be -10*q/2 - 3. Let b be (h/(-30))/((-8)/(-20)). Does b = 1?
False
Let c(d) = -d - 10. Let m be c(-9). Suppose -23 = -h - 5*t, h - t - 1 = -2. Suppose -4*j = 5*q - h + 9, -j - 1 = q. Which is smaller: m or q?
q
Let n = -18 + 29. Let d = n + -12. Is d bigger than -1/3?
False
Let u = 0.3 + -1.3. Let w = -1 - u. Suppose -4*p = -0*p - 4*z + 12, 0 = -5*z + 20. Which is smaller: w or p?
w
Suppose 3 = 3*t + n, 0 = -5*t + 2*n - 4*n + 5. Which is greater: t or 2/27?
t
Let m be (5838/828)/7 - 1. Is 2/5 < m?
False
Let i be (3/2)/(6/(-4)). Is 2/11 less than i?
False
Let y(n) = n**3. Let i be y(2). Let a be 34/i - 2/8. Suppose a*d - 2 = 3*d. Which is smaller: -0.1 or d?
-0.1
Let a = -15 - -17. Let s = 9 + a. Which is smaller: -1 or s?
-1
Suppose 2*o + 0 + 8 = t, -3*o = 0. Suppose 2*x + 18 + 2 = 5*n, t = 5*x + 2*n. Is 0 != x?
False
Let u = 8 + -5. Suppose -u*x + 0 = 12. Let y = -403 - -402. Which is smaller: x or y?
x
Let j = 31 - 31.62. Let h = j + 3.52. Let k = h + 1.1. Is k at most as big as 1?
False
Suppose 12*l = 5*l - 21. Is l > -2?
False
Let r = -48 - -53. Which is bigger: r or 27/7?
r
Let n = 59687/21 - 2843. Let k = n - -3/7. Which is smaller: -0.5 or k?
-0.5
Let u = -23 - -40. Is 0 greater than u?
False
Let x = 141 + -12265/87. Is -1 != x?
True
Suppose -5*o = -4*d - 22, d = -0*o - 2*o + 1. Let m be 6/(-8)*2/d. Suppose 5*j - 3 - 7 = 0. Is m > j?
False
Let p(t) = -t**2 - 9*t - 8. Let w be p(-6). Suppose x = 3*x - w. Which is greater: x or 6?
6
Let v be 3 - -8*(2 - 3). Le