-1/3?
j
Let x(r) = r**2 - 6*r - 1. Suppose -13 = 3*p - 49. Suppose 0 = -0*z + 2*z - p. Let j be x(z). Is 1/3 != j?
True
Let q be 2/(-8) + (-21)/12. Let n = -4.9 + 0.9. Let i = -5 - n. Which is smaller: i or q?
q
Let x = -6 - -4. Let z = -3 - x. Are -2/7 and z equal?
False
Let q = -0.9 - -0.84. Let i = q + -0.04. Let c = -0.2 + 0.3. Which is greater: c or i?
c
Let c = -0.25 - 0.05. Let i = c + 1.3. Let p = 2 - 1. Do p and i have different values?
False
Let b(p) = p**2 - 6*p + 5. Let m be b(5). Let t(r) = -4*r + 4. Let q be t(1). Do m and q have the same value?
True
Let w = -5 - -17. Let g = -181 - -180. Is g < w?
True
Suppose 0 = -21*h + 16*h + 50. Is h smaller than 10?
False
Let y = 0.5 - 0.9. Let h = -7218/19 - -380. Let c = -11/76 - h. Which is bigger: y or c?
c
Let m = 655/8 + -82. Which is greater: m or -1?
m
Suppose m - 105 = -41. Let d = m + -450/7. Is 1 greater than d?
True
Let z = 1 - 1. Let o = -6 + 9/2. Which is smaller: z or o?
o
Let w = 1043/5 + -209. Is 155 > w?
True
Let a(q) = -q + 1. Let h be a(-4). Let z = -0.91 + 0.71. Is h smaller than z?
False
Let t = -0.3 + 0.4. Let v be (-16)/(-12)*2/(-12)*3. Which is bigger: t or v?
t
Let a be (1 + 0 + -2)*-3. Suppose 0*o - 6 = a*o. Which is smaller: o or -1?
o
Let v(l) = -l - 4. Let g be v(-4). Let s be -5 - g*1/(-3). Which is greater: s or -3?
-3
Suppose -m - 6 = -4*c, -3*m - 2*c - 18 = -7*m. Let v(b) = -3*b - 5. Let i(d) = 4*d + 5. Let f(r) = 4*i(r) + 5*v(r). Let s be f(m). Which is smaller: s or 3?
s
Suppose -2*w + 4 = 5*j, 2*j + 2*j = 0. Let h be (-10)/18 + w/9. Let n = -4 - -4. Is h less than n?
True
Let d be 2*1*650/(-52). Which is smaller: d or -74/3?
d
Let k be 4 + (-428)/84 + 1. Is 0 >= k?
True
Let b be 16/20*(-165)/(-2). Let a = b - 529/8. Is 0 greater than or equal to a?
True
Let y be (-1)/(3*4/12*1). Which is greater: 1/151 or y?
1/151
Suppose -n - 2 = -3*w - 0*w, -3*w - 2*n = 13. Let i = -2 - -4. Let a(l) = l - 4. Let o be a(i). Is o greater than w?
False
Let k(t) = t - 6. Let r be k(10). Suppose -5*o + 3 = -27. Suppose a - o = -r. Are 2 and a non-equal?
False
Suppose 4*z = -4*y - 16, 33 = -z - 2*z + 4*y. Let c = 10 + z. Is c smaller than -2?
False
Let m = 13 - 7. Let h = -4 + m. Let x = -1 - h. Are 1/4 and x equal?
False
Let m = -18 - -63. Suppose 7 + m = -4*d. Are -13 and d non-equal?
False
Suppose 3*v - 3*l + 9 = 0, -3*v - 3 = 2*v - 2*l. Let z be 216/(-102) + v*2. Is z equal to -1?
False
Suppose 0 = 4*i + q - 22, -i + 3*q - 4*q = -7. Is 0 >= i?
False
Let z = -15 + 11. Let q = z - -3.8. Let s = 0 - q. Which is smaller: -0.1 or s?
-0.1
Let m be 3 + (1 - 1) + -5. Let o be 2 - 6/m*-3. Do -8 and o have the same value?
False
Let d be 0 - 1 - 14/(-5). Suppose 0 = -2*x + 3*o + 5, 2*o - o + 3 = 2*x. Which is smaller: x or d?
x
Let o be 0/(((-10)/(-5))/(-1)). Let q = -29/119 - -9/17. Is o at least as big as q?
False
Let f = 0.1 + 0. Let o = -113/273 - -5/39. Which is bigger: o or f?
f
Let x(s) = s**3 + 6*s**2 + s + 2. Let g be x(-6). Let v be (-15)/36 + g/(-6). Let u be 78/21 + 4/14. Is v != u?
True
Suppose -4*c - 34 = -2*a - 0*c, 5*a - 57 = 3*c. Suppose a - 3 = -3*t. Let o be (-3 - -3)/(t/(-2)). Are 1/3 and o equal?
False
Let j be 0 - -2 - (-776)/6. Let u = 362/3 - j. Let l = u + 21/2. Which is smaller: 0 or l?
l
Let q = 11 - 31. Let l = q + 19.9. Are l and 0 unequal?
True
Let d be 92/147 + (4/12 - 1). Which is smaller: 2/9 or d?
d
Let n(z) = z**3 + 5*z**2 + 4*z + 2. Let w be n(-4). Which is greater: 2/3 or w?
w
Let l = 12 + -13. Let u = 2 - l. Which is greater: u or 0?
u
Let t = 0.07 + -0.01. Let o = t - -1.94. Let q = o + -6. Which is smaller: q or 0?
q
Suppose 3*p - 12*p + 9 = 0. Suppose 25 = -5*u + 75. Let w be ((-1)/u)/(1/2). Which is smaller: p or w?
w
Let j(s) = s + 1. Let v be j(-2). Let d be -2*(-2 - -1)/v. Suppose 18 = -2*r - 4*q, 3*q + 3 = 5*r + q. Which is smaller: r or d?
d
Suppose 0 = -3*k + 7*k. Is 65/4 at most as big as k?
False
Let b = 17 + -1. Which is greater: b or -0.1?
b
Suppose 0 = 4*i - 4*t - 20, t = 4*i - 5 - 0. Suppose k + 4*r - 1 = 21, i = -r + 5. Suppose 2*o = 5 - 1. Is k greater than o?
False
Let a = 28/55 + -10/11. Suppose -7*u = -5*u. Which is smaller: a or u?
a
Let v(i) = -i**3 + 2*i**2 - 1. Let k be v(1). Let j be 1/(1/(-2) + k). Let f be (2/6)/(j/(-4)). Which is smaller: f or 0?
0
Suppose 3*l = -3*l + 6. Let w = 23/90 + -1/30. Is w equal to l?
False
Suppose p - 8 = -0*p. Let b be (p/(-16))/(8/(-6)). Is 0 less than b?
True
Let k(u) = u**2 + 5*u + 5. Let s be k(-4). Let h be (8/72)/((-14)/(-12)). Which is greater: s or h?
s
Let v be -24*(2 + 12/(-9)). Is v >= -17?
True
Let d be 13 + (-4)/4 + -4. Does 5 = d?
False
Let p = -3/14 + -2/7. Suppose 0 = 2*l - 3 - 1. Which is greater: l or p?
l
Let f(m) = -m**3 - 6*m**2 + 9*m + 15. Let k be f(-7). Is 1 greater than k?
False
Let o be (-4)/10*(-426)/4. Let x = 43 - o. Which is smaller: x or 2/11?
2/11
Let f be (3 + -3)*4*3/12. Suppose 4*w = 2*w. Let h be f + (1 - w/3). Is 3/2 greater than or equal to h?
True
Let m be (-2)/34*(2 + -4). Let l = m + 1/136. Which is smaller: l or 0?
0
Suppose -2*s + 6*s + 4 = -v, -s + 2 = v. Let n be (-38)/12 - v/(-24). Let p = 2 + n. Which is smaller: p or -3?
-3
Let w(h) = 8*h + 2 - 2 + h**2 + 5 + 0*h. Let i be w(-7). Let d be (i - 0)*(-2)/4. Do d and 3 have the same value?
False
Let h = -0.6 + 1.7. Let f = -2.9 - h. Let n = 3.8 + f. Are 1/4 and n unequal?
True
Let i = -17 + 21. Suppose -3*d = d + i. Let v be 26/(-36) - (-1)/2. Is d at most v?
True
Let m = 43/21 + -7/3. Is m at least 4?
False
Let z = 339 + -340. Let g = 13/4 - 25/8. Which is bigger: z or g?
g
Suppose 2*s = -s. Let l = 9 - s. Are l and 8 unequal?
True
Let m(p) = -3*p - 3. Let x be m(-2). Suppose 0 = -z - 6 + x. Let j be (-4 - z) + 4/2. Which is smaller: 2 or j?
j
Let c(r) = -r**2 + 2*r + 6. Let z be c(-4). Let w = -17 - z. Is w at least as big as 1?
True
Let s(w) = w**3 - w**2 - 3*w + 4. Let d be s(3). Suppose u + d = 18. Is 5 less than or equal to u?
True
Let l(f) = 2*f**2 + 8*f + 6. Let i be l(-3). Let a(r) = -r**2 + 3*r - 1. Let k be a(2). Is k at least i?
True
Suppose 2*u - 2 = -0. Let f = 31539/47 + -671. Which is smaller: u or f?
f
Let b = 9 - 10. Let j be 4/10 + 6/(-40). Which is greater: j or b?
j
Let x be (-6 - -4)/((12/(-11))/(-1)). Is -1 > x?
True
Let q be 9/12 - 15/(-20). Which is smaller: q or 0.2?
0.2
Let q = -0.7 + -0.3. Let c = 1.1 + q. Let v = 100 - 95. Which is smaller: c or v?
c
Let v = -6.2 - 0.8. Let o = 0.18 + -5.18. Let i = o - v. Which is greater: 2/7 or i?
i
Let x = -0.23 + 0.1. Let w = x - -0.03. Which is smaller: 4 or w?
w
Let p be (-2)/(-5) - 23/(-5). Is 5 > p?
False
Let c be (1/14)/(-5 + 78/15). Which is bigger: c or 1?
1
Let b(t) = 6*t + 2. Let y be b(0). Is 3 bigger than y?
True
Let f = 1.9 - 1.6. Which is bigger: 4 or f?
4
Let i = -200 - 43. Let j be ((-3)/4)/(i/(-72)). Which is bigger: j or 1?
1
Suppose -10 = 2*c - 3*y, 0*c + 4*c = y. Is -1/46 >= c?
False
Let o = -71 + 56. Which is greater: o or 0?
0
Let q(i) = i**3 + 5*i - 6. Let m be q(3). Which is greater: m or 35?
m
Let g(c) = -c**2 + 3*c + 11. Let t be g(5). Which is bigger: t or -0.4?
t
Let l = -26 + 48. Is 23 less than or equal to l?
False
Let c(b) = b**3 + 6*b**2 - b - 6. Let m be c(-6). Let z be (-2)/6 - (-129)/9. Let f be (-6)/(-9)*(-6)/z. Which is smaller: f or m?
f
Let t be (-4)/12 + (-7)/6. Let b be 8/126 + (-14)/(-63). Is b greater than or equal to t?
True
Let j = 6 + -8. Let q be ((-5)/(-2) + j)*3. Which is greater: 1 or q?
q
Suppose q - 3*q = -6. Suppose 28 = -d + g, -q*d - 48 = g + 32. Let r be (-6)/d*3*-3. Which is bigger: r or -1?
-1
Let j(u) = -u**3 + 18*u**2 + u - 25. Let k be j(18). Let v be (-5)/(-6) - 6/36. Which is bigger: k or v?
v
Let l = 12 + -10. Suppose l*u = -3*u. Is u >= -5/6?
True
Let l(w) = -3*w**2 + 7*w + 20. Let k be l(-2). Which is bigger: -9 or k?
k
Suppose -19*y - 151 - 305 = 0. Are y and -24 non-equal?
False
Let z be 4/18 + 7 + (-4592)/(-72). Which is smaller: z or 70?
70
Let h = 0.3 + 1.2. Let z = -1.5 + h. Let d = -3 + 10. Is d != z?
True
Let t = -18569/4458 - 1/743. Is -3 bigger than t?
True
Suppose 3*p - 3*w = 72, -p + 0*w + 4*w = -27. Which is bigger: p or -1/4?
p
Suppose -6 + 26 = 5*y. Suppose -20 = -4*k, -v + 9*k = y*k + 19. Do v and 6 have the same value?
True
Let l(u) = u**3 - 