er: a or p?
p
Let x = -60 - -58. Is 0 bigger than x?
True
Let r = 2 + -62. Let m = 359/6 + r. Which is smaller: m or -1?
-1
Let u = -3.8 - -4. Let i = 0 + u. Which is smaller: -1 or i?
-1
Let q be 12/3*17/2. Let i = -17 + q. Let b = 67/4 - i. Is 7 at most b?
False
Let b be 2 - (-2 - 31/(-8)). Let z(f) = -f**3 + 9*f**2 + f - 9. Let n be z(9). Suppose -i + 4 - 1 = 0, -5*y - 2*i + 6 = n. Does b = y?
False
Suppose 0*w - 25 = -5*w. Suppose w - 15 = -5*u. Suppose p + r = u - 0, 4 = 2*p - 3*r. Is 4/5 at least as big as p?
False
Let s be (-4)/6*90/12. Is -34/9 bigger than s?
True
Let t be ((-7)/14)/(1/1). Are t and -2 equal?
False
Suppose -4*j = 91 + 81. Is j equal to -43?
True
Let j = -7 - -7. Suppose -p - p = j. Which is greater: -3/14 or p?
p
Let n(v) = v**2 + 2*v - 1. Let d be n(-3). Let a = -11 + 10. Is d at most a?
False
Suppose 8*z = 5*z - 60. Which is smaller: z or -21?
-21
Let d = 7 - 13/2. Let z be 3*4/3 - 2. Suppose z*m = h - 3*h + 8, -3*m + 12 = 0. Is d greater than or equal to h?
True
Suppose 3*x = -3, -s = 3*x - 0*x + 5. Is -4 at most s?
True
Let c = -1 - -0.8. Let y = 3.8 - -0.2. Let i = -5 + y. Do i and c have the same value?
False
Let y be 6394/(-3880) - 2/(-5). Let n = y + -1/485. Which is smaller: -1 or n?
n
Let d be 7/((-700)/(-8))*1. Do d and 0.1 have the same value?
False
Let s = 0.093 - 2.093. Is 0.12 at least s?
True
Let z = -3373/485 + 15/97. Is -6 equal to z?
False
Let d be (-10 - -7) + 22/6. Let n = -1.3 + 1.9. Which is smaller: d or n?
n
Suppose 2*j - 5*t + 16 = j, -5*j = -5*t + 20. Let v = 7 + -7.6. Let n = v + 0.6. Which is bigger: j or n?
n
Let a be (-68)/85 + 52/90. Is a at most -2/5?
False
Let l = 49110/39923 + 2/3071. Which is smaller: 2 or l?
l
Let a = -114 + 114. Are a and 0 non-equal?
False
Suppose 0 = 4*x - 4*s + 24, x = -3*s + 2. Let w be 1/6 + x/6. Let h = -3 + 1. Is h not equal to w?
True
Suppose 5*h - h = 0. Is h less than -1/9?
False
Let d be 8/(-36) + 2/9. Let t = -191 - -1341/7. Which is greater: d or t?
t
Let z(q) be the third derivative of -q**4/24 - q**3/6 - 2*q**2. Let c be z(-2). Which is smaller: c or 2/33?
2/33
Let l(k) = -k + 9. Let g be l(10). Let a be (5 - 5)/(g - 1). Which is smaller: a or -3/7?
-3/7
Let j = 7 + -4. Let n(b) = j*b + 1 - 3 + 1 - 4*b. Let f be n(-3). Do 3 and f have different values?
True
Let x be (2/(-16))/((-1)/2). Let g = 19 - -1. Let w = g + -19. Which is smaller: w or x?
x
Let a(x) = -5*x - 1. Let t be a(-1). Let d be 9/(-6)*(1 - 5). Let o = -1 + d. Which is smaller: o or t?
t
Let y be ((-845)/15)/((-8)/6). Let j(s) = 41*s - 1. Let k be j(-1). Let v = k + y. Which is bigger: -1 or v?
v
Let l = -0.2 - -0.1. Let v = 8.8 + -9. Is v less than l?
True
Suppose -k + 2*g = -0*k - 12, 0 = 3*k - 5*g - 34. Let u = 4 - k. Which is smaller: u or -5?
-5
Let f be 669/(-27) - (-2)/(-9). Let v be 52/(-10) - 5/f. Let q be 3*3/(v + 2). Which is smaller: q or -0.1?
q
Let k = -2/1257 - -2540/16341. Which is smaller: 1 or k?
k
Suppose -k - 20 = -6*k. Suppose 0 = k*s + 14 - 2. Let t be s/((-1 - 1)/(-2)). Is -3 at most t?
True
Suppose 8*q - 4*q - 8 = 0. Let o = 7.7 + -8. Let z = o + 0.3. Which is bigger: z or q?
q
Suppose -3*k - 7 = 5. Let v be 1*k/6*3. Let g = 20 - 18. Which is smaller: g or v?
v
Suppose -2*i = -3*i + 7. Let s = i - 15. Which is smaller: 0 or s?
s
Suppose -z + 10 = 4*z, 0 = 5*r + 5*z - 25. Suppose 5*i = -2*y - 31, -r*y + 11 = 5*i - 9*i. Let k be y/(-1 + (-7)/(-4)). Is k greater than or equal to -4?
True
Let b be (-320)/(-1359) - 2/9. Let n = b + 137/1057. Which is bigger: 0 or n?
n
Suppose 7 = 3*c - 14. Suppose -4*z - c + 3 = 0. Which is smaller: z or 1/15?
z
Let g(r) = r**3 - 4*r**2 + 2*r - 1. Let f be g(2). Let m = -9 - f. Let l be (-3)/(-2)*m/6. Which is smaller: l or 1/4?
l
Let g be (-2)/3 - (-34)/6. Suppose -8*x + g*x = 0. Suppose -2*c + 12 = -3*o, -o + 4*c + 1 - 15 = 0. Which is smaller: x or o?
o
Suppose -5*n + 19 = 9. Let s be (-82)/(-6) + (-1)/(-3). Let k be 3/s - (-4)/14. Which is smaller: k or n?
k
Let u be (-24)/40 + 6/(-15). Which is smaller: -3/8 or u?
u
Let r be ((2/12)/(-1))/(-1). Suppose 1 = 2*w + 13. Let d = w + 6. Is r > d?
True
Suppose -5*b = -d - 11, -2*b + 13 = -3*b + 4*d. Suppose -8 = -5*p + b*p. Let h = 4 - p. Is 0 < h?
False
Let n be (-15)/(-6)*(-1 - 1 - -24). Is n at least as big as 55?
True
Let t(z) = 7*z**2 + 2*z**2 + z**3 - 3*z**2 - 8*z - 9. Let f be t(-7). Let v be 0 - (f - (-3)/6). Which is smaller: 1 or v?
1
Let p = 10 + -22. Let g be (p/(-30))/(8/5). Does g = 0.01?
False
Suppose 0*v - 5*v + 5 = 0. Is -1/75 at least as big as v?
False
Let t(x) = -x**2 - 7*x - 5. Let a be t(-5). Suppose -2*d + 3 = -1. Let m be d - ((-90)/(-8))/a. Is m bigger than 0?
False
Suppose 12 = 3*l + 21. Do l and -3 have different values?
False
Let c = 2.31 - -0.29. Let x = c - 3. Let h = x - -0.2. Which is greater: h or -2?
h
Let f = -1.2 - -0.2. Let v = -2 + -12. Let o be 0 + (-3 - v/5). Do f and o have different values?
True
Let n(h) = h - 6*h - 3*h + 7*h - 4. Let i be n(-6). Which is smaller: 0 or i?
0
Let d = -3.2 + 3.15. Is d bigger than -1/3?
True
Suppose -5*t - 5 = 5*w, -3*w - 1 + 6 = -5*t. Which is smaller: w or -7?
-7
Suppose 0 = -5*p + 4*p - 2. Suppose y + 3 = 4. Let c = -1 - y. Is c != p?
False
Let o = -0.8 - -0.9. Which is smaller: 10 or o?
o
Let u = 11 - 8. Let r = 0.27 + -0.37. Is u equal to r?
False
Suppose -3*f - k = -0*f - 7, 5*k + 9 = -4*f. Suppose f*j - 6 = -2. Is 1/5 != j?
True
Let o(k) = k**3 - k. Let l be o(2). Suppose 2*t + l = -2*j, t = 4*j - 0*j - 3. Which is greater: t or -2?
-2
Suppose 2*b - 35 = t, 4*t - 60 = -5*b + t. Suppose 1 + b = 4*j. Is j less than 2?
False
Let l(i) = 3*i - 8. Let f be l(-8). Is f at least -32?
True
Let i = 13 + -15. Let b be 87/(-198) - i/4. Is b <= 1?
True
Suppose p = -3*p + 4. Let q = 1/196 + 373/3724. Which is smaller: q or p?
q
Let x = 3886/7 + -556. Do x and -2 have the same value?
False
Let u(i) = 7*i - 4. Let q(j) = 8*j - 5. Let g(z) = 5*q(z) - 6*u(z). Let h be g(1). Is h equal to -2?
False
Suppose -3*q + 0*q + 3 = 0. Let z be 1 - (q/(-1) + 4). Let r be (0 + 1)/(z/6). Is r at least as big as -3?
True
Suppose -2*j + 10 = -0. Suppose 2*z + 2*z - 2 = 3*l, -j*l = -5*z. Which is smaller: z or 3?
z
Let r = -2 + -1. Let i(l) be the first derivative of l**3/3 - 7*l**2/2 - 10*l + 2. Let a be i(8). Is a at most r?
False
Suppose -3 = h - 6. Suppose -h*w - 1 = -5*s + 9, -2*s + 4 = 3*w. Which is bigger: w or -2/13?
w
Let s = -7 - -10. Suppose -3*w + 1 + 4 = 2*h, 2*w = -s*h - 5. Suppose 0 = -0*m + w*m - 5. Which is bigger: m or 2/5?
m
Let c = -12 + 9. Let s be (-3)/18*c*-2. Let m be (-2 + s)/(-9) + 2. Is 1 at most m?
True
Let w be 8/(-7) + 2 + -1. Let m be (7/5)/(-1) - (-4)/10. Which is smaller: m or w?
m
Let m = 1.4 - -0.6. Let v = 4.4 + -6.4. Is m at least v?
True
Suppose -2*d = -d + 2*i + 3, -4*i + 9 = -d. Suppose -32*c + 28*c - 16 = 0. Which is greater: d or c?
c
Let v(t) = t**2 - 8*t - 10. Let z be v(10). Let c be ((-40)/(-50))/(4/z). Is c at least as big as 0.1?
True
Suppose -x + 3 = 12. Suppose j + 2*j + 24 = 0. Is x <= j?
True
Suppose -5*w + 0*l - l + 8 = 0, 0 = -3*w + 2*l - 3. Do w and 1/20 have different values?
True
Let x be -2*2*9/(-12). Suppose 0 = -r + 4*f - 16, r + x*r - 2*f + 8 = 0. Let d be 2/(-3) + (-8)/12. Is r at most as big as d?
False
Let l = 3/10 + 191/30. Let a = 94/15 - l. Is a > -4?
True
Let d = 0.05 + 0.35. Let r = d + -0.3. Let p(z) = -z**2 - 8*z + 8. Let s be p(-9). Is s < r?
True
Let u = -8/15 - -1/5. Let h(w) = -w**2 + 2*w - 3. Let n be h(0). Is u smaller than n?
False
Let d(i) = 2*i**3 + i**2 + i + 1. Let j be d(-1). Let b(w) = -w + 6. Let o be b(3). Let a be 2 + (-8)/o - 0. Which is smaller: a or j?
j
Suppose 0 = -b + 2. Let m = b + -4. Let y be (1/(-2))/((-1)/m). Is y greater than or equal to 3/10?
False
Suppose 0 = -q + 3 + 1. Suppose -5*j + 0 = 5*u - 20, -q*j = -5*u - 16. Which is smaller: u or 1?
u
Let w = 18 - 13. Suppose 5*h - h - 5*l - 18 = 0, -5*h + w*l = -20. Do h and 0 have the same value?
False
Let u be 0 + -22 - (-9 + (-12)/(-3)). Suppose 4*d + 3*n = -2*n - 59, 4*d + 61 = -3*n. Which is greater: d or u?
d
Suppose 4*p - 5 = -3*l + 2*p, 0 = -3*l + p + 11. Let n = -3 - -6. Suppose 12 = 4*m - l*q - 9, 5*q + 24 = n*m. Which is smaller: 3/2 or m?
3/2
Let b = 0.35 + -0.45. Is b less than or 