r?
False
Let v = 27 + -45. Is -17 > v?
True
Let c be (12/(-14))/(4/28). Let i be -2*(-4 + (-3 - c)). Does 3 = i?
False
Suppose -33 = s - 32. Which is greater: s or 2/53?
2/53
Let w = 9 - 8.9. Is w less than -0.19?
False
Let f be ((-1)/2)/(1/2). Let i be (-6)/(15/9 + -1). Let c be (-3)/i + (-3)/36. Is c < f?
False
Let v be (-4)/8 - 3/(-2). Let d = 131121/103 - 1273. Let z = -117/721 + d. Is z greater than v?
False
Let n = 12 + -7. Suppose n*u - 4 = 3*u. Which is bigger: u or 1?
u
Let u = -8 + 9. Suppose h + u - 6 = 0. Which is smaller: h or 4?
4
Let f be (-91)/(-15) + 2/(-5). Let y = 3 - -3. Is f less than or equal to y?
True
Suppose 4*z = -p + 18, -3 = 5*p + 7. Let b be (-22)/z + 10/25. Let f = b + 3. Which is bigger: f or 1/8?
1/8
Let n = 0 - -3. Let x(q) = -q**2 + q + 2. Let k be x(n). Let f be 1/k - 15/(-36). Which is bigger: 1 or f?
1
Let b(o) = -2*o**2 + o. Let a be b(2). Do a and -5 have the same value?
False
Let l = 0.11 + 1.19. Are -2/7 and l non-equal?
True
Suppose 2*x + 2*g = 7 - 3, -1 = -2*x - g. Let u be 2 + (-166)/80*2. Let r = u - -12/5. Is x at most as big as r?
True
Suppose -j - 12 = 3*j. Let h = 0 - j. Suppose -5 + h = 2*m. Do m and -1 have the same value?
True
Let h = -12 + 13. Let f = -1 + h. Which is bigger: 7/5 or f?
7/5
Suppose 0 = -0*y + 3*y + 15. Suppose 58 - 38 = -4*x. Is x greater than y?
False
Let o(c) = -c**2 + 9*c - 7. Let x be o(8). Is x < 1?
False
Suppose 5*b - r = 2, 2 = -b - 4*r + 3*r. Let a be 156/21*28/60. Let o = a - 11/3. Which is smaller: o or b?
o
Let z(f) = -f**2 + 6*f + 1. Let r be z(5). Which is bigger: 5 or r?
r
Suppose 2*k - 1 = 1. Let j be 1 + 1 + 99/(-51). Is k at least as big as j?
True
Let y = -37 + 37. Is 1/10 at most y?
False
Let j be -20*(21/(-6) + 3). Are j and 13 nonequal?
True
Suppose -3*d = -4*d - 3*w + 12, 0 = -2*d - 2*w + 12. Suppose 3 - 6 = -z. Let t = z + 1. Which is greater: t or d?
t
Suppose -37 = -3*b - 5*t, 8*b + 2*t - 30 = 3*b. Suppose -3*r = 2*s + r, s - b*r + 24 = 0. Let z(n) = -n**2 - 8*n + 1. Let j be z(s). Is j greater than 1/4?
True
Let y = 1952 + -1935.97. Let i = -0.03 + y. Which is bigger: i or -1?
i
Let g be (-3)/6*1*1. Is g < 1?
True
Suppose 4 + 1 = m. Suppose -4*c + m*s - 4*s = 3, 0 = 2*c + 4*s + 24. Which is smaller: c or -4?
-4
Suppose 4*n - t = 20, -3*t + 5*t - 25 = -5*n. Let f(s) = -18*s. Let v be f(-2). Suppose -w + v = 4*w - 2*j, -3*w + 15 = j. Which is greater: w or n?
w
Let i = -43.5 - -44. Which is smaller: i or 2?
i
Let g be (30/8)/((-9)/48). Let b be 10/g + (-86)/(-4). Is b at least as big as 21?
True
Let j = -21 - -21. Which is greater: j or 7/9?
7/9
Let d = 2.76 + -1.76. Is -11.2 smaller than d?
True
Let s = -10/3 + 8/3. Which is smaller: -2 or s?
-2
Suppose -b - 3 = -j + 10, 63 = 3*j + 5*b. Let c be (-2)/(-9) - j/(-9). Let w be ((-1)/c)/((-2)/(-4)). Is w < -2/7?
True
Let i be 1/(-12) + (-2 - 36/(-16)). Is i bigger than -4?
True
Suppose -s + x = -5, -4*s = 2*x + 2 + 2. Let u be (-54)/(-152) - (-4)/(-16). Is s bigger than u?
True
Let y(n) be the second derivative of 0 + 1/20*n**5 + 1/3*n**4 - 2/3*n**3 + 3/2*n**2 - 3*n. Let q be y(-5). Do q and -2 have the same value?
True
Let v be (4/(-10))/(2/(-20)). Let g = 3 - v. Which is bigger: 0.3 or g?
0.3
Let h = 16 + -24. Let t be (-6)/h - 50/(-8). Let a = -9 + t. Which is bigger: a or -1?
-1
Let r(l) = 4*l**2 - l + 2. Let m(j) = -j**3 - 13*j**2 + 4*j - 7. Let p(u) = 2*m(u) + 7*r(u). Let v be p(-1). Is v bigger than 3?
False
Let a be 5/10*6/(-1). Is 0.1 > a?
True
Let x = -0.26 - -0.2. Let k = 2.06 + x. Let j = -2.2 + k. Which is greater: -0.1 or j?
-0.1
Let q(g) = -3 - 2 - g - 1. Let a be q(-5). Let n be -2 - (0 - 11/5). Which is smaller: a or n?
a
Let u be -1 + 1 + 1 - (10 - -2). Which is smaller: u or -12?
-12
Let d = -2.58 - 1.42. Suppose 4*s = -s. Which is smaller: d or s?
d
Suppose -9*m = 8*m - 13*m. Which is greater: m or 1/2?
1/2
Suppose -3*s + 36 = 5*u, 0 = 3*s + u - 2*u - 18. Let z = s - -1. Is 8 bigger than z?
False
Let s = -43/112 + 1/112. Is s > -1?
True
Suppose 3*s + 44 = -49. Is s at least as big as -32?
True
Suppose t = -5*t + 12. Is t <= 5?
True
Let d = 30/3629 + 602494/4380203. Let r = d + -2/71. Is -1 less than or equal to r?
True
Let s = 0.26 - 0.33. Let p = 22/3 + -8. Which is greater: s or p?
s
Suppose -5*y - 89 = -94. Is -1/125 smaller than y?
True
Let n(a) = a**3 - 17*a**2 + 31*a - 16. Let x be n(15). Which is smaller: x or 30?
x
Let p(i) be the third derivative of -i**4/8 + i**3/3 + 2*i**2. Let d be p(3). Let r be (3 - 2)*(-2)/d. Do r and -1 have different values?
True
Let r = -1 + 1. Let s(p) = -p**3 - p + 2. Let o be s(0). Let m = o + r. Is m not equal to 3?
True
Suppose -4*r + 20 = -0*r. Suppose r*d - 30 = -5. Is 5 <= d?
True
Let i = 22/5 - 71/15. Is i less than or equal to 1?
True
Suppose -2*y = y - 3*v - 30, -v = 5. Let d(n) = n**2 + 12*n + 14. Let g be d(-11). Suppose 0 = 5*b + 25, -b - 4*b = g*x + 16. Is y at most as big as x?
False
Let d be 3/(9/8) - 2. Suppose 0 = g - 4*g + 9. Let q be (0 - -1)/(0 + g). Which is bigger: d or q?
d
Let x(g) be the second derivative of -g**3/6 - g. Let s be x(-5). Suppose s*y = -5*c, -2 = 5*c + 4*y - 4. Is c greater than or equal to 6/11?
True
Let i = -62.3 + 63. Is i at least 0.3?
True
Suppose -5*p + 20 = 3*w, -4*w = -0*p + p - 4. Suppose -4*i + i = w. Which is smaller: i or -2/9?
-2/9
Suppose 4*p + 26 = -14. Are -12 and p equal?
False
Let u be ((-12)/((-6)/(-2)))/(-2). Let t be 10/(-15) - u/(-3). Is 0 greater than or equal to t?
True
Let q = 5502/155 + -177/5. Is 0 smaller than q?
True
Let b be (84/(-16) - -2) + 3. Which is bigger: 1/8 or b?
1/8
Let k = 0.22 - 0.12. Is -2 < k?
True
Let c = -1215/2 + 6179/10. Is c less than or equal to 11?
True
Let p be 33/(-9) + 1/(-3). Let j = 5 + p. Is j greater than 1/3?
True
Let b = -194/399 + 8/21. Do b and -1 have the same value?
False
Let a(n) = n**3 + 9*n**2 + 6. Let r be a(-9). Suppose 4*m = 5*m - r. Suppose q + 3*q - m = -5*z, 3*z + 2*q = 4. Is z at least as big as 1?
True
Let g = -6 - -9. Suppose 0*y = 6*y - 18. Let w be (g/4)/(y/(-12)). Is w > -3?
False
Let t(z) = -4*z - 4. Let g(o) = 7*o + 7. Let i(a) = 3*g(a) + 5*t(a). Let x be i(-11). Are x and -9 unequal?
True
Let a(n) = 3*n - 1. Let h be a(2). Let k = h + -8. Suppose -4*l + 7*l = -4*s - 23, -s = 2*l + 12. Are s and k equal?
False
Let s = -2.6 - -2. Let v = 0.4 - s. Let o = 1 + v. Which is greater: 1 or o?
o
Suppose 3*b = 5*b - 30. Let q be (-2)/5 - (-21)/b. Let a be 6/(-21) + 1 - q. Which is greater: 0 or a?
0
Suppose 0 = 4*v + 16, -39 + 11 = 3*o + v. Do o and -8 have the same value?
True
Suppose 0 = 4*m - 5*a - 34, -2*a + 21 = -5*m + 55. Suppose 5*c - 16 = -m. Is c less than 5/4?
False
Let v be (2 + -2)*(-1)/(-2). Let z = 158/651 + 4/93. Does v = z?
False
Let j = 13 - 14. Let f be ((-1)/18)/(j/(-4)). Is f at least as big as -1?
True
Let s = -283167405/623 - -454522. Let f = -3/89 - s. Suppose 0 = 3*a + 2*a. Which is greater: a or f?
f
Let a(v) = -v**2 - 4*v. Let w(t) = -t**2 - 6*t - 3. Let q be w(-6). Let g be a(q). Let o be 111/(-74)*(-8)/6. Is o at most as big as g?
True
Let m be 3/((-243)/(-75)) - 1. Do -1 and m have different values?
True
Suppose j - g = 14, 4*j - 5*g + 7 = 67. Is j not equal to -1?
True
Suppose 3*q = 4*s + 5, -5*s - 5*q = -20 - 0. Suppose 0 = -2*k - 1 - s. Let i = -3 - k. Is -3 smaller than i?
True
Let n = 31.6 + 0.4. Which is smaller: -2 or n?
-2
Let n = -773/8621 + 2/233. Let b = -82/555 - n. Is -1 < b?
True
Let t be 4 - 3 - (-58)/(-54). Which is bigger: t or 2/5?
2/5
Let q = 1 + -2. Let w be ((-22)/10 + q)*-16. Let j = w + -51. Is -1/4 equal to j?
False
Suppose -4*s + 65 + 7 = 0. Suppose 4*j - 2*j + s = 0. Let k be 3/j + (-1 - -1). Which is bigger: 1 or k?
1
Let z be (6/(-10) - -1) + (-168)/70. Suppose 0*o = 5*o, -s + 6 = -2*o. Suppose 4*d + s = d. Is d greater than z?
False
Suppose 0 = 7*s - 9*s + 8. Is s at least as big as 0?
True
Suppose -5*y - 5 = 0, i + 2*y + 0 = -2. Is i <= 0.1?
True
Let j(c) = c**2 - 6*c - 7. Let q be j(7). Suppose 15 = -q*b + b. Let s be 3/2 + b/(-14). Is -1 not equal to s?
True
Let p be 1/16*3 - 0. Let g = 7237 + -1042123/144. Let f = g + p. Is f > -0.2?
True
Let m be -3 + ((-63)/(-12) - 6/3). Which is smaller: 2 or m?
m
Let r be 4/(-18) - (-120)/54. Suppose 0 = m - 2, -r*i = -5*i - 3*m. Is 4/5