alse
Let d(o) = o. Let b be d(3). Which is greater: 9/5 or b?
b
Let l = -39/2 + 20. Let y = 2 + -2. Are l and y equal?
False
Let i be (-9)/((-135)/(-28)) - -2. Let b = -16/105 - i. Let u = -6 - -11/2. Is b not equal to u?
True
Let z = -8 - -14. Is 6 bigger than z?
False
Let u(a) = -a + 2. Let r be u(-4). Let i = 1 + -7. Let n = i + r. Which is bigger: n or -3?
n
Let z(y) = y**3 + 9*y**2 - y - 11. Let q = 17 - 26. Let f be z(q). Which is smaller: 0 or f?
f
Let i be 8/(-6)*3/(-2). Suppose 0 = -5*t + 4*t + i. Which is greater: 1/2 or t?
t
Let q = -21 + 25. Which is smaller: q or 2?
2
Suppose -5*x + 3*s = 12 + 8, 3*s - 15 = 0. Let o be -2 + 4 + 2/1. Suppose b + 8 = -4*m + 28, o*m = 20. Is x less than or equal to b?
True
Let u be (-1)/((-5)/20*-2). Which is smaller: 2 or u?
u
Let x be 6/(-14) + 368/(-56). Is x at most 0?
True
Let n = -35 - -29. Which is smaller: -8 or n?
-8
Let a = 0.59 - 2.56. Let b = a - 0.03. Which is smaller: -1 or b?
b
Suppose -n = -3*b - 24, n + 48 = -9*b + 4*b. Let j be (-21)/63 + (-29)/3. Is b at least as big as j?
True
Let c = -59 - -57. Are 0 and c non-equal?
True
Suppose 5*l - 5 = -0*l. Suppose -u = -2*u + l. Suppose 4*m - 3 = u. Are m and 0 nonequal?
True
Let d = -12667/21505 + 1/1265. Let g = -13/51 - d. Suppose 0 = 3*m - 5 + 5. Which is bigger: m or g?
g
Suppose 3*t + 3*y = -0*y, 0 = -4*t + y + 25. Which is smaller: t or 1?
1
Let q be ((-16)/(-156))/(4/(-18)). Which is smaller: 1 or q?
q
Let q = 795/2 - 415. Do -17 and q have the same value?
False
Let p = -3533/436 - 16/109. Which is greater: p or -9?
p
Let a = -8.8 - -9. Let x = -1.2 + a. Let m = -2/261 + 1054/1305. Is m < x?
False
Let k = 58 - 233/4. Suppose 4*b - 8*b = 4. Are b and k equal?
False
Let x = -2.18 + 2. Let c = x + 0.15. Suppose 0 = y - 1. Is y at most as big as c?
False
Let v be ((-6)/(-5) + -1)*(-6)/10. Is v greater than or equal to 0?
False
Suppose -2*w - 56 = 2*w. Let x = -10 - w. Suppose -5*i = x*q + 12, -5*q - 3*i + i = -2. Which is smaller: 3 or q?
q
Let p be 1*5 + 1 + -1. Let b(f) = f**2 - 9*f + 5. Let t be b(9). Let l = p - t. Which is bigger: l or 1?
1
Let z be (0 - 6/(-21))/((-2)/14). Which is greater: z or -28/9?
z
Let k = -2 - -1. Let z(l) = 2*l**3 + 4*l**2 + 4*l + 3. Let i be z(-2). Let a be ((-8)/(-30))/(i - -3). Which is bigger: k or a?
a
Suppose 43 + 29 = -6*o. Which is bigger: -10 or o?
-10
Let m(i) = i**2 + 12*i + 13. Let d be m(-11). Which is smaller: d or 3?
d
Let o be 1/(-3) + 26/24. Let n = 14 - 14. Which is smaller: n or o?
n
Let s = 2 + 10. Suppose -u + 20 = -6*u, 0 = -4*r + 2*u + s. Which is smaller: r or 3/10?
3/10
Let a = -1.6 - -1.72. Let d = 0.02 - a. Which is smaller: 2/5 or d?
d
Let v be (4/2)/(1/(-2)). Suppose 0 = 2*r + o - 1 + 7, 5*r + 4*o + 12 = 0. Are v and r equal?
True
Suppose 3*f = -4*f. Is 1 bigger than f?
True
Let l be (-20)/(-50) - 664/1610. Let a = 491/644 + l. Which is bigger: 2 or a?
2
Let h = 1/7 - -13/56. Let y = -1/8 - h. Let u = 5/6 - y. Which is greater: 2 or u?
2
Let i = 0 - -0.2. Let k be 5 + 18/6 + -5. Which is greater: i or k?
k
Suppose 4*c - 25 = 3. Let r = c - 7. Is -1 greater than or equal to r?
False
Let o be (7/(-168))/((-1)/(-2)). Are o and 0 nonequal?
True
Suppose 6*n = n + 10. Let r = 6.1 + -0.1. Let q = r - 7. Which is smaller: n or q?
q
Let a(w) = 2*w**2 - 4*w + 2. Let c be a(2). Let y = -13916/5 + 2755. Let g = y + 28. Is g != c?
True
Let n(q) = -q. Let u(b) = -6*b + 1. Let p(d) = -11*n(d) + 2*u(d). Let f be p(0). Let y be f/(-6) + (-4)/(-3). Is y < 1?
False
Let r = 0 - -6. Let m be (-2)/r + 7/(-6). Is -1 at least m?
True
Let n be 1/(-3) + (-18)/27. Is -3/2 greater than n?
False
Let a(j) = 8*j**2 + 10*j - 14. Let q(u) = 3*u**2 + 3*u - 5. Let o(b) = 4*a(b) - 11*q(b). Let h be o(7). Let w = 208/1265 - -2/115. Which is smaller: w or h?
h
Let o = -1.6 + 1. Let y = -1.4 + o. Which is smaller: y or -0.1?
y
Let g = 2/39 - -8/13. Which is bigger: 0.2 or g?
g
Let p(c) = -c**3 - 12*c**2 - 11*c + 6. Let w be p(-11). Suppose w + 18 = 4*i. Suppose i*q - 5 = q. Which is smaller: -1 or q?
-1
Let p = -0.43 + 0.03. Let x = p + 0.5. Let j = 0.2 - x. Which is smaller: j or 0?
0
Let z = 4 - 4.3. Let x = z + -0.7. Let k(f) = -2*f**3 - 18*f**2 - f - 13. Let h be k(-9). Which is smaller: h or x?
h
Suppose 2*c = -3*j + 8, 5*c = 5*j - 0*j - 5. Let f(z) = z**3 - 2*z**2 + 2*z. Let k be f(j). Which is smaller: k or 2?
2
Let x = 2 - 8. Let o(t) = t**2 + 6*t + 2. Let s be o(x). Let d = 1 + 1. Is s < d?
False
Let s = 7 - 2. Suppose q + q - 3*v = 21, -s*q = 2*v - 5. Is 1 at least q?
False
Let p = -391 - -1962/5. Is 0 < p?
True
Suppose 0*m - 2*m = 6. Let r be (-9)/(-27)*(-27)/(-3). Let s be (4/(-12))/(1/r). Do m and s have the same value?
False
Suppose -2*h - 16 + 40 = 0. Is h < 12?
False
Suppose -4*s = -4*k - 0 - 8, 5 = s - 4*k. Which is smaller: 2/13 or s?
2/13
Let x = 5 - 8. Let t be (-16)/(-6) + (-1)/x. Let h = 0.13 - 0.03. Which is bigger: t or h?
t
Let k be 6/3 - 24/14. Let w = -3 + 6. Let s = w + -5. Which is greater: s or k?
k
Let c(x) = -1. Let a(f) = -f + 2. Let l(k) = -3*a(k) - 7*c(k). Let p be l(-1). Suppose -r - 7 = 2*s, 0*r + 2*s = 4*r - 2. Which is smaller: r or p?
p
Let j = 11 + 1. Let q = -9 + j. Is 3/2 at most as big as q?
True
Let z be (-2 - -1)/(2/(-8)). Suppose 2*t = -0*t + 4. Which is smaller: z or t?
t
Let r = -24 - -12. Let j = r - -14. Are j and -1 non-equal?
True
Let l = 9 + -10.7. Which is smaller: l or 0.4?
l
Let h be -10 - ((4 - 11) + 3/1). Which is bigger: h or -28/5?
-28/5
Let n = 25/8 + -891/280. Is n less than or equal to 1?
True
Let x be 2 + 0 - 1/(-1). Suppose -11 = -r + 2*v, -5*r + x*v = 4*v - 22. Suppose 0 = r*b - 0*b. Which is smaller: -2/13 or b?
-2/13
Suppose 0*j = 3*j + 5*o - 19, -j - 3 = 4*o. Let s = j - 8. Is s at least 5?
True
Let x = -197 + 111. Which is bigger: -88 or x?
x
Let h(m) = 2*m**2 - 2*m + 2 - 3 + 0*m**2. Let i be h(2). Suppose -i - 1 = 2*w. Are -2 and w nonequal?
False
Let a be -4*1/(-4) - 4. Let j be (-5)/(60/(-39)) + a. Which is bigger: 0 or j?
j
Let d = -1664/9 + 22064/117. Let w = d + -214/65. Suppose 6*y - y = -5, 3 = 5*r + 2*y. Which is smaller: r or w?
w
Let a be (2/16)/(11/(-374))*6. Which is bigger: -27 or a?
a
Suppose -y + 1 = -6. Is y greater than 2?
True
Let w(y) = 5*y - 40. Let d be w(9). Which is smaller: d or 28/5?
d
Let n(y) = 2*y - 8. Let d be n(6). Let j(k) = 3*k - 16. Let q be j(6). Which is smaller: d or q?
q
Suppose 39 = -0*a + a. Suppose 4*d + u + 44 = 5*u, 4*d + a = 3*u. Is d <= -5?
True
Let h be (2/3)/((-4)/(-6)). Let q be h/(1/(-1))*1. Suppose 1 = -a - 0. Do q and a have different values?
False
Suppose -5*n + 19 = -1. Suppose -4*k - n = 0, o - 5 = k - 4. Which is smaller: -2 or o?
-2
Let l(q) = -q. Let j be (-12)/(-30) + (-17)/5. Let k be l(j). Is k <= 2?
False
Suppose -2*t - 5 = -3*t. Suppose 0 = -0*n + t*n. Is n less than or equal to 2?
True
Let z = 0.047 - -2.953. Is z at most 0.12?
False
Let t(w) = -w**2 + 3. Let n be t(0). Let h(o) = -6*o - 17. Let s be h(-3). Are n and s non-equal?
True
Let a be (-2)/9 - 131/(-252). Let c = a + -1/21. Suppose -1 = y - 4*w, -8*y + 3*y - w = 5. Does y = c?
False
Let w be (-1)/(-3) + 11/(-42). Suppose 0 = -3*i, 3*i + 0 = -n - 1. Which is bigger: w or n?
w
Let n = -5 + 3. Let u be 6*-5*4/5. Let q be ((-45)/u)/(36/(-16)). Which is smaller: n or q?
n
Let q(w) = -w**3 + 4*w**2 - 3. Let l be q(4). Let z be (-12)/(-8)*2/l. Suppose -4 + 1 = -3*b. Is b > z?
True
Let w be (-138)/(-3)*(3/6 + -1). Which is bigger: 2 or w?
2
Let y = -2 + 16. Is 14 at least as big as y?
True
Let y = 170 - 190. Is -56/3 not equal to y?
True
Suppose -2*x + 3*n - 1 = -0*x, 3*x = 5*n - 1. Let u(p) = -p**2 - 3*p - 3. Let l be u(x). Let m = -11/273 - 4/39. Is l smaller than m?
True
Let d = -232 - -134. Is -98 smaller than d?
False
Let h(u) = u**2 + 8*u + 4. Let c be h(-8). Suppose 2*o + 0*o = c. Is o >= 3?
False
Let b = -24 + 43. Suppose -4*f - b - 21 = 0. Is -9 at least as big as f?
True
Let k(n) = n**3 + n**2 - 1. Let s be k(-1). Let g be s*2 - 10/(-4). Let w be 5/(-2)*(-4)/10. Which is smaller: w or g?
g
Suppose k = -3*k - 20, 0 = 2*t - k + 33. Let w = -4 - t. Let p be 2/(-8) + w/(-36). Is p at least as big as -3/7?
False
Suppose 6*y - 20 = y. Suppose 12 = y*w - 0. Suppose w*u + u = -8. Is -5 greater than or equal to u?
False
Let z b