less than or equal to s?
True
Let l be -5*4/(-70) - (-121)/(-7). Is l > -19?
True
Let l be -1*(0 + (-6)/3). Let w be (l + -1)*(0 + 2 + -3). Do w and 2/59 have different values?
True
Suppose z = -2*c - 4, 2*c + 0*c + 16 = -4*z. Suppose -3*j - 4*o - 25 = 0, j - 4*o = -c*o + 13. Is j at most -1.2?
True
Suppose 5*i = -4*z + 2772, -74*z + 72*z + i = -1386. Which is bigger: z or 692?
z
Suppose -3 - 5 = -4*i. Suppose -4*j - 5*k - i = 0, -k = 3*j - 2*j. Which is smaller: j or 6/7?
6/7
Suppose -7 = -4*p + 1. Let l be 140/(8/2) - (2 + -1). Let w = l - 94/3. Which is bigger: p or w?
w
Let u be (-92)/(-28) - (-2)/(-7). Suppose -12 = 3*c - z - 2*z, -2*c = -z + u. Is 3/16 >= c?
False
Let v = 16.71 + -15.999. Which is smaller: 1 or v?
v
Suppose 0 = -2*q + 2, 4*m + 2*q - 22 = -0. Let y(b) = b**2 + 39*b + 366. Let o be y(-15). Is o less than or equal to m?
False
Suppose g + 3*l - 45 = 0, 4*l + 4 = 24. Suppose 8*j - g = -2*j. Which is smaller: j or 0?
0
Let i = -999 + 1235. Is i >= 236?
True
Suppose -3*f - 1 = -a - 2*f, a + 3*f = 1. Let y(k) = -k + 1 + a - 2 - 2. Let t be y(-2). Which is smaller: -3 or t?
-3
Let u = -54/5 - -52/5. Let q = -9/10 + 47/30. Is q greater than or equal to u?
True
Let n be 516/(-32) + (-2)/(-16). Is -17 <= n?
True
Let a = 76.1 - 4.1. Let s = a - 62. Is 0.2 <= s?
True
Let r be (170/(-30))/((-13)/(-975)). Which is smaller: -851/2 or r?
-851/2
Let y = -1.9 - -2. Let g = 12.25 - 12. Let s = 0.15 + g. Which is greater: s or y?
s
Let s(y) = -2*y**2 + 25*y - 20. Let x be s(12). Let l be ((-9)/x)/(0 + (4 - 7)). Which is smaller: l or 2?
l
Let x(d) = d**2 - 4*d + 3. Let t be x(2). Let p be 1*39/(-45) - t. Let b be 0 - 1 - (-12)/8. Which is smaller: p or b?
p
Let v = -6 - -5. Let j = -23 + 38. Let r be (-4)/(-10) + (-16)/j. Do r and v have the same value?
False
Let b(y) be the third derivative of 3/20*y**5 + 0*y**4 - 1/120*y**6 + 0 + 2*y**2 + 0*y - 1/6*y**3. Let z be b(9). Which is smaller: z or -1/13?
z
Let n = 139 + -85. Suppose 3*r = w - 51, 3*w - 2*w = 2*r + n. Is 60 >= w?
True
Let h = -27 - -30. Is h less than or equal to -8?
False
Let y = 162/299 + -16/23. Let a = 0.01 + 0.99. Is y less than a?
True
Suppose -9 = 14*p + 5. Is -37/18 greater than or equal to p?
False
Suppose -3*c - 8*c - 297 = 0. Suppose 4*u = 134 - 10. Let l = c + u. Is l equal to 5?
False
Suppose -r - 12 = -g, -r + 2*g = 15 - 5. Suppose 5*u - 47 + 72 = 0, -2*l + 24 = -4*u. Is l greater than or equal to r?
True
Let v be (13 + -8)*2/5. Suppose -72*a = -70*a - v. Is -2/59 at least as big as a?
False
Let d(w) = w**3 - 17*w**2 - 113*w - 20. Let o be d(21). Is o >= -629?
True
Let o(u) = -2*u**2 + 18*u - 13. Let s be o(8). Let x be -3*3*(-11)/33. Is x not equal to s?
False
Suppose -4*g + 3*g = -95. Suppose -31 = 4*u - g. Is 15 >= u?
False
Let i = 0 - 2. Let m = -5549 - -5540. Which is smaller: m or i?
m
Let f(d) = d + 4. Let n be f(-3). Suppose -3*t + j = -4*j + 14, 0 = t - 2*j + 6. Let c be n/((-4)/40*t). Is c at most as big as -6?
False
Let h(f) = f**3 - 10*f**2 - 27*f + 36. Let q be h(12). Is q <= -13/57?
False
Let p = 6.89 + 0.11. Let w = -5 + p. Let y = -18/65 + 1/13. Is w <= y?
False
Let c = -1111 - -1111.008. Is -2 less than c?
True
Let x = 82 - 118. Let r be (1/3)/((-256)/28416). Which is smaller: r or x?
r
Let m(v) = -6*v**2 + 34*v - 2. Let j be m(4). Which is greater: 5 or j?
j
Suppose -15*h - 701 + 671 = 0. Is h at least as big as -12?
True
Let w = 12 - 22. Let y be (54/(-45))/(9/w). Which is greater: 0 or y?
y
Let a be (2/115)/((-5)/(-150)). Which is smaller: a or -6?
-6
Suppose -19*x + 41*x - 22 = 0. Which is greater: -34 or x?
x
Let i be (-3452)/434 - (-166 + 158). Are i and 1 nonequal?
True
Let c = -1 + 9. Let n be ((-5)/(-2))/((-5)/(-12)). Which is bigger: n or c?
c
Suppose 3 = -3*h - 5*v, -3*h + 6*h = v - 3. Let r = -203590/23 - -8852. Is r equal to h?
False
Let q = 51943/7 - 7441. Is 1/2 smaller than q?
False
Suppose -9 = -4*n + 3*m, -5*n + 4*m = 8 - 20. Let j be (-2447)/16 - (1 + -3). Let s = j - -151. Which is bigger: n or s?
s
Let o = -0.1075 + -214.8925. Which is bigger: o or 1?
1
Suppose -2*c - 3*c = -1800. Suppose 2*u - c = -u. Suppose y + 5 = 0, 0 = -5*s - 4*y + 6*y + u. Is 22 not equal to s?
False
Let n = 13.501 + 0.099. Which is greater: n or 0?
n
Suppose -4*j + 963 = 6499. Is -1384 at most j?
True
Suppose -11 = 3*z - 2*x, -5*z + 0*x - 4*x = 33. Suppose -4*k + 3*a = -50, 0 = -k + 6*a - 7*a + 16. Suppose -34 = 5*m - k. Which is smaller: m or z?
z
Let f be -9 + 0 + (-760)/(-80). Is f bigger than 3/29?
True
Let h = 10 + -7. Suppose j + 44 = -h*j. Let v be 1/(-7) - 69/7. Is v smaller than j?
False
Let t(r) = r**3 - 3*r + 4*r**2 - 9 + 8*r**2 + 4 - 14*r**2. Let h be t(0). Which is smaller: h or -4?
h
Let k(j) = 9*j - 5. Let d be k(3). Suppose -2*t = 18 - d. Let p be (t/5)/((-132)/(-15)). Is 0 at least p?
False
Let m be (1/(-4))/(5/40*-1). Let o(u) = -u**3 + 2*u**2 + u + 4. Let r be o(3). Is m at least r?
True
Let f be (0 - -1 - -1) + -5. Let p be -2 - (-3)/9*f. Suppose -987 = 4*j - 971. Which is smaller: j or p?
j
Let r = 4450 - 57796/13. Is r smaller than 4?
False
Suppose 6 = 5*h - 2*i, -4*i + 0*i + 8 = 0. Let k be h*-1*3/(-24). Which is smaller: 1/6 or k?
1/6
Let m be (-33)/12 + 3 + (-30)/24. Suppose -150 = 4*a + a. Let u be a/(-4)*4/6. Which is bigger: m or u?
u
Let j = 3 - 2. Let l = -2 + 30. Let f = 194/7 - l. Which is smaller: f or j?
f
Let k = -19 + 10. Suppose -u + 19 = u + w, 3*w = -5*u + 45. Let i = k + u. Which is smaller: 3/2 or i?
3/2
Suppose -4*p = 5*c - 2*c - 3706, 2*p = -c + 1852. Let b = p + -64751/70. Let u be 2/4*(2*-1 + 2). Which is smaller: b or u?
b
Let c(i) = -i. Let k be c(-3). Suppose 0 = k*l + 13 - 4. Let f = 3 + l. Which is bigger: f or -1/3?
f
Suppose -2*b + 12*y + 5 = 15*y, -y = -2*b + 17. Is b at least as big as 70/11?
True
Let h = -0.4 + 2. Let r = -34 - -32.3. Let s = r + h. Is s at most as big as 4/9?
True
Let u be ((-76)/6)/(368/(-69)). Which is greater: u or 1?
u
Let d be (1 + -7)*7/42*4. Let s be d*6/60 + 31/15. Is -0.1 <= s?
True
Suppose 6*t - 3*t = 0. Let n = 0.17 - -0.33. Let k = n + 14.5. Which is bigger: t or k?
k
Let q = -48 - -18. Let d = 19 + q. Let m = d - -13. Which is smaller: m or 4/3?
4/3
Let d = -1 - -1. Let c = 5840 - 17516/3. Which is bigger: c or d?
c
Let y be (-32)/12*18/(-48). Do y and 63/47 have the same value?
False
Let j be 10/14 + (-2)/(-7). Let d(m) = m + 6. Let x be d(2). Which is bigger: j or x?
x
Suppose 0 = -2*g - 2, 3*q + g + 3*g = -4. Let p = 2/23 + 36/115. Let l = p + -3/20. Is l less than q?
False
Let u = 20 - 22.1. Let i = -3 - u. Let l = i - -2.9. Which is greater: l or 0.2?
l
Let d be (2 - 4)/((52/6)/13). Which is smaller: -35/11 or d?
-35/11
Suppose 13 = 2*a - 3. Suppose 29*m + a = 28*m. Which is smaller: -11 or m?
-11
Let s = 0.35 + 0.05. Is -54/7 less than or equal to s?
True
Let x be ((-6)/(-27) - (-16)/(-18))*-3. Suppose 4*z + 28 = -3*i - x*i, z = -2*i - 13. Is -9 less than or equal to i?
True
Suppose -4*m + 2 = 4*s - 10, -3*s = 4*m - 8. Let a = 3 + m. Let h be 8/14*7/a. Is h less than or equal to 3?
True
Let i be (4/6)/(14 - 12)*63. Let y = -51 - -72. Do y and i have the same value?
True
Let q be (23 - -1)*1/22. Let w = -295 - -296. Which is smaller: w or q?
w
Let z = 24 - 15. Let k be 36/z - (2 + 0). Suppose k*w + i - 7 = -2*i, 2*i = 5*w - 65. Which is greater: 12 or w?
12
Suppose -2*r - 2*r = -32. Let l be (-33)/44 + 78/r. Which is bigger: l or 3?
l
Let d be 4/34 - (-64)/34. Suppose 0 = 4*b + b - d*t - 16, 0 = -5*b + 3*t + 14. Suppose f = b*f. Which is smaller: f or -1/4?
-1/4
Let v(f) = 2 + f**3 - 4 + 9 - 9*f**2 + 0*f - f. Let m be v(9). Let h be (3/2 + m)*-10. Is 5 equal to h?
True
Let u be 23/1*(0 - (1 + 3)). Is u at most as big as -92?
True
Let k(f) = 104*f + 28. Let x(q) = -35*q - 9. Let u(l) = -3*k(l) - 10*x(l). Let o be u(1). Is o greater than 45?
False
Let x = 221 - 234. Which is smaller: -2/3 or x?
x
Suppose 24 = -w + 4*q + q, -w + q = 8. Let i be (-994)/18 + w/(-18). Is i >= -56?
True
Let g = 15279 + -1634867/107. Which is smaller: -1 or g?
-1
Suppose -5*n - l - 2 - 1 = 0, 0 = 4*n + 2*l. Let u = 0 - n. Let i = 11/612 + -5/68. Which is greater: i or u?
u
Let x = 528 - 528.1. Which is smaller: -293 or x?
-293
Let f(r) = -r**2 + 2*r + 3. Let u be f(3). Let h = 29357/95