r 1?
1
Let x = 148 + -111. Is x bigger than 38?
False
Suppose -2*o - 3*u + 2*u = 3, 0 = 4*o - 3*u - 19. Let b = 6 - o. Which is greater: 6 or b?
6
Let t = -0.56 - -87.66. Let s = -82 + t. Let f = s + -5. Is f at most -1?
False
Suppose 0 = -4*t - l + 4, 5*t - 5 = -0*t - l. Let j be (-1)/(3/(-2))*-3. Let k be 8/21 + j/(-7). Is t >= k?
True
Let j be 2/6 + (-8)/6. Let v = 2 - 5. Let x be (-5)/v*(-6)/15. Which is bigger: j or x?
x
Let b(s) = 5*s**2 + 8*s - 3. Let w(t) = t**2 + t - 1. Let j(d) = b(d) - 4*w(d). Let g be j(-3). Let a = 0 - g. Which is bigger: a or 3?
3
Let y be (-14)/(-21) + 1054/(-6) + -2. Let w = -6500168/19 + 341937. Let z = w - y. Is -1 greater than or equal to z?
False
Let h be ((-1)/3)/(4/6). Is h bigger than -2?
True
Suppose 5*a = -7*a + 12. Which is bigger: 8/35 or a?
a
Let a(b) = -b + 8. Let h(k) = -4*k + 1. Let l be h(-2). Let o be a(l). Let w = 76 - 378/5. Which is smaller: w or o?
o
Let x be 2/(-4)*(6 - 14). Suppose 5*h + 3*f + f + 4 = 0, -x*h + 3*f + 3 = 0. Let g = 0.1 - 1.1. Is g bigger than h?
False
Suppose 2*l + 6 = -2*r, -3*l = l - 5*r - 24. Let t = 30422 - 242519/8. Let j = t - 107. Which is smaller: j or l?
j
Let q = -4/13 - 5/26. Let d = -0.6 + 0.4. Is q less than d?
True
Let k = -107 + 83. Which is smaller: -23 or k?
k
Let b = 1.2 + -1.2. Let d = -2 + 5. Which is bigger: b or d?
d
Let r be (-8)/(3/((-3)/(-1))). Let l = r - -14. Which is smaller: 7 or l?
l
Let a be ((-4)/(-14))/(12/28). Let p = 0 + 0. Which is smaller: p or a?
p
Suppose -5*d + 36 = -2*d. Let t = d + -8. Let s be (4*(-3)/(-6))/t. Which is smaller: -0.4 or s?
-0.4
Let c(b) be the first derivative of 4*b**3/3 + b**2/2 + 9*b - 1. Let x(o) = -o**2 - 2. Let d(k) = 2*c(k) + 9*x(k). Let h be d(1). Is 2 less than h?
False
Let g = -0.12 + 0.03. Let y = g - -1.09. Are -2/3 and y unequal?
True
Let a(y) = y**3 + 3*y**2 + 3. Let o be a(-3). Let k(b) = -1 - o*b + 4*b + 0. Let x be k(0). Are 2/5 and x non-equal?
True
Let k(i) = -i**2 - 4*i. Let v be k(-4). Suppose -3*a + a - 14 = v. Let y(o) = -o**3 - 7*o**2 - 3. Let l be y(a). Is -2 smaller than l?
False
Let h be (-42)/33 + (-2)/(-2). Let b = 17/22 + h. Is b at most 0?
False
Suppose 4*y = 45 + 19. Suppose 0 = 2*r - 5*x + y, -5*r - 3*x + 4*x = -6. Let g(t) = -2*t - 3. Let s be g(-3). Is s at least r?
True
Let q = -2 + 4. Let i be 1/(4/8*q). Let k = 29/148 + 2/37. Is k less than or equal to i?
True
Let l = 7 + -3. Let b = -6 + l. Let j = b + 1.8. Is -1/3 at least as big as j?
False
Suppose 0 = -3*n + 167 - 23. Suppose z + n = -4*t + 3*z, -5*t = -4*z + 63. Are t and -12 nonequal?
True
Suppose 0 = 2*v + 2*c + 2, 0 = 3*v - 4*c - 0*c + 10. Let l be 0/(v*2 + 3). Which is bigger: l or 2/27?
2/27
Let x(d) = -d**3 + 6*d**2 - 7*d + 10. Let o be x(5). Is -19 < o?
True
Let k = -0.2 + 0.1. Let n = -8 - -6.9. Let u = n - -1. Is u greater than or equal to k?
True
Suppose -2*b + 2*y - 42 = 0, 0*y + 2*y = 5*b + 117. Let k be (20/b)/((-2)/10). Suppose w + k*w = 0. Is w not equal to -1/3?
True
Suppose 2*t - 32 = -5*p - 2*t, -5*t - 50 = -5*p. Suppose 3*f - 45 = -2*f. Which is bigger: p or f?
f
Let x = -20 - -21.1. Let s = x - 1.3. Is s > -3?
True
Let y be 9/(-24) + 3/72. Is -0.098 <= y?
False
Let c = 200 - 191. Which is bigger: c or 7?
c
Suppose 3*q + o = -127 + 24, -2*q - 4*o - 52 = 0. Is -35 bigger than q?
True
Let v = 35 + -737/21. Let n(c) = -c**2 + 2*c + 24. Let x be n(6). Which is greater: x or v?
x
Let y be 54/12*(-2)/3. Let g be (-3)/(y/(-4)*-2). Let t be ((-6)/16)/(-3)*6. Which is greater: t or g?
g
Let z(c) = c**3 + 6*c**2 + 5*c - 1. Let x be -4 + 3 + 0 + -3. Let a be z(x). Is 12 at least a?
True
Suppose -3 = 11*g - 8*g. Let j(z) = -z**2 + 9*z + 1. Let o be j(4). Let q be 0 + 1 + (-30)/o. Which is smaller: q or g?
g
Let o = -96 + 64. Which is bigger: o or 0.1?
0.1
Let w = 8 - 5. Let g = -13 + w. Which is smaller: g or 0?
g
Let a = 7 - 7.1. Suppose 0 = 2*n - n. Suppose n = 3*i + 2*i + 5. Is a > i?
True
Suppose -10 + 4 = m. Let r = -15 - m. Is -8 at least r?
True
Let h(s) = -s - 9. Let b be h(-4). Let i be (-134)/30 - (-10)/(-30). Let g = b - i. Is -3 greater than or equal to g?
False
Suppose 2*s - 6 = 2. Let a = s - -12. Let m be (-2)/(-8) - 20/a. Does m = -1?
True
Let r = 177/4 - 44. Let z = -2 - -1. Let w = -2 - z. Are r and w non-equal?
True
Let x = -1 + 2. Let g = 4 - 2. Suppose g*j + 0*j = -4, 3*j = -3*k. Which is bigger: x or k?
k
Let p(r) = -r**3 + 2*r**2 - r + 2. Let m(s) = s**2 - 13*s + 2. Let n be m(13). Let b be p(n). Are -3/4 and b unequal?
True
Let d = -2 + 2. Suppose -2*i + 6*i + 4 = d. Is -2 less than or equal to i?
True
Let i(o) = o**2 + 5*o + 1. Let d be i(-2). Let t be (6/(-18))/(2/(-30)). Let b = d + t. Are -6/11 and b unequal?
True
Let z = 962/5 + -193. Is z less than -2?
False
Let y = 13.7 - -0.3. Let i = -13 + y. Is 5 at most i?
False
Let y(a) = a**3 + 2*a**2 - 3*a - 2. Let q be y(-3). Which is bigger: -29 or q?
q
Let g = -0.26 + -2.54. Let u = 1.8 + g. Are 0.1 and u non-equal?
True
Suppose -5*j - 5 = -3*i + 1, 4*i = -2*j + 8. Which is smaller: 3/4 or i?
3/4
Suppose 0*n + 16 = 4*n, 0 = -2*a - 2*n + 16. Suppose 2*v = -3*c - 2*v + 21, -6 = c - 3*v. Suppose -s + 0*s = -c. Is s less than or equal to a?
True
Suppose b - 25 = -0*b. Is b greater than 25?
False
Suppose -l = -2*l + 1. Let z be l/(-4) - 3/4. Suppose 3*a = a - 4. Is z smaller than a?
False
Let b be 4/(-6)*102/(-4). Let r = b + -53/3. Suppose 0 = 3*l + 3*c + 3, 0 = 2*l - c + 2 - 3. Which is greater: r or l?
l
Let n(q) = -q**3 + 2*q**2 + 2*q - 8. Let h be n(0). Which is bigger: h or -12?
h
Let d = -29 - -27. Which is smaller: -3 or d?
-3
Let h = 68 - 125. Are -56 and h non-equal?
True
Let n = 0.316 + -0.216. Are n and -0.155 equal?
False
Let o(y) = -y + 1. Let d be o(-1). Let w be (-134)/4 + d/4. Let t be (-48)/22 - 6/w. Is t at most as big as -1?
True
Let z = 0.9 - -0.1. Let w = z + -3. Let v = 1 + w. Which is greater: v or 0.2?
0.2
Let n = -71/175 - -3/25. Suppose 4 = 2*b, 5*b - 6 = 6*d - 2*d. Which is smaller: n or d?
n
Suppose 2*c - 26 = 5*u, 0 = -4*c - u - 0*u + 8. Which is greater: -10 or c?
c
Suppose 4*a + 0*a - 8 = 2*r, -4*a + 20 = -5*r. Suppose a = 5*w - 23 + 3. Which is bigger: w or 3?
w
Suppose -2*g = 3*g - l + 5, 5*g = 4*l - 20. Suppose -36 = 2*v + 2*v. Let k = v - -9. Is g less than k?
False
Let b be 34/28 + 4/14. Is -0.1 greater than or equal to b?
False
Let n = 10 - 5. Let z = -5.12 + n. Let u = z - -0.02. Which is smaller: -0.2 or u?
-0.2
Suppose 0 = -5*q - 4*c + 54 + 63, 69 = 3*q + 2*c. Is q < 20?
False
Let f = -0.28 - 17.72. Let c = -23 - f. Which is bigger: 0.2 or c?
0.2
Let m = -111 - -112. Which is greater: -21/8 or m?
m
Let j be 86/6 + (-16)/(-24). Is 16 <= j?
False
Let x be (-2)/3*(-30)/(-16). Let r be 2/8 + 10/240*-6. Which is smaller: x or r?
x
Let p(i) = -i**3 - 13*i**2 - i - 11. Let t be p(-13). Suppose -t*o = -0*o - 10. Are 5 and o equal?
True
Let z = -971/7 - -139. Which is smaller: -1 or z?
-1
Let u(c) = 16*c + 66. Let w be u(-4). Is -0.3 at least as big as w?
False
Let c(p) = -p**3 + 8*p**2 - 8*p + 9. Let n be c(7). Suppose -v + n = -2*v. Are v and -3 equal?
False
Let m(i) = i**3 + 2*i**2 + i - 2. Let a be m(-3). Let u be ((-12)/(-18))/(a/(-6)). Which is smaller: 1 or u?
u
Let w = 132 - 260. Which is smaller: w or -127?
w
Let c = -2/1533 - -3152/65919. Is c bigger than 1?
False
Let k = -0.17 + -0.83. Which is bigger: 1/7 or k?
1/7
Suppose 0 = -5*m - 0*m. Let g be 0 + m - (-9)/(-1). Let k = -10 - g. Is -1 > k?
False
Let x(u) = u**3 - 4*u**2 - 2*u + 5. Let a be x(4). Let h be 4 + 1 + 9/(-3). Suppose -v - h = 1. Is a at least as big as v?
True
Let g = 9 - 15. Let l = g + 7. Is -3/5 greater than or equal to l?
False
Let j = -17 - -9. Is -1 >= j?
True
Let s be 11/3 - (-3 + 6). Suppose 2*q = -3*o + 8, 3*o + 0*q = -3*q + 6. Suppose -o*g = -7*d + 2*d + 14, -1 = -3*d - 5*g. Which is smaller: s or d?
s
Let f be 22/99 - (-16)/(-66). Is f less than 0?
True
Let u be (-954)/(-5610) - 6/33. Let f = 89/340 + u. Suppose 0 = -n - 2 + 1. Which is greater: n or f?
f
Suppose 4*g + s + 1 + 4 = 0, 4*s - 16 = 2*g. Which is greater: g or -1?
-1
Suppose -7*o + 30 = -o. Suppose -p - 2*j - 9 = 0, -o*j - 9 - 19 = -3*p. Which is bigger: -2 or p?
p
Let y = 2 - 1.9. Let v = 1 + 0. Let z = v + -1.1. Which is bigger: z or y?
y
Let j(b) = 2*b - 4. 