 Suppose -b = -2*r - 2*r - 11, -3*b - 5*r = g. Is b at most 2?
False
Let t be (-160)/25 - 2/(-5). Let l be 10/t + (-8)/(-12). Let c = 0 + l. Do -1 and c have the same value?
True
Let s = 75 + -70. Is s bigger than 2?
True
Suppose 0 = -i - 4*i + 20. Suppose -3*g = -5*m - 30, -i + 23 = 2*m + 5*g. Let n be m*((-10)/(-3))/(-2). Which is smaller: 4 or n?
4
Let s = 47 - 39. Is 6 > s?
False
Let m be (-2)/(-4) - 30/(-20). Let v(a) = 4*a. Let r be v(1). Which is smaller: m or r?
m
Let t = 7.334 + -0.034. Let d = t + -7. Let q = d + -0.4. Is -0.1 at most q?
True
Let d(r) = r**2 + 5*r - 3. Let h be d(-4). Let c(z) = z. Let o be c(h). Which is greater: -8 or o?
o
Let d = 0 - 0. Suppose 22 = b - 5*g, 0 = -2*b + 3*g - 8*g - 16. Which is smaller: d or b?
d
Let s = 1 - 1. Let v(t) = t**3 - t**2 + t + 5. Let i be v(s). Suppose 0 = 5*h - 3*h - 8. Is h at most as big as i?
True
Let w be (-92)/(-90) - 2/9. Let j(i) = -i - 5. Let m be j(-7). Which is greater: w or m?
m
Let f(s) = 3*s**3 - s**2 + 2*s - 1. Let k be f(1). Suppose m + k*d = 7, 5*m = -3*d + 16 - 5. Which is bigger: 0 or m?
m
Suppose 1 = 5*n + 2*g + 5, -4*g - 8 = -2*n. Which is smaller: n or -5/9?
-5/9
Let s = -24 - -11. Let i be 13/1*(-3 - -2). Is i >= s?
True
Let i = -62/7 - -241/28. Suppose 2*k - 2 = -2*v, -3*k + v = -3*v + 4. Which is smaller: i or k?
i
Let s = -0.6 - 5.4. Let b = s + 3. Is b at most -1/2?
True
Let c = 775/2 - 28667/74. Which is bigger: c or -1?
c
Let q(x) = -4*x**2 - x. Let p be q(1). Let i be (-22)/p - (0 - 0). Let c = i - 164/35. Is c bigger than -1?
True
Suppose 2*f - 5*s - 10 = f, 3*s = -3*f - 6. Let i be (-3)/(-9) - (-5)/3. Is i <= f?
False
Let q = 49 - 34. Let b = 15 - q. Which is bigger: b or 1.5?
1.5
Let v = 60 + -247/4. Is v less than or equal to -3?
False
Let j(g) = -g + 11. Let s be j(6). Suppose s*a + 3*f - 181 = 4*f, -4*a - 2*f + 142 = 0. Let z be ((-2)/(-4))/((-30)/a). Which is smaller: z or -1?
-1
Let y be 3 - (-5 - 0/3). Is 8 <= y?
True
Let h = -221 - -5968/27. Which is smaller: h or 1?
h
Let r be 280/(-32) - ((-12)/(-4))/12. Let u = 14 - 23. Is r less than u?
False
Let z(f) = f**2 + 3*f - 4. Let j be z(-4). Suppose -9 = 2*h + 3. Is j at most as big as h?
False
Let z be ((-2)/(-4))/((-4)/(-20)). Suppose -2*u + 15 = 3*u. Is u less than z?
False
Suppose 0 = 3*k + 2 - 26. Suppose 0 = 4*t + 4 + k. Let s be 3/9*t/4. Is -0.2 != s?
True
Let k be 3/((-3)/34)*1. Let h be 4/18 + k/72. Is h not equal to 0.06?
True
Let d be 23/(-4) - 7/28. Is -4 at least d?
True
Let m(o) = 0 + 2 + 1 - 4 - 2*o. Let b be m(-1). Which is smaller: b or 2/25?
2/25
Let h = -1/7 - -10/21. Is h != -3?
True
Let m(f) = f**2 - 7*f + 6. Let n be m(7). Suppose -y = -3*y - n. Let u = -1 + -2. Is y equal to u?
True
Suppose 4*f = 2*m + 16, -3 = -m - 3*m + f. Is m smaller than 2?
False
Let d be (4 - 7) + (-2 - -17). Let l = d - 14. Is -2 less than l?
False
Suppose -8 = -0*i - 3*i + 5*z, 3*i - 2*z = -4. Is -2/9 > i?
True
Let o = 62 - 61.6. Is -16 at least o?
False
Let p = -6 + 8. Suppose 0 = 2*w + 4 - p. Let x = -1/7 + -4/21. Which is greater: w or x?
x
Suppose a + 4*i + 18 = -a, 0 = -a + 5*i + 26. Which is smaller: 18 or a?
a
Let y = -0.09 - 6.91. Let d = y + 5. Let b be (-4)/(-14) + -3 + 3. Which is smaller: d or b?
d
Let g = 5737/900 - -1/1800. Which is greater: g or 6?
g
Let s be 2/5 + (-28)/(-5). Let v be s/(-18)*(-3)/2. Which is smaller: 2 or v?
v
Let q = 0.04 - 0.11. Let o = 0.07 + q. Which is smaller: o or 1?
o
Let d be 2*16/(-6)*(-6)/4. Which is bigger: d or 22/3?
d
Let f be 1228/1380 + (-3)/5. Let h = 1/23 + f. Does 2/3 = h?
False
Let q = -15 + 18. Which is smaller: q or -6?
-6
Let n = 3 - 14. Which is greater: 0.1 or n?
0.1
Let n be ((-4)/56)/((-1)/(-12)). Which is greater: 0 or n?
0
Let d = 15 - 1. Which is smaller: d or 13?
13
Let t = 17 - 18.4. Let m = t + 3.4. Which is greater: 1 or m?
m
Let s = -10.3 + 10.2. Is s != -0.4?
True
Let r be ((-10)/(-6) - 0)/(-2). Suppose -4 + 1 = -d. Let g be 0*(0 - d/6). Which is smaller: g or r?
r
Let k = 117 + -49. Suppose 0 = z - 2*h + k, -2*z = -6*z - 2*h - 262. Let s be 168/z - 2*-1. Which is smaller: -2 or s?
-2
Let k = -16 + 17. Which is bigger: k or 2/11?
k
Let v(t) = t**2 - 5*t - 2. Let u be v(6). Suppose y = -2*j + u, 6*y = y - j + 2. Which is smaller: 1/2 or y?
y
Suppose 4*v + 6 + 6 = 0. Let y be (-1)/(-4) + v/12. Suppose -20 = p + 5*d, 0 = p - 2*p + 5*d + 20. Are y and p equal?
True
Let o(s) = -s - 53. Let k be o(0). Let x = k + 157/3. Let j(f) = -f**3 + f**2. Let a be j(1). Which is greater: x or a?
a
Let v = 2699/7085 - -2/545. Is v at most as big as 0?
False
Let k = -5 + 4. Suppose 3*l + 0*l = -372. Let w = l - -2358/19. Which is bigger: k or w?
w
Let c = -71 + 112. Do c and 43 have different values?
True
Let s = -0.1 - 0. Let v be (1/9)/(5/5)*1. Which is bigger: s or v?
v
Let r = -27479863327/25220 - -1089606. Let z = -61259303/277420 + r. Let p = 221 + z. Are p and 1 equal?
False
Let y = 7/2 - 95/14. Let l = -3 - y. Which is greater: l or -1?
l
Let q = -0.21 - -0.06. Let f = -0.05 - q. Let b = f - 0. Are b and 3 nonequal?
True
Let u = 259 + -12690/49. Which is greater: u or 1?
1
Suppose 2*y = y + 5. Suppose -4*s + 5 = -2*b - 7, 15 = -s + 5*b. Suppose -s*w - 2*h - 3 = -0*h, 2*w = 3*h - y. Which is smaller: w or -5/4?
-5/4
Suppose 2*n = -n - 12. Let o = 9 + n. Let h(y) = -y**2 + 5*y. Let x be h(o). Is 1/3 bigger than x?
True
Let p = 138 - 137.3. Are 5 and p unequal?
True
Let w(x) = x**2 + 7*x + 9. Let g be w(-6). Let j be (-6)/4*2/g. Let h = -40 - -39. Is h <= j?
True
Let d(k) = 18*k + 2. Suppose 4 = 5*p - p. Let h be d(p). Is h >= 21?
False
Let q = -0.09 - 10.91. Let c = 8 + q. Which is bigger: c or -2/3?
-2/3
Suppose 13 + 7 = 4*j. Let a be -2*(j/2)/1. Let q be (0 - -1)/(a/(-3)). Is q <= 1?
True
Let i = 2/1367 + 6809/17771. Let w = -308743/52 - -5938. Let v = w - i. Which is bigger: v or -4?
v
Let p = 0.24 + -0.04. Let l be (0 - 2)/(4/(-18)). Let x = l - 26/3. Are x and p unequal?
True
Let x = 93 + -82.9. Let v = -119 + 129. Let n = v - x. Is -1/10 < n?
False
Let h(q) = -2*q**2 + 2. Let f be h(-2). Let a(s) = s**3 - 5*s**2 + 4*s - 5. Let z be a(4). Are f and z unequal?
True
Let k be (-28)/(-6)*6/4. Suppose 0 = 4*p - 5*n + n, 2*n = 0. Let r be p + (k/9 - 1). Which is smaller: 0 or r?
r
Let f(g) = g**2 - 3*g - 1. Let j be f(3). Which is smaller: -3 or j?
-3
Let n be 2/7 + 0 + (-2184)/2156. Which is smaller: 0 or n?
n
Let g(x) = x**2 - 5*x + 1. Let f be 51/9 - 4/6. Let s be g(f). Let q be 7/(-3)*(-12)/84. Is q smaller than s?
True
Let t(k) = -k**3 - 11*k**2 - 11*k - 12. Let w be t(-10). Does 1 = w?
False
Suppose -u + 4 + 8 = 0. Which is greater: u or 13?
13
Suppose -2*u + 729 = -f + 6*f, 0 = -5*f + 2*u + 741. Suppose -2*s = 211 + f. Let i = 1255/7 + s. Is i bigger than 1?
False
Let o be -4 + (6/2 - 5). Let q be 1/2*(-6)/o. Which is smaller: 0.2 or q?
0.2
Let p = 155458 - 2797465/18. Let m = 87/2 - p. Which is bigger: m or 1/4?
1/4
Let z(v) be the second derivative of -v**4/12 + v**3 + 4*v. Let b be z(6). Which is greater: b or 8/7?
8/7
Let l be 91/682 - (-4 - 138/(-33)). Is l >= -1?
True
Let o be 6/(-9)*6/(-4). Which is smaller: 0 or o?
0
Let k = -6 - -6.1. Which is smaller: k or 2?
k
Suppose 0 = 4*s + 2*a, -13 = 4*a - 5. Let h be -1 + (-1 - s) - -2. Which is smaller: h or -3?
-3
Let u = -6 - -10. Suppose -h - u*h = 0. Suppose -2*t + h*t = 6. Is -3 > t?
False
Let y(h) = -2*h - 8. Let c be y(-6). Let q be (-1)/(-1 + c/2). Is -1/9 != q?
True
Let n(w) be the second derivative of -w**5/20 + 5*w**4/12 + w**3/6 - 4*w. Let v be n(5). Which is smaller: v or 4?
4
Let v(o) be the third derivative of -o**6/120 + 2*o**5/15 - o**4/4 - 2*o**3/3 + o**2. Let u be v(7). Do u and 3 have different values?
False
Let b = 69 + -110. Which is smaller: b or -1/3?
b
Suppose -j = 3*j - 24. Suppose 3*w - j = -3. Let l be (-2)/(-26)*(-2)/(-1). Are w and l non-equal?
True
Suppose -5 = -5*q - 5*a, 0 = -4*q - a + 5 - 1. Which is bigger: -1/8 or q?
q
Suppose 6 - 41 = -5*w. Does w = 6?
False
Let f(n) = -n**3 - 6*n**2 - 4*n + 6. Let x be f(-5). Which is smaller: x or -2/17?
-2/17
Let v = 14 + -20. Which is smaller: -5 or v?
v
Suppose 5*b + 5*w = 70, -3*b - 4*w = -5*w - 22. Let d = b + -17. Are d and -9 equal?
False
Let d = 3.5 + -0.5. Which is greater: 0 or d?
d
Let q = -13 - -18. S