1 or s?
s
Let y = -1896 - -1896. Is -7/139 >= y?
False
Suppose 4 - 39 = 7*c. Is c != -5?
False
Let c(u) = u**2 + u + 3. Let l be c(0). Suppose l*q = -3, 0 = -6*a + a + 2*q + 137. Is a at most 28?
True
Suppose -15 = -d - 4*d. Let y(u) = -21*u - 4. Let q be y(-1). Suppose -20*p = -q*p - 15. Is d smaller than p?
True
Let v be (0/339)/(-1*(-2)/1). Suppose 4*z + 7 = g, 10 = 2*z + 4*g - 0. Let j be (-1*2 - z)/(-1). Which is greater: j or v?
j
Suppose 0 = 5*s + 23 + 247. Which is smaller: s or -52?
s
Let i = 17.5 + -19. Let f = 0.6 + i. Let l = f + -0.1. Which is smaller: l or 4/7?
l
Let u be (-48)/(-10) - (-2)/10. Suppose r = -0*r - u. Let l = r - -6. Which is greater: 0 or l?
l
Let x = 74 + 27. Let o = -185 + x. Let w be (o/20 + 3)*1. Which is greater: w or -1?
-1
Let g be 2/6 - 56/78. Let r = 9 - 10. Which is smaller: r or g?
r
Let v be 18/28*(-4)/6. Let s be (5 - (-95)/(-15))*(-12)/(-21). Let h = s - v. Is h >= -2/5?
True
Let o = -3 + 3.1. Let s = -6 + 5.85. Let d = -0.45 - s. Is d >= o?
False
Suppose 509 = -12*n - 367. Which is greater: n or -74?
n
Let m be -1 + 1/1*5. Let a(u) = -3*u**2 + 3*u. Let y(k) = -2*k**2 + 2*k - 1. Let g(s) = m*y(s) - 3*a(s). Let b be g(-4). Is 15 at least b?
False
Let x be ((-30)/(-35))/3 - (-138)/7. Let o(w) = w**2 - 18*w - 54. Let j be o(x). Is j > 1/5?
False
Let o = 84 - 92. Is 0 at least o?
True
Let s = -1722.3 - -1721.3. Let j(y) = 15*y - 2. Let a be j(2). Let d = a + -421/15. Which is bigger: d or s?
d
Let z = 4670 - 4687. Suppose -3*m + 0*m - 51 = 0. Is m less than or equal to z?
True
Let n = 4/71 + -290/2627. Let m = n + -23/259. Do m and -8 have the same value?
False
Suppose -14*p + 603 = 575. Is 86 smaller than p?
False
Let q = 53 - 21. Let g = q - 29. Which is smaller: 6 or g?
g
Let i(q) = q**3 + 5*q**2 + 2. Suppose -3*k = 3*r + 27, 0 = 3*r + r + 3*k + 32. Let h be i(r). Suppose 5*x - 30 = -5*t, t + 3*t - h*x = 0. Is 3 at most t?
False
Suppose 0 = -0*o - 6*o + 24. Let l be (4 + -3)/2*o/(-9). Are l and -1 nonequal?
True
Let c = -3 + -5. Let g be -23*(c/(-2) + -5). Suppose -3*i = 9, -3*p + 5*i - g - 4 = 0. Which is bigger: -15 or p?
p
Let v = -16/283 - 37591/849. Is v >= -45?
True
Suppose -144*i + 13412 = -130*i. Which is greater: 957 or i?
i
Suppose -5*v = -0*p + 5*p + 60, -3*v - 36 = 5*p. Are v and -13 non-equal?
True
Let g(y) = y**3 + 13*y**2 + 11*y - 3. Let l be g(-12). Let m = l - 6. Is 3 > m?
False
Let d(v) = v**3 + 3*v**2 + 2*v. Let j(a) = a + 2. Let b be j(-4). Let t be d(b). Let i be 0 + t - (2 + -1). Which is smaller: i or 0?
i
Let a(g) = g**3 - 19*g**2 + 2*g + 1. Let x be a(19). Suppose 2*b = -6, 4*i + 0*b = b + x. Are i and 9 unequal?
False
Let r = 471 - 468. Suppose 0 = -4*g + 2 - 10. Let n be 12/r + 2/g. Is 3 < n?
False
Let p be ((-74)/6)/(6/90 + 0). Which is bigger: -556/3 or p?
p
Let k(d) = -3*d**3 - 17*d**2 + 15*d - 1. Let q(t) = -4*t**3 - 26*t**2 + 23*t - 1. Let z(r) = 7*k(r) - 5*q(r). Let g be z(10). Which is smaller: g or -4?
-4
Let l = 8.8 + -4.9. Let o = l - 2.9. Let g = -8 - o. Is g less than or equal to 2/3?
True
Suppose s - i - 5 = 0, 5*s - 2*i - 10 = s. Let u(b) = -b**2 - 7*b + 8. Let x be u(-8). Suppose s*g + 6*g - 60 = x. Is 10 > g?
False
Let u be (-2 - (4 - 8))/(8/(-68)). Which is smaller: u or -1/3?
u
Suppose 0*v = 8*v + 256. Let b = -7 - v. Is 1 smaller than b?
True
Let y be (1 + 1/(-2))/(11/(-528)). Let j be (2/(y/14))/((-87)/(-116)). Is -2 not equal to j?
True
Let i = 31 - 27. Let k = i - -26. Is k at most as big as -1?
False
Let l = 184.2 - 183.2. Which is smaller: l or 945?
l
Let x be -4 + (300/52 - -1). Is x != 3?
True
Let y be (-180)/494 - (3 + 205/(-65)). Is y != -1?
True
Suppose -5*o + 26 = -4*w - 0*w, 5*w = 2*o - 7. Let r be (-1 + 5)*(-1 + (7 - 5)). Let h be 1 + r/24*26. Which is bigger: h or o?
o
Let g(c) = c**3 + 8*c**2 + 3*c + 1. Let r be g(-6). Suppose -r = 4*t + 81. Is -33 greater than t?
True
Let l be ((-4)/(-10))/((-1)/(-2)). Let z be -1 + (1 - 0) - 12/12. Let j = l + z. Which is greater: j or 0?
0
Let t be (86 + 0)/(20 + -14). Let g = t + -365/33. Which is smaller: 3 or g?
3
Let y be ((-4)/(-5))/(-4)*230/(-207). Let a(g) = g**2 - 7*g + 6. Let j be -1 + 9 - (-1 - -3). Let o be a(j). Which is smaller: o or y?
o
Let n be 6/2 + 6/3. Suppose -j + 2*r = 7, -18 + n = 2*j - 5*r. Let y(t) = -t**3 + 5*t**2 - 2*t + 2. Let h be y(5). Which is smaller: h or j?
j
Suppose -4*v + 96 = -4*s, -52*s = -54*s + 4*v - 44. Let c(k) = -3*k**2 - 2*k - 4. Let t be c(-3). Is t smaller than s?
False
Suppose n = -45*m + 50*m + 6, -3 = 3*m. Suppose 5 = -3*v + 5*i - 0*i, -i + 1 = -v. Let h be 1/3*(6 - v). Which is greater: h or n?
h
Let h be ((-6)/(-3) + 9)/((-20)/(-4)). Which is greater: -1/4 or h?
h
Suppose -8*q + 24*q = 16. Which is smaller: 2/15 or q?
2/15
Let j = -3 - -2. Let w(t) be the first derivative of -t**4/2 + 2*t**3/3 + 3*t**2/2 + 2*t - 45. Let o be w(j). Which is greater: o or 3/2?
o
Let r(g) = g**2 - 3*g - 9. Let y be r(-3). Let z be (-4)/(-4) + 4 + -1. Which is smaller: z or y?
z
Let r be -4 - -4 - (-1350)/(-21). Is r at least as big as -64?
False
Suppose -b = -4*x - 0*x + 16, 2*b = -2*x - 2. Let m be 0/5 - x/(-3). Let j = 1813/11 + -165. Is j > m?
False
Suppose 3*g - 3*n - 39 = -9, -2*n = g + 5. Let h be (-1)/g + 130/25. Let v = h + -5. Which is smaller: 1 or v?
v
Let j = 159 - 161. Let i(u) = 2*u. Let c be i(-2). Is j > c?
True
Let n be (210/(-9))/7*3/(-2). Suppose n*s - s = 48. Is s bigger than 13?
False
Suppose o + 2 = -4*p, -4*o + 12 = 2*p - 8. Suppose -3*y = -d + o, -y - y = 3*d + 4. Let x be 2 + d + (-6)/3. Are x and 4 non-equal?
True
Let k be (-5)/2 + 7/(-14). Let i = 0 - k. Suppose -5*y - 26 = -i*v, v + 0 = y + 6. Are 7/3 and v equal?
False
Let s(o) = -o**3 - 5*o**2 + o - 1. Let j be s(-5). Let v be (j + 8)/(2*-1). Let c be ((12/(-51))/(-4))/v. Are 0 and c nonequal?
True
Let s = -11 + 6. Let h(m) = -m**2 - 8*m - 12. Let f be h(-6). Suppose f = -a + 3*a + 8. Which is greater: s or a?
a
Let j(o) = 2*o + 13. Suppose 13 = -y - t - 0*t, -17 = y - 3*t. Let l be j(y). Let s be (-1)/(-3 + 20/l). Which is greater: 1 or s?
1
Let k = -5 + 12. Let o(l) = l**2 + 15*l + 14. Let b be o(-14). Let f be 3/(-1) - (b + -1). Is f at least as big as k?
False
Let w = 1039 + -1037. Is 35 at least as big as w?
True
Let u = -78 - -42. Let k = u - -39. Let f = k - 10. Which is greater: -2/5 or f?
-2/5
Suppose 3*q + 2*f - 1530 = 2*q, -3*q + 4611 = -f. Which is smaller: 1537 or q?
q
Let z = -30 - -30. Let k = -30 - z. Is k > -2/5?
False
Suppose -11*k + 664 + 524 = 0. Which is greater: k or 110?
110
Let i = 9 - 14. Let s be (11 - 1946/28)*4/42. Is i < s?
False
Let o = -22 - -25. Suppose o*d + d = -4. Which is smaller: d or -3/10?
d
Let p = -0.11 - -0.01. Let s be 5409/9 - 1*-2. Let g be s/2124 - 1/4. Which is smaller: g or p?
p
Let l be (8/(-2))/(2282/(-35)). Is l >= 0?
True
Let j be ((-207)/(-276))/(1 + 2). Which is smaller: j or 7/333?
7/333
Let g be (-7)/(0/5 + -1). Let y be g/5 + -1 - (-9)/(-24). Is y less than or equal to -0.1?
False
Let m = 51 + -52. Let c be (-2)/(-12) + (-4)/33. Which is smaller: c or m?
m
Let g = -4.5 - -7.5. Is -2 equal to g?
False
Let t be 28/210 + (-56)/(-30). Suppose -u - 5*d - 29 = t*u, -u + d = 15. Let w = 0 + -1. Which is greater: w or u?
w
Let l = -962 + 952. Is l greater than or equal to -16?
True
Suppose -821 = 4*a + i, a = -0*i - 2*i - 207. Which is smaller: a or -204?
a
Let t = 12 - 11. Let s be 0/(-1) + t/((-9)/(-14)). Which is greater: 1 or s?
s
Suppose -9*j + 528 = 2*j. Is 52 less than or equal to j?
False
Let y(f) = 5*f**2 - 103*f + 21. Let u be y(20). Is u equal to -41?
False
Suppose -43 = n + 4*i, -259*i + 260*i = 5*n + 299. Is -56 >= n?
True
Let b(d) = -d**3 + 16*d**2 + 39*d - 38. Let s be b(18). Is 5 at least as big as s?
False
Let w be 5/10*(4 - (-72)/(-78)). Is 2 smaller than w?
False
Suppose 11*d - 2 = -35. Suppose u = -g + 2, -4*g = 5*u - 3*u - 4. Suppose -4*c - 4*k = -0*k + 4, c - k + 3 = g. Which is bigger: d or c?
c
Let q = 24 + -21. Suppose -q*d - 12 = m - 0*m, 0 = 5*m + 4*d + 16. Suppose 5*a - 6*a + 13 = m. Which is greater: 14 or a?
14
Suppose 70 = -14*q + 24*q. Which is greater: 13 or q?
13
Let g = 19.9 + -21. Let b = -0.1 - g. Let t = -6.4 + 5.4. Are t and b non-equal?
True
Let r be -6 + 7 - 3*1. Let v be (-2600)/(-3783) - r/(-3). Which