Let b = 13 - 8. Which is smaller: 3 or b?
3
Let i be ((-16)/24)/(4/6). Are -3/10 and i equal?
False
Let m = 85 + -85. Which is smaller: 3.5 or m?
m
Let n(k) = -2*k - 11. Let r be n(-11). Do 8 and r have the same value?
False
Let z = -2.5 - -0.5. Which is smaller: z or 0.6?
z
Let r = 24 + -25. Which is greater: r or 2/47?
2/47
Let g = -4.73 + -0.27. Do -2 and g have the same value?
False
Let y = 0.15 + -0.15. Is -1 > y?
False
Let u(i) = i**2 - 13*i + 32. Let t be u(3). Which is greater: t or 22/9?
22/9
Let l(c) = -c**3 - 5*c**2 + 4*c - 6. Let w be l(-6). Which is smaller: w or 7?
w
Suppose 2*p + 5*d = -6, 0 = 3*p + 2*d + 3*d + 4. Let b = 1 - 0. Is p at least b?
True
Suppose -g - 4*y - 12 = 0, -2*g + y + 16 = g. Which is bigger: g or 2/5?
g
Let v = -2.99 + 3. Is v at most -2/7?
False
Let c = 0.1 + 0.13. Let k = c + -0.03. Is 1/5 equal to k?
True
Let k = -3/52 - -125/26. Is 6 at most k?
False
Let i = -1614/77 + 148/7. Is 1 bigger than i?
True
Let h = 118 + -120. Is h smaller than -13?
False
Let p = 2 - -2. Let f be ((-2)/4)/(p/16). Is -1 > f?
True
Let o be (0 + -2)/((-1)/4). Let c be (-2)/(-4) + 12/o. Suppose -c*k + 4 = 2*k. Is k at most 2/7?
False
Let j = -1 + -13. Let s be (-46)/j - (-12)/(-42). Which is bigger: 3/2 or s?
s
Let b = 0.1 + -19.1. Let y = b - -19. Is -25 bigger than y?
False
Let m = 327 + -2613/8. Let f = -367 + 367. Is f less than m?
True
Let x = 17/4 - 15/4. Which is greater: 1 or x?
1
Let m = 2/5151 - -10040/674781. Let x = 115/1048 + m. Is x bigger than 1?
False
Let f(q) = 3*q**3 - 4*q**2 - 2*q + 1. Let s be f(-2). Is s bigger than -35?
False
Let p = 0.6 - -2.4. Which is smaller: -1/9 or p?
-1/9
Let b = 3 - -2. Suppose 0 = 3*j + t - 5 - 2, -b*t = -4*j - 16. Let a = -12 + 10. Is a smaller than j?
True
Let x be 0 + -2 + 0 - -8. Suppose -4*q = -2*j - 8, -5*q + 3 = -3*j - x. Let y = -2 + j. Which is smaller: y or -1?
-1
Let s(c) = c**2 + 4*c - 5. Suppose 3*g + 19 = 4*j - 6*j, -j - 5*g - 20 = 0. Let f be s(j). Let x be (-9)/3 + 5/3. Is f smaller than x?
False
Let q = -0.07 + -0.93. Is q less than 1/4?
True
Let h be (-2)/(2/(-5)*1). Suppose -2*v + 6 = h*a, 2*v - 6 = -3*a + 2*a. Let g(l) = l + 14. Let i be g(-10). Which is smaller: i or v?
v
Let h(j) = j - 3. Let d(f) = -f**3 - 4*f**2 + 5*f. Let c be d(-5). Let q be h(c). Let l be (2 + -10)*2/4. Which is bigger: q or l?
q
Let l(a) = a**3 + a**2 - a + 1. Let s = -3 - -3. Suppose s*z = 5*z. Let d be l(z). Which is smaller: 2/19 or d?
2/19
Let w(p) = -p**2 - 6*p + 2. Let r be w(-6). Let y be 2 - (-2 - (-16)/r). Let h = 0 - 1. Which is smaller: h or y?
y
Let p(d) = -d**3 + 8*d**2 + 10*d - 13. Let b be p(9). Let x be ((-12)/10)/((-3)/20). Suppose 3*k - 5*k - x = 0. Is b at least as big as k?
True
Suppose u - 1 = 0, -2*s = u - 1 - 0. Let l be (1 + 34/(-30))*5. Is s at most as big as l?
False
Let x = 10 + -6. Suppose q + x*q = 0. Is q bigger than -2/3?
True
Let g = 45 + -181/4. Let l be -2*(13/6 + -2). Are g and l equal?
False
Let p be 3/(-4)*(-5)/(-7). Let s = 2/7 + p. Which is smaller: s or -0.4?
-0.4
Suppose -5*s = -4*u + 11, -4*s - 3*u + 2 = 17. Are s and -4 equal?
False
Let c = -21.06 + 22. Let m = c - -0.06. Which is smaller: -0.1 or m?
-0.1
Let v be (0 - (-2 + 1)) + 1. Suppose -10 = -5*w - 5*x, -w - 2*x = 3*w + v. Is -3 at least as big as w?
True
Let y = -19 + 20. Is -1/4 less than y?
True
Let n be 63/61 - 1/((-2)/(-2)). Which is smaller: 1 or n?
n
Let z = 21 + 6. Is 1 less than z?
True
Suppose -5*x = -3*x. Let c(r) = -2*r - 3. Let g be c(-3). Suppose g*n - n = x. Do 0 and n have different values?
False
Let j = -36073405/78 + 462486. Let l = -13/2 + j. Do l and 1 have different values?
True
Let r be 1 + -2 + (-2 - -3). Let f = -113/12 - -26/3. Is f != r?
True
Let w = 0 + 0. Let q be w/(0 - (-1 + 3)). Which is smaller: -1 or q?
-1
Let m(d) = -d**3 + 2*d**2 + 2*d + 4. Let k be m(3). Let l be ((-8160)/(-2068) - 3) + -1. Let g = l - 6/47. Which is bigger: g or k?
k
Let u = -4 - -4. Let t(f) = f**2 - 8*f + 5. Let b be t(5). Let p be (1 + b/4)/(-6). Is u < p?
True
Let r(y) = -3*y - 1. Let h be r(2). Let v = h - -1. Let u be (-4)/6*v/(-4). Which is smaller: u or -1/8?
u
Let s(f) = f + 3. Let u(c) = 2*c + 7. Let i(k) = -5*s(k) + 2*u(k). Let j be i(-3). Suppose 20 = -7*m + j*m. Is m != -4?
False
Let a be 26/(-30) + (-7)/(-35). Which is smaller: a or 2/5?
a
Let c be 2815/(-1200) - -3 - (-4)/(-6). Is c at least 1?
False
Let m be (-1)/(-1) + 2/(-3). Let x = 140 - 140.2. Which is smaller: x or m?
x
Suppose -8 = 4*i - 5*g, 0 = 5*i + g + 52 - 13. Which is smaller: i or -5?
i
Let r(u) = 18*u + 4. Let z be r(5). Suppose z = 2*p - 2*w, -3*p - 190 = -8*p - 4*w. Let j be (4/p)/((-5)/(-30)). Which is smaller: 2 or j?
j
Let n = 168 + -1339/8. Which is smaller: 0 or n?
0
Suppose b + 2*b + 135 = 0. Let k = b - -136/3. Is -1 at least k?
False
Let s = -318 + 708. Let j = s + -1481/4. Let k = -20 + j. Which is smaller: -1 or k?
-1
Suppose -2 = -5*y - 27. Let q = -3 - y. Are 2 and q equal?
True
Let n = -20 + 18. Do n and 8 have the same value?
False
Suppose -3*s - 27 = 3*v, -5*s - 10 - 11 = -v. Let f = s + 8. Let w = -7 - -11. Is w < f?
False
Let m = 3 - 4. Let x be 1/(32/(-101)) + 3. Let j = 119/352 + x. Is m at least as big as j?
False
Let h = -2.5 + 1.3. Let c = h - -1.3. Is 0.03 equal to c?
False
Let s be 3/(-2)*2*-3. Let i = s + -3. Suppose 6*v - 5*v = 5. Is v <= i?
True
Let p = 0.05 + -0.05. Which is bigger: p or -2/3?
p
Let v = -8189/4 - -1995. Let z = -52 - v. Which is smaller: 1 or z?
z
Let b(o) = -5*o + 23. Let k be b(8). Which is smaller: k or -15?
k
Let x = -13 - -13. Suppose 2*h + 0*h - 8 = x. Which is smaller: h or 3?
3
Suppose -o + 4 = -0. Let q be (3*o/6)/(-4). Is q greater than or equal to 2?
False
Let c = 8.5 - -2.5. Let y = 12 - c. Are 2 and y non-equal?
True
Let o(l) = -l - 4. Let q be o(-3). Suppose g = -2*x - 17, 0 = 2*x - x + 3*g + 6. Which is smaller: q or x?
x
Let y be ((-64)/20)/(3/(-15)). Does 17 = y?
False
Let j be -1*2/(-2) - 0. Which is bigger: 1/35 or j?
j
Let r be ((-9)/2)/((-2)/(-4)). Let s = 24 + 12. Suppose -s = 17*y - 13*y. Are r and y equal?
True
Let l = 15 + -11. Let k = 25 + -18. Let q = k - l. Which is greater: q or 4?
4
Let u = -3311 - -16048/5. Let p = 101 + u. Suppose -3*c - c = 4. Which is greater: p or c?
p
Let d = -0.5 + 2.5. Which is greater: 0.4 or d?
d
Suppose -5*i - 39 = 3*j, -1 = -3*i + 5*j - 4. Let b be (-15)/(-40)*4/i. Which is bigger: b or 0?
0
Let u = -0.4 - 1.6. Let a = 0.51 - 1.51. Let l = u + a. Is l less than -1/3?
True
Suppose 0 = -3*a - 3*x - 14 + 2, a - 4 = 3*x. Let r be -6*(a/(-14))/1. Is -1 < r?
True
Suppose -3*x - 4 = 3*h + 2, -2*h + 4*x = -20. Suppose 7*z = h*z. Suppose 2*y + 3*a - 6 = 0, y + a - 4 + 2 = z. Is y < 6?
True
Let c = 0.62 - 4.52. Let a = c + 4. Let w = a - 0.2. Which is greater: w or 5/4?
5/4
Suppose 0 = a - 2 - 2. Let b be 75/(-27) - a/18. Let x = -5 + 3. Are x and b equal?
False
Let b(a) = -6*a - 35. Let r be b(-6). Let n = 1.04 + -0.04. Is n less than or equal to r?
True
Let x(g) = g**3 - 7*g**2 + 3*g + 2. Let a be x(5). Are -33 and a nonequal?
False
Suppose 0*b - 56 = -4*b. Suppose -b = -2*d + 4*i, 9 = 3*d + 2*i + 20. Is d at least as big as -1/7?
False
Let w(y) = -4*y**2 + 3*y - 2. Let m be w(1). Let v = m + 8. Is 5 smaller than v?
False
Let u = 227536/5 - 45341. Let c = -167 + u. Suppose t = -3*f - 5, 3*f - 3 = 2*t + t. Which is smaller: c or t?
t
Suppose 0 = -o + 2*g - 20, -g - 2*g = -2*o - 37. Let j = -11 - o. Which is greater: 2 or j?
j
Let m(a) be the first derivative of a**2/2 - 7*a - 3. Let h be m(6). Is -1 not equal to h?
False
Let q be 9/(-54) + (-25)/(-6). Suppose 10 = q*x - l - 1, -l + 9 = x. Is 4 < x?
False
Let w(k) = k**2 - 4*k + 4. Let l be w(3). Do 2/143 and l have the same value?
False
Let k(g) = g**3 - 5*g**2 + 5*g. Let b be k(4). Let t be 2/b + (-6)/8. Let r = 2 + -3. Which is bigger: t or r?
t
Let h = -1 - -2.4. Let a = h + -0.4. Let k = -1 - a. Which is smaller: 1 or k?
k
Let h(k) = k**2 - 12*k - 19. Let o be h(9). Which is bigger: o or -47?
o
Let g = 0.258 + -0.158. Is g less than -0.024?
False
Let p = 2/141439 - 45684837/2828780. Let v = p + 63/4. Is v less than 11?
True
Let o = 0 - 0. Let n be 8/28 - (-2)/(-252)*64. Which is smaller: n or o?
n
Let a = -5 - -4. Let i = a - -2. Let s = -0.2 + 0.1. Is i 