s -2/45?
True
Let n = -91/3 - -30. Which is greater: n or -2?
n
Suppose -4*m = 5*j - 0*j - 45, 0 = 3*j - 5*m - 64. Is j smaller than 13?
False
Let i be -13 - 0*(-2)/(-4). Which is greater: i or -12?
-12
Let n be -2 + (-1 - 87/(-28)). Let z = n - -1/7. Suppose d = 2*d - 1. Which is bigger: d or z?
d
Let z(g) = g**3 + 5*g**2 + 3*g + 5. Suppose -3*m + 8*m + 3*r + 26 = 0, 5*r = -4*m - 26. Let k be z(m). Are k and 10 unequal?
True
Let n be (-12)/7*14/(-4). Let t be (-4)/(-6) + (-7)/n. Let h(b) = b**2 + 3*b - 2. Let g be h(-3). Which is greater: t or g?
t
Let u(g) = g**2 + 8*g - 22. Let f be u(3). Is f <= 4?
False
Suppose -2*m = 2*m + 24. Which is smaller: -9 or m?
-9
Suppose 3 = 5*j - 2. Let p(n) = n**3 + 5*n**2 + 3*n - 4. Let r be p(-4). Which is smaller: j or r?
r
Suppose -c - 159 = -3*w, 2*w - 201 = -2*w + 5*c. Let b = 271/5 - w. Which is greater: b or -1?
b
Let y be (0 + -8)*(-40)/16. Is 96/5 >= y?
False
Let a = 0.76 + -0.36. Let z(d) = d - 12. Let i be z(9). Are i and a nonequal?
True
Suppose -14 = -4*u + 5*o - 1, 3*u - 3*o - 9 = 0. Let a(i) = -i**2 + i**3 - 5*i**3 + 2*i**u. Let g be a(1). Which is greater: g or -1?
-1
Let y be (-2 + 1)*2 + 1. Let g be -1*9/(-4)*-1. Let o = 5/2 + g. Which is smaller: o or y?
y
Let h(q) be the second derivative of -q**4/12 - 3*q**3/2 + 3*q**2/2 + 4*q. Let m be h(-9). Suppose w = -m*w. Is 4/3 equal to w?
False
Let o be (-2)/4*(0 + 2). Let x = -38 + 37. Let n = o - x. Which is smaller: n or -0.3?
-0.3
Let c be 17 - (-1)/2*-2. Let s = c - 13. Is s > -0.1?
True
Let b(h) = h**3 - 2*h**2 - 4*h - 1. Let a be b(3). Let c be (-1 - (-9)/6)*0. Suppose 0*k = 5*k - 10, -4*t - 4*k = c. Are a and t equal?
False
Suppose i - 15 = -4*z, -3*z - i - 2*i + 9 = 0. Is 5 greater than z?
True
Let q(n) = n**3 - n - 1. Let c be q(2). Suppose b + c*g = -0*g - 6, -b = g + 2. Is 0 >= b?
True
Let o(y) = -y + 9. Let c be o(7). Let v be c/7 + 9/(-7). Let z = 9 - 10. Are v and z equal?
True
Suppose 12 = 4*k - 4*y, 3 + 7 = -2*k - 2*y. Is k bigger than -2/15?
False
Let h be (-2)/(-20) + 0/(-11). Which is smaller: h or -1?
-1
Suppose -4*j + 9 = -3*o, -4*o + 6 + 13 = 5*j. Let y be 3/(0 + 6/32). Suppose 0 = -4*b + y. Which is smaller: b or j?
j
Let y = -1.9 - -2. Let x = 0 - 0.08. Which is greater: x or y?
y
Let n = 4 + -4.1. Let x = -2 + 1.9. Let f = x - n. Which is smaller: f or 3?
f
Let c be (14/(-8))/(-4 - -3). Which is smaller: c or 1?
1
Suppose 2 = -a - 0. Let g be a/12*(-252)/(-52). Let d = g + 1/130. Which is greater: -2 or d?
d
Let i be (((-1)/(-1))/2)/(-1). Let n = -125 - -873/7. Is n < i?
False
Let n be 8/36 + (-2)/6. Suppose -5 = -4*b + 15. Suppose -b*f - 10 = -5. Which is bigger: n or f?
n
Let j(a) = -a**2 - 10*a - 6. Let k be j(-9). Which is greater: k or 2?
k
Let x(a) = 2*a - 6. Let k be x(4). Let y be 5/((2 + -5)*k). Suppose -3*r = -2*b + 2 - 12, 2*r = 2*b + 10. Which is smaller: y or r?
y
Suppose -5*v + 2*q - 36 = -0*v, 2*v - q + 14 = 0. Let r be v/(-20)*(-10)/(-28). Is -2 equal to r?
False
Let b = 0 + -1. Suppose 0 = -4*g + 12, 0 = 3*t + 3*g - 38 + 11. Let n be (-5)/t - (-1)/2. Which is greater: b or n?
n
Let l = 28 - 30. Which is smaller: 13 or l?
l
Let p = 5.4 - 5. Let d(w) = 2*w + 1. Let n be d(-1). Which is smaller: n or p?
n
Let s = 4.1 + -2.1. Let b = -3.3 - 0.7. Which is greater: b or s?
s
Let n = 239/7 - 34. Let d = -9/35 - n. Is d <= -1.4?
False
Let t = 35.1 - 39. Let m = 4 + t. Which is greater: m or 1/15?
m
Let d(i) = i**2 + 2*i. Let y be d(-3). Suppose 0*w = y*w + 9. Let f = -0.7 - -1.7. Which is smaller: w or f?
w
Suppose z = 0, 0*p - 3*z = -3*p. Which is smaller: 6/5 or p?
p
Let z be (0 + 8/(-6))*3. Let d be (z/3)/(44/42). Let n = -64/33 - d. Are 1 and n equal?
False
Let v = 1.91 + 0.09. Let h = 0 + v. Which is smaller: 2/3 or h?
2/3
Let b(v) = -v**2 + v + 24. Let k be b(7). Which is smaller: k or -17?
k
Let v = -5 - -2. Let t be (v/(-9))/(2 - 1). Let f = 2 + -3. Which is smaller: f or t?
f
Let d(u) = -u**2 + 7*u + 3. Let p be d(7). Let i be 2/(2 + p + -10). Is i at least as big as -1/3?
False
Let q = 0.072 - -0.428. Which is greater: -0.1 or q?
q
Let s = -4 + 4.2. Let b = -0.3 - -0.4. Let z = 0 - b. Is s >= z?
True
Let n(i) be the first derivative of 2*i + 1/2*i**2 - 2. Let r be n(-3). Which is smaller: r or -2/3?
r
Let w be (-27)/(-45)*(-4)/6. Which is smaller: w or -1?
-1
Let a(o) = o**3 - 11*o**2 - 12*o - 8. Let b be a(12). Let k = 10 + b. Let j be (6/(-8))/(2/(-4)). Which is bigger: k or j?
k
Let b be (-15)/(-1)*20/3. Suppose 6*y - y = b. Is y smaller than 20?
False
Let k = -0.08 + 0.14. Let i = -1.06 + k. Is i less than 2?
True
Let s = 1 + 3. Suppose s*d + 16 = -0*d. Let h = 4 + d. Is h not equal to -1?
True
Let m = -85 - -86. Which is greater: m or 2/277?
m
Let o = 22/5 + -489/110. Which is bigger: 1 or o?
1
Let r be (-1 + 2)*16/(-40). Suppose -3 = -j, -5*w - 4*j + 16 = -26. Suppose -3*s + s = 2*f - w, 0 = -2*s + 4. Are r and f unequal?
True
Let l = -513/10 + 22318/435. Is l > 1?
False
Let u be (-16 + (-44)/(-11))/(1 - 2). Suppose 4*q + 3*f - 25 = 12, -3*q + 34 = -4*f. Do u and q have the same value?
False
Let q be 3 + -2 + 9*1. Let d be (-270)/12*(-8)/q. Let u be 50/(-156) + 3/d. Is -1/4 >= u?
False
Suppose -3*p = p + 36. Let z be ((-8)/(-10))/(2/(-25)). Is z less than p?
True
Let l = 18 + -48. Let s = 13 + l. Is -16 less than s?
False
Let l = 83 + -82.8. Are -2 and l equal?
False
Let i = 46 - 67. Which is smaller: i or 1?
i
Let o be -1 + 12/(-4) + 2. Let f be o/(2 - 8)*6. Which is bigger: f or 3?
3
Let r = -15 + 21. Let n be r/(-9)*(-3)/(-13). Is n < 1?
True
Suppose -3*j = 5*x - 160, -3*j + 64 = -x + 3*x. Let r be x/18 - 4/(-18). Which is bigger: 1 or r?
r
Let l(n) = -n**2 - n + 1. Let j be l(1). Let r = 2 - 2. Let i be r - (2 - 0) - -2. Which is smaller: j or i?
j
Let r = 4 - 3. Let s = -1.45 - -1.37. Is r greater than or equal to s?
True
Suppose 0 = -5*x - 14 - 31. Let y = 8 + x. Let r be -1 + 1/(14/8). Which is bigger: r or y?
r
Suppose -5*i = 5*q - 130, -3*q = 4*i - 65 - 18. Let x = q - -19. Let k be (-1)/5 - x/(-75). Which is bigger: 0 or k?
k
Suppose -n = 2*c, 3*c = -5*n + 6 + 1. Let y = 1847 - 142217/77. Which is greater: y or c?
y
Suppose 5*k - 2*r + 31 = 0, 0 = -3*k + k + 2*r - 16. Let p = k - -6. Which is greater: 1/3 or p?
p
Let t = -0.24 - -124.24. Let x = t - 124.53. Let a = -0.03 - x. Are -1 and a equal?
False
Let t(q) = 0 - 4*q**2 + 5*q**2 + 1 - 6*q - 2. Let p be t(6). Let d be 0/1 + 2/(-9). Is d greater than or equal to p?
True
Let m(n) = 2*n. Let a(z) = z. Let l(r) = -9*a(r) + 4*m(r). Let c be l(5). Does -4 = c?
False
Let n(j) = j**2 + 4*j - 1. Let f(m) = m**2 - 11*m + 13. Let d be f(9). Let q be n(d). Which is greater: 14/3 or q?
14/3
Suppose -x - 21 = -5*o, 0*o + 3*x = 5*o - 13. Is 3 >= o?
False
Let n be (0 + 1)*1/(-1). Let f = -4 - n. Let q = 64 - 67. Is f >= q?
True
Let s = -74 + 84. Which is smaller: 0 or s?
0
Let z = -164 + 249. Which is greater: z or 86?
86
Let z = -6 + 8. Let t be z/3 + 14/(-3). Suppose -4*c = -0*c - 20, -1 = 4*x + 3*c. Is t at least as big as x?
True
Suppose 2*v - 7 + 3 = -2*r, 0 = 2*r - 2*v + 12. Let z be r/4 - (-1)/2. Is -1/9 smaller than z?
True
Let l(y) = -2*y**3 + 13*y**2 - 6*y + 2. Let b be l(6). Is 6 less than or equal to b?
False
Let p(u) = u + 1. Let s be p(3). Let q = s - 2. Let v(k) = k**2 - 8*k + 6. Let g be v(7). Which is greater: q or g?
q
Suppose 2 = 3*g - 7. Suppose 0 = g*j - 0*j - 3*l + 6, 3*l = 0. Let d be j - (-6 + 0 + 1). Is 4 less than d?
False
Let w be (-34)/(-24) - 6*(-7)/(-168). Which is bigger: 3 or w?
3
Let r = 0.5 - 0.62. Let v = r - -0.02. Is 7 smaller than v?
False
Let w = -22.843 - 0.157. Which is greater: w or -1?
-1
Suppose h = -j - 1, j + 2*j = -2*h + 1. Let r be h/(-10)*(-5)/(-3). Are 0 and r equal?
False
Let b(d) be the second derivative of 5*d**4/12 - 4*d**2 - 2*d. Let m be b(-7). Let v = m - 2131/9. Which is bigger: v or 0?
v
Let t = 0.69 - 0.78. Is t greater than -2?
True
Let s = 3/29 - 38/87. Suppose -2*n + n = 0. Is n equal to s?
False
Suppose -5*p + 5*f = 5 + 5, 5*f - 4 = -p. Let y be (-14)/100*(-24)/42*-5. Which is smaller: y or p?
p
Let i(t) be the first derivative of -3*t**4/4 + t**3/3 - 3. Let l be i(-1). Is 2 greater than or equal to l?
False
Let w be 1/4*6*-4. Let r be ((-4)/8)/((-3)/w). Let f be -2*(r + -1)/12. Is 