e s(-2). Do t and 2/33 have the same value?
False
Let r = -299/56 + 45/8. Is 6 equal to r?
False
Let q be (-2 - 69/(-6))/(7/(-14)). Is q smaller than -19?
False
Let w = 2 - 24. Is -0.1 != w?
True
Suppose n = 5*d - 24, 2*d - 9 = -1. Let r be (-7)/n + 2/8. Which is smaller: r or 1?
1
Let r = 13 + -26. Let j = -0.09 - -0.19. Is j greater than or equal to r?
True
Suppose -4*l = -4, 3*a + 3*l = a + 11. Let p be ((-7)/(-2))/(2/a). Suppose p*q + 2 = 4*q + 5*f, 0 = 4*q + 5*f - 9. Do 2 and q have different values?
True
Let h(n) = 3*n - 8. Let f be h(6). Let x = -9 + f. Let m be -14*x/(-8) + -2. Is m smaller than 1?
True
Let s = -4 + 6. Suppose c = -0*c + s. Let t be ((-5)/30)/(c/(-4)). Which is smaller: 1 or t?
t
Suppose 0*d - d = 1. Let i = 169/231 - 10/33. Do i and d have the same value?
False
Let d be ((-2)/6)/(1/(-33)). Suppose 2*q = -3*q + 5*j + 20, -5*q + 2*j = -d. Suppose -5*n - 8 = 3*k, -1 = -k - 3*k + 5*n. Is k at least as big as q?
False
Suppose 0 = -5*d - 2*n + 25 + 41, 0 = 3*d + 2*n - 42. Let l be -4*(-3)/d - -3. Which is smaller: 2 or l?
2
Let r = -17 + 20. Suppose 12 = r*j + 2*m + m, 0 = 2*m - 4. Which is smaller: 4 or j?
j
Let h be (2/(-4))/(1/(-14)). Let x = -5 + h. Let n be 2 - (-3 + x)*2. Are n and 4 unequal?
False
Let b be (-27)/21 + 12/42. Let i = 1 - 0. Which is bigger: i or b?
i
Let t be -2*((-45)/6 + 2). Let u = -8 + t. Let v = u - 2. Which is smaller: v or 0?
0
Let n = 0 + -2. Which is smaller: n or -2/3?
n
Let q = -43 + 39.9. Let y = q - -3. Which is bigger: y or -3?
y
Let c(k) = -6*k - 25. Let m be c(-5). Are m and 5 equal?
True
Let v be ((-2)/(-25))/(2/(-10)). Suppose 5*r - 18 = -0*r + 2*g, -3*g = -4*r + 20. Suppose -1 + r = l. Is v > l?
False
Let y = -2.2 + 2.15. Let u = -0.35 + 0.1. Let q = y - u. Is 0 greater than or equal to q?
False
Let m(k) = 1 + k**2 + 2*k + 3*k - 5. Let l be m(-7). Suppose -q = -2*s - 4*q - l, 0 = -5*q - 20. Is s < 1/4?
False
Suppose 0 = -2*z + 3 + 7. Suppose -3*x + 33 - 13 = z*a, 4*a + 6 = 2*x. Is a != 2?
True
Suppose -5*r + 4*f = 75, r - 2*f = 3*r + 12. Is -11 less than r?
False
Let s(g) = g**3 - 2*g**2 - 3*g. Let c be s(3). Let n be (1 - c) + (-1 - -2). Let a be (-14)/(-12) - 3/n. Which is smaller: a or 0.3?
a
Let o = 0.04 - -0.96. Let c = o + 1. Which is smaller: c or -1?
-1
Let z = 139/2121 + 3/101. Let x = 1 + -1. Which is smaller: x or z?
x
Let o be 152/(-68) + (-3)/(-6)*4. Which is bigger: o or 1?
1
Let f(v) = v - 15. Let g be f(7). Suppose -2*r + 7 = n + 2*r, 5*n + 3*r = -33. Is n smaller than g?
True
Let u be (-138)/(-189) + 8/(-28). Is -1 > u?
False
Let j = -0.4 - -0.3. Which is greater: j or 19?
19
Let r = -6.3 - 1.7. Is r greater than 0.7?
False
Let k = 10 + -13. Let l be k*((-22)/(-12) - 2). Is l smaller than 0?
False
Let p = 1835 + -155973/85. Which is smaller: p or 0?
0
Suppose -1 + 2 = -r. Let j(u) = -u**3 - u**2. Let x be j(r). Which is bigger: 3/7 or x?
3/7
Suppose i + i = -8. Let v be i/(-6)*6/(-22). Is v at most -1?
False
Let d(t) = -t**3 + 8*t**2 - 6*t - 4. Let p be d(7). Let s(h) = -h**3 + h**2 + h + 1. Let v be s(p). Which is greater: v or -13?
-13
Suppose 3*w = -2*h - 5, 0 = 2*h - 3*w + 3 - 4. Is 0 at most as big as h?
False
Suppose -4*a + a = 243. Let j be ((-27)/36)/(a/8). Is -1 not equal to j?
True
Suppose 6 = -4*y + 2. Suppose 5*q + 2 = -3. Let j be ((-1)/(-3))/(0 + q). Do y and j have different values?
True
Suppose -3*q = 2*g - 73 - 27, 32 = q + g. Is 36 bigger than q?
False
Suppose -40 - 2 = -7*u. Are u and 5 equal?
False
Let c be 6/4*2/3. Let f be -2 + c + (-12)/3. Let j(g) = g + 1. Let p be j(-4). Is f less than p?
True
Let w(x) = -x**3 - 3*x**2 - 4*x - 5. Let j be w(-2). Let v = -0.2 + 0.7. Let y = v - 0.4. Are j and y non-equal?
True
Let f = -5 + 4. Is 1/18 bigger than f?
True
Suppose -14 - 2 = -4*i. Suppose 3*l = -2*x - 5, x = 2*l + 5 - i. Let q = 5 + l. Which is smaller: 3 or q?
3
Let y = -128/3 - -2426/57. Let w(c) = c + 5. Let m be w(-5). Is m smaller than y?
False
Let q(g) = -g**3 - 23*g**2 - 7. Let o be q(-23). Do 1 and o have the same value?
False
Let t(r) = -101*r**2 - r + 1. Let u be t(1). Let g = -108515 - -1194774/11. Let i = g + u. Is i < 0?
True
Let l be 3/14*(-4)/(-6). Let t = -2 - -2. Which is bigger: l or t?
l
Suppose -2*n = 3*n - 50. Suppose 0 = 5*d + n. Is d > 1?
False
Let f = 14 - 12. Let u = -9 + 9. Which is greater: f or u?
f
Let h = -18.1 - -18. Which is smaller: h or -2/5?
-2/5
Let n be -2 + (2 - 87/9). Let i = n + 9. Which is smaller: -2 or i?
-2
Let q(i) = -i + 5. Let v be q(4). Let u be 2036/(-14) - 4/14. Let p = u - -146. Which is smaller: p or v?
p
Let t be 5/(10/(-4))*-1. Suppose -l + 4*s = 2*s - 4, 0 = 4*l + t*s + 14. Let q be (-4)/(-14) + 22/(-28). Is q greater than l?
True
Let k = 29 + -30.1. Let x = -0.13 - -1.13. Let q = k + x. Which is greater: 2 or q?
2
Let j = 1 - -14. Suppose -4*r + 9*r + j = 0. Is r not equal to -2?
True
Suppose 4*m - 7*m = 36. Which is smaller: m or -13?
-13
Let u be -3*(-28)/66 + -1. Suppose -h + 2 = 0, -7 = -4*k - 5*h + 3. Which is bigger: u or k?
u
Let f be (-2 - -1)*(13 + 3). Which is smaller: f or -59/4?
f
Let h be (-447)/564 + 6/8. Let c = h + -39/188. Let x = 3 - 3. Which is smaller: x or c?
c
Suppose -3*b - 27 = -24. Is 1/12 equal to b?
False
Let z(n) = -2*n - 7. Let o be z(-6). Suppose -q - o*v = -2*v - 7, 2*v = -2*q + 6. Is q less than 1/8?
False
Let i = -2 + 1.96. Let s = 0.08 + i. Which is bigger: s or 0?
s
Let n be 2/2 + (-8)/4*1. Is 16 <= n?
False
Let i(n) = 2*n**2 - 2*n + n + n**2 + 2*n. Let q be i(-1). Suppose q*x = x. Is 0 less than x?
False
Let q = 3 - 3. Let r(d) = -d**2 + 4*d + 6. Let w be r(6). Let y be (3*(-4)/w)/5. Which is smaller: y or q?
q
Let d be (-8)/12*54/(-38). Let g = d + -464/209. Let f = -53/33 - g. Is f < -1?
False
Let m(c) = 3*c - 3. Let y be m(2). Suppose 7 = -y*p - 11. Do p and -1 have the same value?
False
Let s = 15 + -14. Let c = -35829271/14425180 - -37/44660. Let g = -44/17 - c. Which is greater: s or g?
s
Let o(q) = q - 7. Let r be o(9). Suppose -4*h = h. Suppose -3*d + r*d - 4 = h. Is d at least -3?
False
Let b be ((-2)/3)/(4/6). Let i be 1 - b - 48/26. Are 0 and i non-equal?
True
Let d(h) = h**3 + h**2 + 1. Let x be d(0). Suppose 3 = -z + x. Which is smaller: -3 or z?
-3
Let k = 17 - 2. Which is smaller: k or 14?
14
Let w = -8 + 8. Is -0.4 > w?
False
Let c = 1189 + -13061/11. Is c less than or equal to 3?
True
Let l be (6 - 3) + (-2)/2. Is 4/5 less than or equal to l?
True
Suppose -3*n - 15 = -5*c - 1, 4 = 2*n. Let o = 111 - 106. Which is greater: o or c?
o
Let p = -478 + 6210/13. Which is greater: p or 0?
0
Suppose 0*q - 4 = 4*q. Let x = 31 + -32. Is x at most as big as q?
True
Let c = -2/173 + -119/4671. Which is smaller: 0 or c?
c
Let h = -64 - -64. Is 7/18 at most h?
False
Let c = 1 - -1. Suppose -c*w = -3*w. Is 2/9 != w?
True
Let y = -10323914/19 + 543226. Let z = y - -138. Is -1 <= z?
True
Suppose 25 = -5*d, 70 = -3*v - d - 85. Is v at least 2/5?
False
Let a = 14 + -9. Let j = 0 - -4. Let k = a - j. Which is greater: k or 0.1?
k
Suppose g + 1 = 10. Suppose -4*y = -g*y. Which is smaller: -0.3 or y?
-0.3
Let q be (12/(-24))/((-2)/(-1)). Which is greater: q or 5/7?
5/7
Let z be (138/(-23))/((-3)/44). Is 0.1 at least as big as z?
False
Suppose 5*a + 2 = 7*a. Let t = 1036/9 - 115. Is t > a?
False
Let x be 0/((12/18)/(4/18)). Which is smaller: 16 or x?
x
Let f = -48/5 + 10. Which is smaller: f or -2.3?
-2.3
Let v(p) = p**3 - 13*p**2 + 13*p - 10. Let j be v(12). Suppose -j*g - 9 = s + 2*s, 4*g - 5*s = 15. Let n be -1*(g + 0 + -1). Which is smaller: n or -3?
-3
Let v = 13/24 + 767/24. Let q = 34 - v. Which is smaller: q or 3?
q
Let q(h) = -h + 3. Let k(t) = -t + 15. Let j be k(11). Let y be q(j). Is y less than 3/13?
True
Suppose 4*j - 2 = 6*j. Which is smaller: 3/11 or j?
j
Let x = -1059 + 6377/6. Which is smaller: x or 3?
3
Let w = 99 - 92.9. Let l = 15 - 9. Let j = l - w. Which is smaller: 1/2 or j?
j
Let s = -0.65 - -0.6. Let r = -3.05 - -3. Let j = r + s. Which is greater: -3/5 or j?
j
Let i(x) = -x**3 - 6*x**2 + 17*x + 9. Let p be i(-8). Which is smaller: 10/13 or p?
10/13
Let g(f) = -8 - 2*f**2 + f**3 - 5*f**2 + 9*f - 2*f**2. Let z be g(8). Let i = -76/3 - -25. Is i not equal to z?
True
Let v be 3 + (-1 - -1 - 0). Let f be 2/v + 2/6. Let w be (9196/(-495))