r v?
v
Let y = 14 + -16. Let o be 2 - ((0 - -1) + 1). Which is bigger: o or y?
o
Suppose -3 - 2 = -z. Suppose z*k - 21 = 19. Let l be k/6*(-6)/4. Is l bigger than -2?
False
Suppose 0 = -3*q - 22 + 7. Is q greater than or equal to 2/3?
False
Suppose 3*s + 6 + 0 = 0. Suppose -4*o - 12 = 3*p, 5*p + 9 = -5*o + 2*o. Does s = p?
False
Let u = 82 + -83.98. Let l = u + -0.02. Let k = 5/3 - 2. Is k <= l?
False
Let b = 0.01 - 0.91. Let p = b - -0.6. Which is smaller: p or -0.05?
p
Let n be (-7 - -4) + 4*1. Which is smaller: 2/69 or n?
2/69
Let o be (1 - (-33)/(-60)) + 3/4. Is -0.3 at least o?
False
Suppose 3 = u - 3. Suppose -u*c + 5*c = 0. Is c at least as big as -2?
True
Suppose -3*w - 3*d + 15 = 0, 0*d - 2*d = -5*w + 25. Suppose w*v + m = 24, 4*m + m + 20 = 3*v. Let g = -6 + v. Which is bigger: g or -7?
g
Let s(h) = h**2 - 4*h - 2. Let q be s(5). Suppose i = -q*i. Suppose 4*c = 0, -3*x - 2*c + 0*c = i. Is 0.3 > x?
True
Suppose 2*l + 416 = 28*l. Which is smaller: -0.2 or l?
-0.2
Let l be -6*(2 + -1*3). Let u(s) = -s + 6. Let g be u(l). Is g not equal to 1/8?
True
Let d = 14 - 7. Let r be 1*((-6)/d)/(-2). Which is smaller: 1 or r?
r
Let b = -108 + 1295/12. Suppose 0 = -2*a - 6 + 8. Which is smaller: b or a?
b
Let z(g) = g**3 - 2*g - 1. Let s be z(2). Suppose -4*p - 1 = -x, s = -4*p - 5*x - 16. Which is smaller: p or 0?
p
Suppose 664 = 4*z - 2*o, 0*o - 5*o + 815 = 5*z. Let n be 2/11 + 25/z. Which is greater: n or 0.03?
n
Let y be 39/(-13) + -1 + 3. Which is greater: y or -0.025?
-0.025
Suppose 4*u + 3 + 5 = -4*a, 3*a = -u - 4. Let w = u - 0. Which is smaller: w or 2/11?
w
Let n = -7/15 - -2/15. Let k = n + 1/6. Let l(t) = -t**3 - t - 1. Let q be l(0). Is k < q?
False
Let o = 66/673 + -207601/10095. Let v = o - -61/3. Is -1 greater than v?
False
Let t be 16 + -9 + 3/(-1). Do t and 2 have the same value?
False
Let g be (30/(-20))/(1 - -2). Is -1 smaller than g?
True
Let q be 0/((-3)/(-2 + 5)). Let g(o) = -o**3 - 3*o**2 - 3. Let j(y) = y**2 + 1. Let n(r) = g(r) + 6*j(r). Let h be n(3). Does q = h?
False
Suppose 0*y = 3*y - 15. Suppose -2*i = 3*q - 11, -q + 2*q = -y*i - 18. Does q = 6?
False
Let f be 5/2 + (-5)/10. Suppose -4*j = -f + 18. Let u = -2 - 1. Is j smaller than u?
True
Let k = -6.3 - -6.7. Which is bigger: k or -7?
k
Let b = -5 + 4.95. Suppose w - 2*t + 39 = -2*w, 75 = -4*w - 5*t. Let y be (-10)/w + 1/(-6). Which is smaller: b or y?
b
Suppose 0*o = -4*o. Let c be (0 - (-122)/114) + -1. Let u = -50/171 + c. Which is bigger: o or u?
o
Suppose 0 = 5*f - 0*f + 5. Let r = -1/68 + -7/68. Which is smaller: r or f?
f
Let t = 0.49 + 6.11. Let k = 1.6 - t. Are 1/2 and k non-equal?
True
Let y = -9 + 9.2. Is -0.11 at most y?
True
Let o be 17*(0/(-3) + 1). Suppose 3 = 4*g - o. Which is smaller: 2 or g?
2
Let d(f) = -3*f - 6. Let w be d(-4). Let q = w - 0. Let k be q/(-3 - 9/(-6)). Is k greater than -3?
False
Let j(y) = 2*y**2 + 11*y - 5. Let i = 18 - 24. Let t be j(i). Which is smaller: t or -5?
-5
Let a be -2 + (-4)/1 + 2. Let q be (a/(-15))/((-4)/10). Let o = 5 - 6. Is o greater than or equal to q?
False
Let v(n) = n**2 + 5*n - 4. Let y be v(-6). Let j(p) = -6 - p + 3*p + 2*p + p**y. Let i be j(-5). Are 1/3 and i unequal?
True
Let l(z) = z**2 + 2*z + 1. Let k be l(-3). Let m be 2/(-4) + 6/k. Let s be (8/14)/(10/((-560)/(-24))). Which is smaller: m or s?
m
Suppose 4*s - 1 = 15. Let a be 3/(-6) + 2/s. Let b be (0 - -1)/(-3) - 0. Which is smaller: b or a?
b
Suppose g = 2*g - 2. Suppose -g*h + 16 = 2*h. Suppose 9*v = h*v. Which is greater: v or -2/5?
v
Suppose -4*t - 4 = -4*h, 5*t + 2*h + 0 + 19 = 0. Let x be (t/(-4))/(8 + -5). Let y(r) = -r**3 + 8*r**2 + 8*r + 10. Let w be y(9). Is w at most x?
False
Suppose 0*b + 5*b = -30. Which is smaller: -5 or b?
b
Suppose 3*x + 5*w - 1 = 4, -3*x + 3*w = 27. Suppose 0 = -2*u - 3*y + 9, -4*u + 2*y = 5 + 1. Which is greater: u or x?
u
Let h(r) = r - 2. Let n be h(4). Let l(u) = u**2 + 3*u + 1. Let o be l(-3). Which is greater: n or o?
n
Let u = 176/195 + -10/13. Let s be (1 - -1)*1/(-3). Which is smaller: u or s?
s
Let c be 280/(-15) - (-2)/6. Let d = c + 19. Which is greater: d or 1?
1
Let i be (4*2)/((-760)/(-68)). Let h = i - 6/19. Let x be ((-2)/4)/(3/(-6)). Is x greater than h?
True
Let m = 756.49 - 760. Let k = m - -1.53. Let u = k + -0.02. Which is smaller: u or 1/5?
u
Let o = 0.083 - 1.183. Do -1 and o have the same value?
False
Let a = -7.03 - -7. Is 1 less than a?
False
Let t = 0.3 + -1.3. Let p = 30 - 30.3. Which is greater: t or p?
p
Let m = 30 - 46. Are -16 and m equal?
True
Let u = 2 + -4. Which is smaller: u or 2?
u
Let r = -2 + 3. Let p = -53/28 + 15/7. Which is bigger: r or p?
r
Let v be -82*(1 + 9/(-10)). Which is greater: -7 or v?
-7
Let a(n) = n**3 + 6*n**2 + 6*n + 6. Let c be a(-5). Suppose h - 3*z = 2 + 1, -h = -5*z + 1. Let o be -3*((-8)/h)/4. Which is greater: c or o?
c
Let j(v) = 3*v**3 + 12*v**2 - 7*v + 11. Let m(y) = -4*y**3 - 18*y**2 + 10*y - 16. Let f(o) = 7*j(o) + 5*m(o). Let i be f(6). Is i < 1?
False
Let j = -21 - -9. Is -12 at most j?
True
Let a = 89/60 + -49/12. Which is bigger: -2 or a?
-2
Suppose -2*o + 1 - 5 = 4*x, -2*o = 3*x. Let r be 8/9 + o/(-27). Which is greater: r or 2?
2
Let g = -4 + 6. Let v be (g/(-6))/((-1)/(-6)). Let x(l) = -l + 2. Let a be x(6). Are a and v nonequal?
True
Suppose 2 + 0 = -h. Suppose -3*i = 0, 4*l + 15 = 4*i - 1. Is h greater than or equal to l?
True
Let z = -324/1085 - -2/155. Let g = 246 - 246. Which is smaller: z or g?
z
Let y be 402/28 + 14/98. Which is smaller: y or 15?
y
Let t = 1 - 1. Suppose -4*l = g + 3, 3*l + 0*g - 4*g - 12 = 0. Is t at least l?
True
Let c(j) = j**3 - j**2 - j + 3. Let h be c(0). Let x be -2*h/6 - 1. Is -4/7 less than x?
False
Let n = 0.53 + -0.03. Let o = n + -0.8. Let u = -0.4 - o. Is 0.4 > u?
True
Let f = -67 - -67. Do f and -1 have different values?
True
Let g be (-2)/(-1)*5/((-60)/(-2)). Let q be (-16)/(-90) - 4/10. Which is greater: g or q?
g
Suppose -42 = 89*v - 91*v. Is 19 less than or equal to v?
True
Suppose 3*b - 4*h - 5 = 0, 0 = b + 3*h - 5 + 12. Is b at least -2/117?
False
Let c be 8/((-10)/5) - (2 - -1). Is -4 smaller than c?
False
Suppose 0 = -4*t + 6 - 2. Which is smaller: t or -4/19?
-4/19
Suppose 10*x = 3*j + 5*x + 55, 5*j = 2*x - 117. Is -49/2 >= j?
True
Let u be ((-8)/(-184))/((-2)/4). Which is greater: u or 0?
0
Suppose 4*w - 26 = -5*z + 5, -4*w + 2*z = -38. Suppose -c + w = 2*c. Let g(a) = -a**2 + 3*a - 1. Let q be g(1). Is q less than or equal to c?
True
Suppose -z - 2*z = -15. Suppose 0 = -2*f, 3*m + z*f = 3*f. Is m smaller than -4/11?
False
Suppose 8*t - 10*t = 24. Let a = t + 15. Is 3 != a?
False
Suppose 0 = -0*r - 3*r. Let z = r - 1. Let u(s) = s**3 - 3*s**2 + s - 4. Let g be u(3). Are g and z equal?
True
Let p = 19 + -29. Let z = 28/3 + p. Which is bigger: z or 1/5?
1/5
Let d = -5.9 - -6. Which is smaller: d or 2/5?
d
Let x(u) = u**3 + 3*u**2 + u. Let k be x(-1). Let w(h) = h**3 - h**2 + 1. Let v be w(k). Let b be (-7 + 7)*2/(-4). Which is smaller: b or v?
b
Let h = -14.53 - -2.83. Let c = 12 + h. Is c greater than -4?
True
Let w = -8 - -7.7. Let n = 0.2 + w. Let q = -198.8 - -199. Is n > q?
False
Let d(f) = 3*f - 2. Let i be d(2). Suppose 12 = i*x, 4*b = 7*b - 4*x + 18. Are b and -1 equal?
False
Let s(k) = k**2 - 19*k + 13. Let p be s(13). Is -65 bigger than p?
False
Let n = -1 - -1. Let l = 1401487/11 + -127542. Let z = l + 134. Is z bigger than n?
False
Let v(g) = -g**2 - 7*g - 7. Let u be v(-6). Let n be ((-12)/((-3)/(-1)))/(-2). Suppose -3 = t + n*t. Is t at least as big as u?
True
Let c = -11 + 5. Suppose 0 = 3*y - 7*y - 20. Which is smaller: y or c?
c
Suppose 3*y + 3*g = -y + 74, 3*y = -2*g + 55. Which is smaller: y or 18?
y
Let z(c) = c + 4. Suppose 0*f = -f - 2*a - 11, 2*a - 9 = 3*f. Let n be z(f). Are n and -3 non-equal?
True
Suppose 4*x + 169 = 5*c + 683, 4*x = 3*c + 302. Let h be c/8 + 3/12. Let z be (-3)/(-18) - h/(-24). Which is smaller: 0.1 or z?
z
Let p(b) = -3*b**3 - 7*b**2 - 9*b + 6. Let x(c) = c**3 + c**2 + c. Let h(m) = p(m) + 4*x(m). Let a be h(4). Which is bigger: 1 or a?
a
Suppose 3*w + 18 + 15 = 0. Suppose -7*m - 168 = 7*m. Which is smaller: m or w?
m
Let t = 10 - 9.9. Which is smaller: 9 or t?
t
Let q be (-82)/900 + (-5)/10. Let t = q - 2/225. Let f = 37/45 + t. Is f < 1?
True