s smaller: -3/4 or k?
-3/4
Suppose 9*z - 60 = 4*z. Let f be (z/(-30))/((-17)/5). Let r(n) = n**3 - 8*n**2 + 7*n. Let q be r(7). Is q at most f?
True
Let x be (1*54/(-105))/(1/5). Which is smaller: -3 or x?
-3
Let n be (0 - 1)*1*-1. Suppose 4*i - 5*a + 5 = 0, -5*i + 2*a - n = 1. Suppose 1 - 17 = 3*g + 5*x, -2*x - 10 = i. Which is bigger: g or 2?
g
Let x = 58 + -65. Which is smaller: -4 or x?
x
Let j be (-1 - (-206)/1)/(-4). Let x = 51 + j. Is 0 < x?
False
Let d(c) = 2*c + 6. Let q(n) = -2*n**2 - 3*n - 2. Let b be q(-2). Let a be d(b). Let u be (-14)/70 - -9*(-4)/30. Do a and u have the same value?
False
Suppose -a - a - 58 = 5*t, 49 = -4*t + a. Let h be t/(-14)*(-2)/6. Which is smaller: 3 or h?
h
Let l be (1 - 1)/(-3)*-1. Let x be l/((3 - 0) + -1). Suppose 4*b = 2*s - 2, -b + 2*s + x = -1. Are b and -2 unequal?
True
Suppose 0*g + 18 = -g - 2*i, 76 = -4*g - 4*i. Let s be g/(-15)*(-18)/4. Let z be (1/(-2))/(1/s). Which is smaller: z or 1?
1
Let p = 10.4 - 10. Which is bigger: p or -1?
p
Let o be (2/4)/((-3)/(-6)). Suppose o = 3*c + 2*k + 18, k = 2. Which is bigger: -6 or c?
-6
Let t(z) = z + 4. Let r be t(-3). Let j be 10/(-3)*(-18)/(-5). Let n be (-3)/j + 38/(-88). Which is greater: n or r?
r
Let d = -0.008 + -0.952. Let h = d - 0.04. Is -2 < h?
True
Suppose 2 + 28 = 2*m. Suppose 6*p + 17 = 5*p - 4*o, 5*p = 5*o + m. Which is greater: -6/5 or p?
p
Let i = 0.286 + 0.014. Which is bigger: i or -2/19?
i
Let z(k) = k**2 - 9*k + 1. Let g be z(9). Let f be -1 - g - (-1 + -3). Which is bigger: f or 3?
3
Let i be 66/15 - 4/10. Suppose n = 2*o + 39, 0*o - i*n = 3*o + 31. Let p be 3 - o*1/(-6). Are p and 0 equal?
False
Let d = -3 - -2. Let g be (-4)/(-8)*d/2. Suppose 0 = 2*k + 5*b + 23, 5*b + 18 = -2*k + b. Which is bigger: g or k?
k
Let g = -0.3 - -0.5. Let f = g - 0. Let o = -19 - -18.9. Which is bigger: f or o?
f
Let i = 4727/1116 + 4/279. Is i at least 5?
False
Let z(b) = b**3 + 3*b**2 - 10*b - 6. Let q be z(-5). Which is smaller: -0.1 or q?
q
Let q = 3 + -3. Let o = 0 - q. Let g = 81 + -81.02. Which is smaller: o or g?
g
Let x(u) = u**2 - 13*u - 10. Let g be x(14). Which is greater: g or 3?
g
Suppose 5*o - 14 = -4*w + 3*o, 2*o + 13 = 5*w. Is 2 bigger than w?
False
Let n = 2146 - 122318/57. Are n and -1 unequal?
True
Let t = -1.84 + 1.7. Let f = -1.54 - t. Let g = -0.6 + f. Is 2 less than g?
False
Let o = 27.1 + -27. Do -13 and o have the same value?
False
Suppose s - 17 = -30. Is -12 at most as big as s?
False
Let h(v) = 2*v - 15. Let y = 21 - 14. Let f be h(y). Which is greater: -2 or f?
f
Let t = 14 + -8. Suppose 58 = 6*n + 16. Is t at most as big as n?
True
Suppose 6 = 2*i + 22. Let d = i - -10. Which is greater: 3 or d?
3
Let u be (2/(-5))/(3/75). Which is bigger: -12 or u?
u
Let s = -5 - -2. Let k = s - -2.7. Let h = k - -0.2. Is -0.1 greater than h?
False
Suppose 2 = a + a. Suppose a = -5*g - 4. Let d be 2*g/(1 + 0). Is d not equal to -2?
False
Let d be 4/(-6) - (8/6 - 1). Are 1/116 and d non-equal?
True
Let d be -25*(1 - 2)*1. Let w = -37 + d. Let b be 3/w*2/3. Is b greater than -1?
True
Let x(q) = 10*q + 4. Let t be x(2). Which is smaller: t or 23?
23
Let d = 35 - 15. Let p(h) = h**3 + 6*h**2 - h - 6. Let n be p(-6). Suppose d = -3*a - 4*z, 2*z - z + 5 = n. Which is greater: a or -4/7?
a
Let j = -14.7 + 14. Let g = j + -0.3. Let u be 3/(-10) + 4/(-20). Which is smaller: u or g?
g
Suppose -i + 1 = 4*b + 10, 9 = 3*i + 3*b. Let j(c) = 2*c**2 - 55*c + 35. Let d be j(27). Which is greater: d or i?
d
Suppose d = -d. Suppose -5*i + 5 = d, -5*a - 2*i + 0 + 2 = 0. Is 0 smaller than a?
False
Let s be (-1 - 1) + (1 - 4). Let y(h) = h**3 + 4*h**2 - 5*h + 1. Let l be y(s). Which is smaller: 2/9 or l?
2/9
Let a = -0.1 - 1.9. Let t = 5 + -5. Which is smaller: a or t?
a
Let v(h) = -h**3 - 7*h**2 - 10*h - 9. Let a be v(-5). Let f be 5/((5/(-2))/5). Which is smaller: f or a?
f
Let a = -117 - -116. Let c = -25/36 - -4/9. Which is bigger: c or a?
c
Let v(x) = -x**2 - 9*x + 10. Let i be v(-10). Let c be 38/(-36) - (i + -1). Is 0 != c?
True
Let p = 43 - 43. Is p at most -13?
False
Suppose -2*o = -2*j - 8, -5*o + j - 4 = -12. Which is smaller: -2/35 or o?
-2/35
Let y be -2*(-6)/(-144)*-4. Is 0.064 smaller than y?
True
Let c = -0.5 + 1.1. Let d = c - 1.6. Is 3 > d?
True
Suppose -5*o - 2*i + 15 = 3*i, -2*o - 5*i + 21 = 0. Is -2 < o?
False
Suppose -13 = -4*y + 3. Is 3 bigger than y?
False
Let g = -16986 + 2072349/122. Let i = 2/61 + g. Let f be (-64)/28 - (-3 + 1). Which is smaller: i or f?
f
Suppose -5*o + 2*o + 18 = -3*y, y - 12 = -2*o. Let i be o/(-4)*(-12)/9. Suppose -6*b - 12 = -i*b. Is -2 not equal to b?
True
Let o be 2 + (0 + 6 - 3). Suppose -2*u = -2*j - o + 1, 4*j + 5*u - 1 = 0. Let m be -2*(-1)/(-2)*2. Is j not equal to m?
True
Let j = 0 + 0. Let a = -6134/11 - -558. Which is bigger: j or a?
a
Let g(d) = -2*d - 3. Let i be g(-2). Which is smaller: 0 or i?
0
Let n = -3.3 - -2.3. Let h = -0.6 + 0.2. Is h < n?
False
Suppose 0 = 5*p - 7 - 8. Let c be (-2)/(-4)*(-3 + p). Suppose 4 + 0 = -4*k. Which is greater: c or k?
c
Suppose n - 3 = -5. Suppose 0 = a - 2*a + 9. Let q be 15/a - 2/3. Which is greater: q or n?
q
Suppose 0 = -4*c - 4*f - 12, -c + f - 4 + 7 = 0. Suppose -3*a + 6 = -0*a. Let l = a + -3. Which is greater: c or l?
c
Let x = -184 - -184. Are x and 63 equal?
False
Let o be (9/(-2))/(-15 + 17). Let x be ((-4)/(-8))/((-1)/6). Which is bigger: x or o?
o
Let d be ((-24)/(-10))/((-43)/(-20) - 2). Is d smaller than 1?
False
Let h(n) = n - 3. Let a be h(5). Let i = -2 + a. Is 1 smaller than i?
False
Let h be 5/(15/6) - 10. Which is smaller: h or -7?
h
Suppose 3 + 4 = 2*x - 5*f, f = -5*x - 23. Let w be 32/6*24/16. Suppose 1 = -3*n - w. Is n smaller than x?
False
Let x = -24/11 + 129/44. Let j = -0.02 + -0.28. Which is greater: x or j?
x
Suppose -4*p + 5*p - 3 = 0. Suppose -3*x + p = 12, -9 = 3*r - 2*x. Let l = r - -3. Which is greater: -3 or l?
l
Let h(t) = t**3 + 3*t**2 + 3*t. Suppose 4*j = 5*w + j + 13, 0 = -2*w - 3*j - 1. Let l be h(w). Is -2 greater than or equal to l?
True
Let s be 2 + -1 + 6/(-8). Let g = 221812 - 84288457/380. Let v = -2/95 + g. Do v and s have the same value?
True
Let c = -24 + 34. Let x be ((-2)/(-8))/(c/16). Do x and 1 have the same value?
False
Let m(s) = s**3 - 4*s**2 + s. Let j be m(3). Let w be 3/j + 11/(-6). Suppose -5*b - 4 - 11 = 0. Is b >= w?
False
Let h = 20 - 24. Which is bigger: h or -1?
-1
Let g be (-1)/(-6) - -1 - 1. Is -2 at least g?
False
Let h = 1.7 + -0.2. Let u = h - 1.43. Let p = u + -0.07. Which is greater: 1 or p?
1
Suppose -3*d + 36 = w - 4*w, 4*w + 5*d = -75. Let o be (-3)/w - 2/10. Which is bigger: -1/5 or o?
o
Suppose 5*r = q + 6, -4*q + 0*r - 8 = -4*r. Which is smaller: -1/12 or q?
q
Let c = -14249633/632 - -22547. Let p = c + 1/79. Let q = 10 - 11. Is p equal to q?
False
Let u = 85 - 85.2. Is u bigger than -7?
True
Let x = 9 - 19. Let m be 2/(-5)*x/(-2). Let p be (-2)/m - (1 + 2). Is 0.2 greater than p?
True
Let q = -9 - -14. Suppose 2*x = -3*c + 10, -24 - 1 = 5*c - q*x. Let f = -1055/7 + 151. Which is smaller: c or f?
c
Suppose 0 = -2*n - 10 + 2. Let j be (0/(-1))/(n/2). Is 1/5 greater than j?
True
Let j(m) = -3*m - 43. Let l be j(-14). Which is bigger: 5/24 or l?
5/24
Let j = -2 - -4. Let f be 2/(-4*1 + j). Which is greater: f or 1/8?
1/8
Let z(r) = -r**2 + 4*r + 2. Let g be z(4). Suppose -g*y - 2 - 2 = 0. Let p = 88/295 + 6/59. Which is smaller: p or y?
y
Suppose -6*i - 20 = -3*i + 5*h, -2*i = 4*h + 12. Do -10 and i have different values?
False
Let i(q) = q**2 + 3*q + 3. Let y be i(-2). Suppose -3*f - 13 = 20. Let p be (-24)/f - 8/44. Does p = y?
False
Let i be (1 - 19) + (-40)/(-10). Is -14 greater than or equal to i?
True
Let n = 34 - 36. Let t = -3 - -1. Let i be t/(-4)*(-2 + 0). Which is smaller: n or i?
n
Suppose b - 3*b + 6 = 0. Suppose 0 = -h - 2*k + 15 - 6, -5*k = -b*h - 28. Which is smaller: 2/23 or h?
h
Let j = 6 - 6. Let q = j - 0. Is -1 greater than or equal to q?
False
Let x(f) = -f**2 - 3*f + 16. Let b be x(-5). Is 6 bigger than b?
False
Suppose 0*b - 2*j = -2*b + 52, -100 = -4*b + 3*j. Which is smaller: 21 or b?
21
Let a = 5 - 2. Suppose -a = 3*c - 0*c. Is c bigger than -7/4?
True
Let q(n) = -n**3 + 3*n**2 - n + 2. Let d be q(3). Let c = 2/13019 - 325571/624912. Let j = c - -3/16. Is j 