or 3/4?
w
Let c = 1 - 2. Suppose 2*s = 7*s + 5*u, -u = 0. Suppose s = -0*m + 2*m. Which is smaller: m or c?
c
Let z = -18 + 20. Which is greater: z or 4?
4
Suppose -5*y = -9*y + 88. Let k = 23 - y. Is k at most 7?
True
Let s be 2/90 - 1/(-5). Is -9 >= s?
False
Let v(h) = -4*h**2 + 1. Let u be v(-1). Let q be 2/u - (-2)/(-6). Is 1 < q?
False
Let p = 21 - 12. Suppose 5*u - n = u + p, -u + 7 = -5*n. Let x be (3/(-27))/(1/u). Which is smaller: x or -1?
-1
Let k = -7 + 8. Which is smaller: -1/24 or k?
-1/24
Suppose 3*m + 6 = 27. Let f = -15 - -23. Which is greater: f or m?
f
Suppose -5*c + 0*c = 5, 4*c - 64 = 2*b. Let g = b + 67. Let o be g/36 + 4/(-6). Which is smaller: o or 1?
o
Let k = 24 + -24. Which is bigger: 3/34 or k?
3/34
Suppose -24*h - 72 = -22*h. Do -36 and h have the same value?
True
Let v be (-39)/(-3) - 9/3. Let t = v - 10. Which is smaller: t or 15?
t
Let p be 14/(-35) + (-8)/30. Let f = -1 + -3. Are f and p equal?
False
Let j = -6.9 + 1.9. Does j = -1?
False
Let c(u) = 39*u**2 - u. Let g be c(-1). Let q = g + -118/3. Do 1 and q have the same value?
False
Let s = -21 + 19. Is s != -2?
False
Let t = -10 - -23. Let l = 8 - t. Let k be -6 + 2/(5 + -3). Is l less than k?
False
Suppose -2*r = -2*y + 16, 2*y - 4*r = -1 + 17. Suppose y*v - 3*v = 0. Let w = 359 + -5383/15. Which is greater: v or w?
w
Let w = -157 - -156. Is -1/73 equal to w?
False
Let o be (2/8)/((-25)/(-40)). Do o and 13 have the same value?
False
Suppose -3*q + 4*c - 15 = 16, 2*q - 5*c + 30 = 0. Let t = 4 + q. Let x be (0/(0 - -1))/(-2). Which is greater: t or x?
x
Suppose 0 = -j - 2*j - 24. Let m = -10 - j. Let a = 0 + -1. Are m and a equal?
False
Let h(u) = u**2 + 14*u + 26. Let t be h(-12). Is -6 greater than t?
False
Let d be (1/4*-2)/1. Let l(r) = -r**2 + 6*r + 7. Let v be l(6). Let z be (-6)/21 - 5/v. Which is greater: d or z?
d
Let o = 1002 - 994. Suppose -3*b = b - 36. Is b equal to o?
False
Let n = 0.8 - 3.8. Let i = n + 1. Let u = 7.2 - 10.2. Which is smaller: u or i?
u
Let h be 2 + 3/(-6) - (-8)/6. Which is greater: h or 4?
4
Let p = 7.18 - 0.18. Is p > -1?
True
Let w(s) = s**2 - 7*s - 1. Let k be w(7). Let f = -3/5 + 1/10. Is f <= k?
False
Let p = -2/11 - -50/33. Suppose 4*c + 4 = -5*s, 5*c + 2 = -2*s - 3. Suppose -12 = 3*o, 3*d - 7 = -s*o + o. Which is smaller: d or p?
d
Let c(u) = -4*u**2 + 4 + 5*u**2 + 0*u + 5*u. Let v be c(-4). Is -1/7 bigger than v?
False
Let u = 3 + -2. Suppose 0 = -5*d + 3*d - 4. Let l be d/8 + (-4)/48. Is l greater than or equal to u?
False
Suppose -5*w - 3 = -v, 0 = 2*w + 3*w + 2*v + 9. Is w greater than -1?
False
Let d = 73 - 74. Is 0.12 less than d?
False
Let r = -49 + 48. Which is greater: 3/10 or r?
3/10
Let o be -2 + -1 + 890/298. Let d = o - 139/745. Let j = -9 - -8. Which is greater: j or d?
d
Suppose u + 4 = -3*u. Let y be (-3)/6 + (-34)/(-100). Let t = y - -86/225. Is t at most as big as u?
False
Let d = -1 + 7/6. Let s be (-1)/4 - 6/8. Let o = s + 2. Which is bigger: d or o?
o
Let w(a) = 2*a - 2. Let i be w(2). Suppose 3*m - i*n = 6, -m - n = 3*m - 8. Which is smaller: 3/2 or m?
3/2
Let a = -28 + 27. Is a not equal to 22?
True
Suppose 7 - 49 = -2*y + 3*m, y - 5*m - 21 = 0. Let f be (-36)/y - 4/14. Are -1 and f equal?
False
Let d = -0.03 + -14.97. Is 0.1 > d?
True
Let t be 22/24 - 2/3. Which is bigger: t or -1?
t
Let l(p) = -8*p**3 - 2*p**2 + p + 1. Let w be l(1). Which is bigger: -13 or w?
w
Suppose 6*t - 3*t = -2*o - 36, -5*t = -5*o + 35. Which is greater: -5 or t?
-5
Let m = -10 - -4. Let w = -2 + m. Let d be (2/(-8))/((-6)/w). Is d > -4?
True
Suppose 0 = -2*d + 5*z + 126 - 41, 3*d - 65 = -5*z. Is 31 greater than or equal to d?
True
Suppose -4*a = 5*c - 19, 0*c - c = a - 4. Let u(b) = b**3 + 4*b**2 + 4*b + 2. Let i be u(-2). Let l be (-75)/(-126) - i/4. Do l and a have different values?
True
Suppose 5*l - 68 = -8. Let t = 24 + -40. Let n be l/t*(-8)/(-10). Is 0 > n?
True
Suppose -2*i = 3*i + 40. Let o(q) = -q**3 - 8*q**2 + 2. Let a be o(i). Suppose 0 = -a*w - 3 - 3. Which is smaller: -4 or w?
-4
Let v be 945/(-140) + 2*3. Let l be 0/(2/(-4)*-4). Which is greater: v or l?
l
Let o(z) = 2*z**2 + 6*z - 4 - z - 3*z**2. Let x be o(4). Is x greater than 0.3?
False
Suppose 3*k = -5*d - 46, -k - 3*d = d + 27. Is -2 greater than k?
True
Let a be (1/(-2))/(4/8). Is 0 at least as big as a?
True
Let j(z) = -z**3 - 2*z**2 + 9*z + 14. Let q be j(-3). Let c = 1 - 4. Is q at most as big as c?
True
Let b = 4037/9 + -448. Which is smaller: -1 or b?
-1
Suppose 5*j - 2*o = -9, 3*o - 6 - 2 = 2*j. Let p = -1 + 1. Suppose t + v + 3 = p, 6*v - v - 5 = 5*t. Do j and t have the same value?
False
Let w = -1853 - -1852.047. Let g = w - 0.027. Let o = g - 0.02. Is o at most as big as 1?
True
Let v = -28 - -24. Which is smaller: v or -10?
-10
Let y be 12/21 + 138/(-315). Which is greater: -1 or y?
y
Let b be -9 + -1 - 1 - -2. Is 1 smaller than b?
False
Let b(z) = z**2 - 9*z. Let d be b(8). Is d less than or equal to -8?
True
Let n be -4 - (510/(-35) + 0). Which is smaller: 11 or n?
n
Let m = 2.5 + -4. Let h = 0.5 + m. Let p = -299/15 + 61/3. Which is bigger: p or h?
p
Let j = 1 - 0.98. Let p(q) = q**3 + 5*q**2 + 2*q + 4. Let l be p(-3). Let k be (-15)/(-20)*l/(-30). Which is smaller: j or k?
k
Let s = 0.07 + 0.03. Let r = -1 + 1. Are r and s equal?
False
Let c be 0 - 1 - 4/(-8). Let u(v) = v**2 - v. Let w be (-20)/(-9) + (-2)/9. Let y be u(w). Which is smaller: y or c?
c
Suppose 0*a = 5*a - 3*j - 27, -4 = j. Suppose 0 = 2*z - a*z - 4. Let i = -4 - z. Which is smaller: -2/11 or i?
-2/11
Let b be ((-8)/(-2) - 3)/(-11). Which is smaller: 0 or b?
b
Let j be (4/5)/(1/5). Suppose -g - j - 4 = 0. Which is smaller: -9 or g?
-9
Let c = 26 + -24.9. Let t = 7 + -6. Let d = c - t. Which is smaller: -1/5 or d?
-1/5
Let c = -15 - -16. Let u be (c/(-1))/((-91)/(-14)). Which is smaller: u or 1?
u
Let n = -33.88 - -35. Let z = n - 0.12. Suppose 0 = -5*x + 3*d + 8 + 29, 2*x + 2*d = 2. Is x less than z?
False
Let x = 19/5 - 43/10. Which is smaller: -22 or x?
-22
Let v = -0.68 + 0.6. Let r = v + 0.28. Let k = -187/7 + 27. Which is bigger: k or r?
k
Let s(k) = k. Let r(u) = u**3 - 2*u**2 + 3*u. Let w(q) = r(q) - 3*s(q). Let h be w(2). Let g be (-1)/(0 - -1) - h. Which is smaller: -3/5 or g?
g
Let m = -0.8 + -6.2. Let f = m - -6.9. Let a = 65/4 - 16. Which is smaller: a or f?
f
Let q(z) = z**2 - 10*z - 3. Let i = 27 + -17. Let r be q(i). Is r greater than -4?
True
Let u = 0.12 + -0.09. Let r = u - 0.13. Is r greater than -0.1?
False
Let k = -52/5 - -213/20. Let f = -0.2 + 0.3. Which is greater: f or k?
k
Suppose -5*d - 143 = -723. Let o be 3 - (d/112 - -2). Which is bigger: o or 0?
0
Let t(l) = -2*l**3 - 27*l**2 - 11*l + 26. Let y be t(-13). Let o(i) = -3*i**3 - 2*i**2 + 1. Let v be o(-1). Is y not equal to v?
True
Let v be (-19 + 6)/(1*-1). Let w = 8 - v. Do w and -5 have the same value?
True
Suppose -50*y - 585 = -55*y. Which is bigger: y or 118?
118
Let o = 26 - 38. Let f be ((-2)/(-6))/(o/(-45)). Is f >= 1?
True
Suppose -3*y = -a - 4*y + 5, 5*y + 2 = 4*a. Suppose -8*s - 22 = -6*s. Let x = s - -14. Are x and a unequal?
False
Suppose 2*a = 6*a - 20. Suppose a*w + 3*d = 12, -2*w - 2*d = -4 - 0. Is w equal to 3?
True
Let c = 5 - 2. Suppose 3*k + v + 5 = c, 2 = -5*k - 3*v. Let q = 124/3 + -42. Which is greater: q or k?
q
Let b(f) = -f**3 - 13*f**2 - 11*f - 18. Let h be b(-12). Let s = h + 20. Is s at most as big as -11?
False
Let f(o) = -3*o - 9. Let v be f(-4). Which is smaller: 5 or v?
v
Let c be ((0 + 1)*3)/1. Let p = -4 - -8. Suppose o = -q + p*o, -4*q = -c*o. Do -1/7 and q have different values?
True
Suppose -3*q + 2*t = t - 13, 5 = -q - 2*t. Is 3 greater than q?
False
Let f be (12 - -1 - 2) + 1. Suppose -4*d = r + f, 2*r + 0*r = d + 12. Suppose -g = -r*g. Is -1/6 greater than g?
False
Let m be (-26)/22 + 3/3. Let s = -0.73 + 0.8. Let h = -0.03 - s. Which is smaller: h or m?
m
Let u = 6 + -2. Is u greater than or equal to 10/3?
True
Suppose -3*l + 5*r + 572 = 0, -3*l - 3*r - 185 = -749. Let i be (-3)/5 + l/665. Which is greater: i or 0?
0
Suppose 5*c = o + 3*o - 10, 2*o = 5*c + 10. Which is bigger: o or -3/28?
o
Suppose 3*i - o = -0*o + 5, 15 = i - 3*o. Let q be 4/2 + (i - 0). Let a = 49/2 + -24. Which is bigger: a or q?
q
Let r be 3 - ((-68)/(-8) + -3). Which is sm