?
1/6
Suppose 0 = 3*q + 4 + 8. Let m be (8/8)/(354/(-1605)). Let p = m + 2/59. Is q smaller than p?
False
Let c = 45 - 37. Suppose 0 = -4*g + x - c, -2*x = g + x - 11. Are -1/8 and g non-equal?
True
Let a(u) = 2*u**2 + 35*u - 174. Let s be a(6). Which is smaller: s or 107?
107
Let n = 65 - 64. Suppose 2*p + 3*u = -n, u + 4 = 5*p + 2*u. Which is bigger: p or 11/6?
11/6
Let p = -15 + 7. Let t be ((-9)/(-24))/(9/6). Which is bigger: p or t?
t
Let p(w) = w + 6. Let v be p(0). Let g be 415/(-45) - (-2)/9. Let z = g + 15. Is v greater than or equal to z?
True
Let k(u) = 20*u - 352. Let y be k(13). Is y less than -95?
False
Let z = 6.846 - 6.9. Let g = z - -2.154. Which is greater: g or 0?
g
Suppose 3 + 4 = 4*u + 5*j, -1 = u + 4*j. Suppose s - u = -5*m, 4*m - 8 = 3*s + 2. Are 1/9 and m unequal?
True
Let s = -9 - -9. Let r = 21 - 14. Let n = r - s. Are n and 1/4 nonequal?
True
Let v = -9 + 3. Let d be 2/10 + (-895)/(-150). Let b = v + d. Which is smaller: 0 or b?
0
Let g = 9 - 8.85. Which is bigger: g or 8?
8
Let o = -11 - -25. Let u = -498 - -495. Is u at least as big as o?
False
Let s = 18297 + -13850827/757. Are s and 1 nonequal?
True
Let k = -7.3 + -47.7. Let f = -102 - k. Is 0.1 >= f?
True
Let f = -129413/18 + 7192. Is 3 equal to f?
False
Let q be ((-447)/(-2))/(6/8). Is 300 less than q?
False
Let n = 45194 + -34121476/755. Is 0 at most as big as n?
False
Let n(s) = s + 19. Let u be (5 - 8)/((-1)/(-6)). Let v be n(u). Is 5/11 > v?
False
Let z = 520 + -520.12. Does 4 = z?
False
Let m(z) = -z**2 - 6*z. Let n be m(-6). Suppose -2*j + 3*r = 4, n*j - 3*j + 4*r - 5 = 0. Which is bigger: j or 2/21?
j
Suppose 867*i + 3892 = 871*i. Do i and 973 have the same value?
True
Let r(g) = -g - 21. Let d be r(-15). Which is smaller: -84/13 or d?
-84/13
Suppose 0*u = -2*u + 8. Suppose u*n + 20 = -n. Is n greater than -15/4?
False
Let c = 1930/23 - 84. Suppose -2*r = -3*s - 7, 4*r + 19 = -s - 4*s. Is r at least as big as c?
False
Let z(u) = u**2 - 7*u + 7. Let h be z(6). Let k(o) = 9*o + 16. Let b be k(-6). Let n be (3 + 122/b)*(-3)/6. Do n and h have different values?
True
Suppose m - 6 = -l, 0 = -4*m + 2*l - 1 + 13. Suppose k = 5*k - 5*w + 7, -2*w + m = -2*k. Let y = -877/10 - -167/2. Is k smaller than y?
False
Suppose -2*g = 4*w + 80, 4*w - 2*g + 29 = -35. Suppose -5*t + 4*b - 92 = 0, 2*t - 2*b + 36 = -0*b. Is w smaller than t?
False
Let x(b) = b**3 + 10*b**2 + 10*b + 13. Let v = 8 - 17. Let c be x(v). Which is greater: c or 5?
5
Let c = -14 + 10. Let n(u) = u**3 + 11*u**2 - 3*u - 26. Let v be n(-11). Suppose 0 = -6*j + v*j + 5. Is j greater than c?
False
Let c = 3.3 - -58.7. Let u = c - 61. Is 10 > u?
True
Let n be (-12)/28 - 7/(2695/(-200)). Which is smaller: -16 or n?
-16
Let n = 0.124 + 12.876. Which is smaller: 1/4 or n?
1/4
Let l be -1 + (-4)/(-2)*-16. Suppose -3*c - 3 + 12 = 0, 0 = 5*t - 3*c - 166. Let o = t + l. Is -2/9 <= o?
True
Suppose 25*b - 42 = 22*b. Which is smaller: 15 or b?
b
Let k = -32 + 26. Let x be k/(-18) + 39/(-9). Which is greater: -1 or x?
-1
Let k(j) = 0 - 2*j + 2*j - j - 11. Let q = -21 - -9. Let z be k(q). Is z at most as big as 1?
True
Let l = 8.7 - -0.3. Let i = -43 - -43. Let n = i + l. Which is smaller: -0.1 or n?
-0.1
Let j(u) = -u**2 - 3*u - 3. Let h be j(-3). Let q be (0 + 1)*(-18)/h. Let v be (1/q)/((-12)/18). Is v greater than 1?
False
Let t be 3/48*(-3 + 1). Let y(f) = f**2 - 47*f + 245. Let l be y(6). Which is smaller: l or t?
l
Let z = -1.8 - -1.7. Let l = -53.4 - -3.4. Let j = l + 26. Do j and z have the same value?
False
Let m = -0.026 + -5.974. Let t = 14 + m. Which is greater: t or -1/7?
t
Let p(h) = 2*h + 16. Let c be p(-18). Is c > -19?
False
Let w be (-8)/(-28) - 0 - (-568)/(-28). Let t = 19 + w. Let n = -2166/5 - -431. Which is greater: n or t?
t
Let r be 2 + 3 + -2 - 1. Suppose -30*o + 73 = -17. Let x = r - o. Is x smaller than -3?
False
Suppose -4 = -2*d, 0*o + 58 = 5*o + 4*d. Let c be 44/o + (-4)/10. Let g be 12 - ((-2160)/(-312) + (-2)/(-26)). Which is smaller: c or g?
c
Suppose -16*g + 17*g = -6. Let s be 188/g + (-10)/15. Let r = s - -24. Is -9 at least as big as r?
False
Let i = 50 + -38. Suppose -2*o - 4 = -f - 1, 4*f - i = 4*o. Which is smaller: o or 8?
o
Let h be (-40)/(-5) + (-4 - 1). Suppose j - 4*j - h*o + 15 = 0, -5*j - o + 9 = 0. Which is smaller: j or -3/52?
-3/52
Suppose 2410*a = 2401*a - 18. Suppose 4*g + 9 + 16 = 3*k, -2*g + 5*k + 5 = 0. Is g at most a?
True
Let v = -0.55 + -0.19. Let k = v - 0.26. Is -53 equal to k?
False
Suppose -62 = 5*z + 3. Let x = 2365 - 2378. Are x and z non-equal?
False
Let o be 2*92*(44 + -41). Is o smaller than 550?
False
Suppose 0 = -5*g + 35 - 5. Suppose 0 = 3*j + g + 9. Suppose -2*c + 48 = -5*h, 5*h + 13*c = 18*c - 60. Which is smaller: h or j?
h
Let t = 0.29 - -14.71. Let r = -14.9 + t. Let y = 6.3 + -6. Are y and r equal?
False
Let b(f) = -f + 58. Let h be b(5). Let v = 85 - h. Which is smaller: 95/3 or v?
95/3
Let f(n) = -3*n - 78. Let y be f(-14). Is y > -34?
False
Suppose -z + 18 = 4*x, 4*z - 35 = -2*x - 5. Suppose 0 = -j - 5*w + 5, -2*j - 3*w + 1 = -2. Which is smaller: j or z?
j
Let g = 216 - 341. Is g <= -125?
True
Let p be (-3 - -1)/((-3)/(-3)). Is p smaller than -33/17?
True
Let k(c) = c + 0*c + 3 - 7 + c. Let t be k(3). Suppose 2*n + t*l + 8 = -12, 5*l = n - 2. Is -17/2 <= n?
True
Let w(p) = -p**3 + 21*p**2 + 43*p + 50. Let l be w(23). Let o(m) = -5*m + 2. Let i be o(4). Is i less than or equal to l?
False
Suppose -r + 4*s - 24 = 0, -4*r + 2*s - 63 = -3*s. Let w be 4/r + (-61)/(-3). Which is bigger: 21 or w?
21
Suppose -r - r + 4 = 0. Suppose 4*b - 12 = -8. Let s be (-1)/(b/(-4) - 0). Which is greater: r or s?
s
Let r = -5.9 + 3.9. Suppose -10 - 12 = 2*o. Which is smaller: r or o?
o
Let b = 1.27 - 19.17. Let m = b - -3.9. Let f = m + 13.9. Which is smaller: f or 21?
f
Let d = 89.2 - 89.1. Is d equal to -10.7?
False
Let x(r) = 4*r**2 - 24*r + 17. Let u be x(5). Is u >= -1?
False
Let s be -24*3/(-9) - 111. Are -104 and s equal?
False
Let i = -5/4 + 17/20. Let r be 1 + (0 - 0) - -1. Suppose 0*a = 5*a + q - 1, -3*a = -r*q - 11. Which is bigger: i or a?
a
Suppose 2*y - 8*y = -5*y. Do 3/230 and y have the same value?
False
Let n be (-88088)/693 - (-8)/(-9). Which is smaller: -383/3 or n?
n
Let r(s) = s**2 + 12*s - 22. Let g be r(-16). Suppose -15*f = -f - g. Which is greater: 0 or f?
f
Let t(n) = n**2 + 5*n + 5. Let d be t(-5). Suppose 0 = -5*z - 87 + 12. Let q be (0 - 25/(-45))/(z/(-18)). Which is smaller: d or q?
q
Suppose 3*t + 2*f - 2361 = 2597, 0 = 2*t - 2*f - 3322. Which is smaller: 1657 or t?
t
Let s = -424 - 35. Let j = s - -15149/33. Are j and -2/5 equal?
False
Let q = -62 + 34. Let o be (-4)/q + 102/21. Suppose -5*m + o*j = -15, 6*j - 6 = 3*j. Is m at least as big as 6?
False
Let p be (-807)/18 - 72/(-48). Which is bigger: p or -43?
-43
Let t = -52/3 + 19. Which is smaller: t or 0?
0
Suppose q = -2 + 9. Suppose -3*b = -2*j + j - 8, j = 2*b - q. Are b and -1/30 equal?
False
Let u = 40.75 + -41. Let p = 6.75 - u. Are -2/7 and p unequal?
True
Let w be 38/6 + 2/(-6). Suppose -w*q + 3*q = 0. Let d = -1/836 + -1043/1672. Is d bigger than q?
False
Let c be -2*18/(-3)*-1. Let m be (c - -3 - 1)/(-2). Which is bigger: 7 or m?
7
Let u = 16 - 15.91. Let b(n) = -n**3 - n**2 - 2*n - 12. Let r(m) = -2*m**3 - m**2 - 4*m - 25. Let g(a) = -7*b(a) + 3*r(a). Let l be g(-4). Is l at most u?
False
Let j(f) = 0*f**3 + f**3 + 13*f**2 - 6*f**2 + 13*f**2 + 35*f - 19. Let t be j(-18). Are t and 2/123 non-equal?
True
Let x = 0.292 - 1.292. Is 80 equal to x?
False
Let g = -2743/15 + 183. Suppose -2*w - 4*l = -w + 4, -w + 4*l = -12. Suppose -j = 3*m + 5, -m - 2*j + w*j = -3. Is g != m?
True
Suppose 0 = -60*c + 63*c. Suppose -5 = -z - c*z + 2*w, 5*w = 3*z - 13. Let g be (3/(-11))/(6/4). Which is bigger: g or z?
z
Let i(t) = 5*t**2 + 2*t - 2. Let l be 1/((-1)/(-1 + 3)). Let q be i(l). Let v = -13 + q. Which is smaller: -2/15 or v?
-2/15
Let r be (2 + 3 + -57)/7. Which is bigger: r or -7?
-7
Let h = 20606/3 + -6718. Let m = h + -4070/27. Is 0.1 <= m?
False
Suppose 18*h = x + 15*h - 11, 0 = -4*x + 2*h + 4. Which is greater: 5/43 or x?
5/43
Suppose -5*v + 17 = 2. Suppose 25 = -v*n + 4*c, 5*c = 3*n - 8*n - 30. Which is greater: n or -5?
-5
Let y = -1.63 - 0.07. Let c = y - 0.3. Let r