er: y or 5/2?
5/2
Let k = -9 + 8. Are -12/7 and k non-equal?
True
Let v = 3 + -1. Suppose 4*i - 3*i = 0. Suppose -q + 2*q - s - 7 = i, 3*s = -4*q. Which is greater: v or q?
q
Let a = 3 + -1. Let n be 5/((-75)/(-12)) + (-5)/(-25). Is a at most as big as n?
False
Let h be (0/4)/(2*-1). Is -3/23 at least as big as h?
False
Let q = -4 - -3. Let k = q - -1.2. Let r be -3 - 64/(-12) - 2. Is k at least r?
False
Suppose 5*x - 12 = 3*x. Is 8 greater than or equal to x?
True
Suppose 10 = -3*t - 2. Do -4 and t have different values?
False
Suppose r - 4*r - 9 = 0. Which is greater: -1 or r?
-1
Let s be (-4)/(-10)*(-15)/33. Does s = -5/4?
False
Let s = -76/15 + 27/5. Is -0.9 < s?
True
Let i be -3 - (3 - (-200)/(-28)). Which is smaller: 0 or i?
0
Let a = -16 - -11. Which is smaller: -15/4 or a?
a
Let i be 659520/(-50) - (-4)/(-10). Let v = 13251 + i. Let p = 60 - v. Is p at least -3?
True
Let h = -5 + 9. Suppose 0*o - 18 = o - h*k, 3*k = 3*o + 9. Is 2 less than or equal to o?
True
Let v = 10.3 + -11. Let c = v - -0.1. Suppose 2*q + 3 = -q. Which is smaller: q or c?
q
Suppose -3*h + 3*i = 6, h + 8 = i + 3*i. Is h less than or equal to -11?
False
Suppose 8 = 4*o, -r - 2*o + 106 = 2*r. Does r = 35?
False
Let q(f) be the second derivative of -f**4/12 - 5*f**3/6 - 3*f. Let c be q(-5). Which is bigger: c or -2/17?
c
Suppose -2*s - 5*a = -3*a + 16, 0 = -5*s - 2*a - 34. Suppose j + 3*j = 5*i + 15, 0 = -3*j - 15. Is i > s?
False
Let f be ((-2)/(-6)*3)/(-4). Let v be 6/48 + (-19)/24. Which is smaller: v or f?
v
Let n = -2.84 + 2.84. Let s = 0.2 - 0.4. Which is smaller: s or n?
s
Suppose -5*f = -3*k + 36, -3*k + 4*f = -k - 26. Suppose -9 = -3*h - 3*o, 2*h - 2*o = -o - 3. Let v(y) = -y + 8. Let s be v(h). Is s <= k?
False
Let k = 3 - 2. Suppose -p - 5 = -2*y, -2*y = -0*y + 2*p - 2. Suppose s = -s + y. Is k at most s?
True
Suppose 3*i - 6*i = 0. Let g = 692 + -10373/15. Let y = g + 11/105. Is y >= i?
True
Let j be (3 - 1)/(75/3). Which is smaller: j or 0?
0
Let f be (-4 + 25)*-3*-1. Let y = f - 251/4. Let t = 2 + -1. Do y and t have the same value?
False
Suppose -t = -4*w + 36, -2*w - t = -2*t - 20. Is 9 not equal to w?
True
Let g = 544/13 + -42. Is g equal to -2/9?
False
Let t be 23/4 - 3/(-12). Suppose -4*g + 40 = -k - 3*k, 0 = -2*g - k + 8. Does g = t?
True
Let y(k) = 0*k**3 - 2 + 1 + 2*k**3 - 3*k**3 - 4*k**2. Let b be y(-4). Is -3 greater than b?
False
Let o = -17.8 - -12.5. Let g = -5 - o. Let h be (-6)/(-4) + (-2)/4. Is h greater than or equal to g?
True
Suppose 78*x - 75*x + 45 = 0. Which is smaller: x or -0.1?
x
Let i(k) = 2*k - 3. Let q be i(5). Let r = -3 + q. Let t be 4 - (4 + -4)/(1/1). Is r smaller than t?
False
Let w = -1.3 - -1. Let v be -3*(3 + 110/(-36)). Is w at most as big as v?
True
Let p(s) = s**3 + s**2 + s + 1. Let g be p(0). Let y(l) = -2*l + 1. Let j be y(2). Let u = j + g. Which is bigger: 0.1 or u?
0.1
Let s = -11 + 14. Let i = s + 1. Which is smaller: i or 2?
2
Let c = -4729/3 - -1440. Let g = c - -135. Is g less than -1?
True
Let v be 1/5 + (-39)/(-5). Suppose -5*m + v + 7 = 0. Let d = m - 5. Is d != -6/11?
True
Suppose -136 = 2*a - 5*f, -2*a + 0*a - 5*f - 96 = 0. Let z be (2 - 2) + 4/a. Which is bigger: z or -1?
z
Let j = 179 + -174. Let p(z) = -z**3 - 3*z**2 - z + 4. Let n be p(-3). Suppose -4*u + 5 + 2 = 3*d, -u = -d + n. Is j less than d?
False
Let x = 0.026 + -21.026. Let a = 20.8 + x. Which is smaller: a or -2?
-2
Let h = 4.8 + -5. Let o = 6/13 + -5/39. Which is smaller: o or h?
h
Suppose 4*s = -0*s + 5*i - 7, 0 = s + 4*i - 14. Which is greater: -4 or s?
s
Suppose 0 = -2*j - 2 - 4. Let x(b) = b**2 - 7*b - 12. Let t be x(8). Is t at least as big as j?
False
Let y = 0.7 - 0.3. Let k = -0.4 + y. Let s = 52 - 209/4. Which is smaller: s or k?
s
Let o(j) = j**3 - 5*j**2 - 7*j - 10. Let i be o(6). Which is greater: -14 or i?
-14
Let c = 221 - 221.02. Let h = 0 - 0.1. Is h greater than or equal to c?
False
Let v = -16 + 12. Are -3 and v nonequal?
True
Suppose -3*q + 6 = -0. Suppose 0 = -s + 5*g - 0*g + 40, 0 = q*s + 5*g - 20. Is s less than or equal to 20?
True
Let q = 80 + -229/3. Which is greater: 3 or q?
q
Let k be (4 - 175/45)*6. Which is smaller: -16 or k?
-16
Let n = 43473/4 - 10806. Let z = 62 - n. Which is greater: z or 0?
0
Let a(x) = -x**3 + 10*x**2 + 24*x + 13. Let y be a(12). Are y and 3 nonequal?
True
Suppose 0 = -2*l + 3*l - 5. Suppose 4*j = -j + l. Let m be (-2)/(-6) - (-2)/3. Is j bigger than m?
False
Let f(b) = 6*b - 92. Let l be f(14). Suppose 4*j - 6 = -2*q, 0 = 3*j + 3*q + 1 - 7. Let a = j + -8. Which is greater: l or a?
a
Suppose -q + 4*q + 9 = 0. Let z be 0*1*q/(-9). Is 0.4 bigger than z?
True
Suppose c - 5*c = 0. Let v be (28/(-10))/(2/(-5)). Let j = v - 6. Is c at most as big as j?
True
Let m = -535 + 6961/13. Suppose 0 = 3*w - 8*w + 15, -9 = -4*s - 3*w. Is m smaller than s?
False
Suppose a = -n - n - 20, n - 4*a + 1 = 0. Let d = 10 + n. Let q(r) = r. Let j be q(2). Which is bigger: d or j?
j
Let o = 1 + 0. Suppose -c + 2 - 4 = 5*f, 0 = -4*f - c - o. Is f equal to -1/5?
False
Let c = -2 + 6. Suppose -3*i + 1 = -3*j + 13, -2*i - 8 = -j. Suppose 0 = -j*x + c*x. Which is greater: x or 4/3?
4/3
Let f be 1/(-4) - 472/288. Which is smaller: f or -2?
-2
Let v = 1 - 3. Let w be 18*((-12)/9 - v). Suppose 3*b - 7 = -5*o + 1, 2*b = -5*o + w. Is o smaller than 3?
False
Let o(v) = 9*v**2 + 12*v + 9. Let k(a) = 5*a**2 + 6*a + 5. Let n(h) = -11*k(h) + 6*o(h). Let d be n(6). Let f = -207 - -207. Is d not equal to f?
True
Suppose m = -8*x + 3*x + 570, -2*m + 1085 = -x. Suppose -2*r + 359 = -5*k, 2*r - k - m = -r. Let v = 1636/9 - r. Is v at most as big as 0?
True
Let g = 0.3 + -0.1. Let l = g + -1.2. Which is smaller: l or 2?
l
Suppose 2*j + 15 = -5. Let s be (-3)/j + (-2)/4. Let d be 4/(-18) + 2/9. Which is greater: d or s?
d
Suppose -3*t + 3*p = 24 - 66, -t = 2*p - 5. Is t equal to 8?
False
Let f be 2 - (-2 - 0)/2. Let r be 2/f*3 - -1. Let w = 2 - r. Which is bigger: w or -2/3?
-2/3
Let i be (-4)/(-228)*-1*-6. Is 0 less than i?
True
Let t be (1 + -1)/(5/(-5)). Let b be 23 + -20 - (t - -6). Does -1 = b?
False
Let c be (-1)/(-3)*-1*-3. Suppose 2*y = 9 + c. Suppose -19 + 4 = -y*j. Which is bigger: j or 4?
4
Suppose -14 = -5*n + a - 0*a, -8 = 2*a. Do n and 4/5 have the same value?
False
Let y = -33/2 - -17. Let o = 0.14 - 0.04. Which is greater: y or o?
y
Let n = -0.6 - -0.59. Let k = n - 0.1. Let h = -0.21 - k. Is h < 2?
True
Let j = -0.9 - 5.1. Let m = j - -5. Is -1 != m?
False
Let k be (1 - 2/2) + 1. Let f = k + -2. Is f equal to -1/3?
False
Let i be 0 - (2 - 3) - (-12)/(-16). Is i > -1?
True
Let k = -37676/63 - -598. Let m = k - -23/63. Which is smaller: m or -0.2?
-0.2
Let i = 8 + -5. Suppose g = -i, 2*g = -3*h + 5*g - 21. Is -10 greater than h?
False
Let z = 78962/22203 + -2/2467. Let p = 163/45 - z. Which is bigger: 0 or p?
p
Let q(p) = -2*p**3 + 14*p**2 - 6*p + 5. Let w be q(6). Are 41 and w equal?
True
Let b(p) = -2*p**2 - 30*p - 15. Let o be b(-15). Which is smaller: -3 or o?
o
Let g be (-14)/(-3) - (-4)/(-6). Suppose -g*j - 1 = 3, -2*j = -3*b + 8. Let u be (b/(-6))/(6 + -5). Are 1 and u unequal?
True
Suppose -197 = -2*w - 19. Are w and 88 equal?
False
Let o be (1/(-2))/(2/(-8)). Let d = 11.4 + -12.4. Are d and o equal?
False
Let h be 110/6 + (-5)/15. Let c = h + -13. Suppose c*m = -0*m. Is -2 smaller than m?
True
Let g = -98 + 97. Is 3/28 greater than g?
True
Let v = -7 + 12. Suppose -5*c - i = -19, 0 = -v*c - 5*i - 0*i + 15. Let u be -1 - (84/(-15))/c. Which is greater: u or -2?
u
Let f(t) = 7*t**2 + t**3 + 15 - 45*t + 45*t. Let y be f(-7). Which is smaller: 16 or y?
y
Suppose -4*f - 11 = 2*k + f, -5*k + 55 = -4*f. Let h = 17 - k. Let s be h/25 + 22/(-5). Is -3 >= s?
True
Let w = 6.6 - 4.2. Which is smaller: 0.3 or w?
0.3
Let p = 7 - 5. Suppose p*o = -o + 54. Let b be ((-6)/o)/(7/12). Is -1 at least b?
False
Let u(r) = -r + 2. Let o be u(0). Suppose -20 = y - o*y. Suppose -5*s = y, -6*p + 5*s + 20 = -3*p. Which is bigger: p or -2?
p
Let i be (-4)/(-12) + (-10)/3. Let y(z) = z**2 + z - 4. Let k be y(i). Do 3 and k have different values?
True
Let h(g) = -g + 11. Let p be h(11). Which is smaller: 0.05 or p?
p
Let g = -4.4 + 4. Let r = -19 - -8. Let m = r - -11.1. Is g greater than m?
False
Let i(o) = -o**3 + 4*o**2 - 4*o + 3