 + 7*v**2 - 15*v + 11. Let s be n(-9). Let p be 326/78 - s/104. Is p smaller than 5?
True
Suppose 0 = -15*q + 8*q + 7. Which is greater: 9/14 or q?
q
Let p be (-1 + 0/(-2))*1. Is p less than or equal to -1/4?
True
Let p = 74 + -24. Let f = 51 - p. Which is greater: f or 2/27?
f
Let x be 12/(-3)*1/1. Let h(i) = i + 8. Let y be h(x). Suppose 0*v - y*v = -44. Does 11 = v?
True
Let y = 182/11 - 903/22. Let b be ((-1)/6)/(36/(-5427)). Let c = y + b. Is 2 less than c?
False
Let c = 64/9 + -193/36. Suppose 5*k = 5*v, -35*k + 3*v - 4 = -34*k. Are c and k nonequal?
True
Let v be 1 + -4 - (-2227)/3808*7. Is 1 >= v?
False
Let x = 234 - 233. Do x and 2/971 have the same value?
False
Let k be (-699)/(-81)*(-1)/((-2)/6). Let t = 181/7 - k. Is 1 <= t?
False
Let d be (0 - 0)*(-1)/3. Let y be (-1 - (-2 + 0))*d. Suppose -3*u + 2*b - 5 = y, 5*u + 3*b = 2*u. Which is smaller: u or 2/17?
u
Suppose -170*k = -174*k - 20. Is k < 5?
True
Let f be 5/(1980/327) + -1. Let w = -3829/20460 - f. Is w equal to 0?
False
Suppose -9*b = 5*g - 5*b + 8, g - 4*b - 8 = 0. Which is smaller: -1 or g?
-1
Let u = -170 + 1192/7. Let g be 1 - (-382)/90 - 0. Let m = -24/5 + g. Is u greater than m?
False
Let p = 0.05 - 2.65. Which is greater: p or -2/5?
-2/5
Suppose -2*q = -2*z - 4, 0 = -6*z + 5*z - 5*q + 10. Let g = 6 - 12. Let s(i) = -i**2 - 5*i + 4. Let b be s(g). Is b equal to z?
False
Let h be 52/(-325)*(-1)/(-40). Which is greater: h or -1?
h
Let v(a) = -2*a**2 + 49*a - 19. Let l be v(24). Suppose -1000 = 5*r + l*r. Does r = -99?
False
Let y be (-3 + (-2)/(-1))/(64/(-7408)). Which is greater: y or 115?
y
Let k(o) = -3*o - 131. Let a be k(-44). Let i be 2/7 - 4/14. Suppose i*d + d = 1. Is d less than a?
False
Let j be 8/(-12)*48/(-1). Let a be 13/28 - (-8)/j. Let p = 16 + -16. Which is bigger: p or a?
a
Suppose c - 4*c + 1 = -2*f, 3*c - 3 = 3*f. Let j = -32/23 - -319/345. Does c = j?
False
Suppose 0 = -3*i - 22 + 76. Let a = 23 + -43. Let x = a + i. Is -1 at least x?
True
Let y be (-5)/2 + 1 - 1. Let u = -51 + 47. Let t be 11/(-4) + 1/u. Which is smaller: t or y?
t
Let m be -3 + -4*(-49)/84. Is m less than 275?
True
Let m = 1.7 - -9.3. Let h = m + -9. Let k = 1 - h. Which is smaller: k or -2?
-2
Let h = 36 - 2. Let j = -30 + h. Is -0.1 <= j?
True
Let j(t) = t**3 + 18*t**2 + 2*t + 38. Let n be j(-18). Is n < 2.5?
True
Let n be 6/(-2)*16/(-12). Suppose -4*d = 2*u + 56, -2*d = -n*u - u + 28. Let x be (-1 + 1)/(d - -12). Which is smaller: 2/15 or x?
x
Suppose -3*p + 5*j + 48 = p, -26 = -2*p + 3*j. Let i = p + -12. Let t be 2 + 0 + 11/i. Are -1 and t unequal?
True
Let y = -34 + 41. Let o = y - 1. Is o smaller than 7?
True
Let d be ((-186)/248)/(-2 + (-7)/(-4)). Which is smaller: d or -30?
-30
Let c = 29 - 12. Let a = c + -8. Let p = -8 + a. Is p >= 20?
False
Suppose 2*k = 3*n - 180 + 57, 0 = -4*n - k + 164. Is 39 > n?
False
Let s = 0.0468 - 19.0468. Which is smaller: s or -2/11?
s
Let o = -31/374 + 97305/1182962. Which is greater: 1 or o?
1
Let z = -174 - -95. Let q = 97 + z. Which is greater: 20 or q?
20
Let w be (0 + -3)*(-5)/3. Let z(s) = -s + 13. Let a be z(11). Suppose -a*v - w - 3 = 0. Is v at least -7?
True
Let z(l) = -7*l - 22. Let h be z(-6). Suppose 4*x - h = 4*y, -25 = -3*x + x + 5*y. Let c(g) = -g**3 + 4*g**2 + 4*g - 1. Let w be c(5). Which is bigger: x or w?
x
Let b = -70 + 82. Is b at most as big as -0.4?
False
Let l = -1/124 + -117/868. Suppose -4*j - 23 = -5*q, 0*j - 2*j - 7 = -q. Let c be (-3)/j + 2/(-4). Is l less than c?
True
Let o = -4834 + 29069/6. Which is greater: -4 or o?
o
Let h(l) = -l + 2. Let i be h(10). Let c be -1*i/102*(-6)/32. Which is bigger: 0 or c?
0
Let t = 40 - -65. Let a be (-8)/12*t/(-25). Is a at most as big as 3?
True
Let i = -120.4 + 120.7. Let z = -2 + -1. Let j = z + 5. Which is greater: i or j?
j
Suppose 0*n = -n - 6. Let o be (-3 - n)*1*1. Let v(s) = s**2 - 4*s + 2. Let p be v(o). Is -4/7 less than or equal to p?
False
Let t be (1/3*(1 + -1))/2. Let o be -1*3/6*t. Do o and 1/21 have the same value?
False
Let f(c) = c**2 - 1. Let l be f(-2). Suppose 5 = l*v - 4. Suppose -v*z - 3 + 12 = 0. Is 3 equal to z?
True
Suppose r + 2*s - 22 = -21, 0 = -3*r + 2*s + 3. Let n = -16 - -34. Is n < r?
False
Let w(v) = -v**2 - 14*v + 9. Let t be (8 - (-4)/(-4))*-1. Let b be w(t). Let a be b/(-19) + (-18)/(-6). Is a < 0?
True
Let o = -54 - -39. Let m be (5*(-2)/(-85))/o. Which is greater: 0 or m?
0
Suppose 3 = b + 3*c - 1, -5*b - 2*c = -20. Suppose b*r = -9 + 33. Let x = 7602 + -7597. Are r and x equal?
False
Let x(h) = -h - 9. Let p be x(-9). Suppose 0 = r + 2 - p. Let c be 3/r*(-12)/9. Is -3 > c?
False
Let x be (-86135)/(-107) - 14/(2/1). Is 798 greater than x?
False
Let c(k) = 2*k**2 + 3*k - 1. Let o be c(-3). Let y(p) = -p**2 + 8*p - 5. Let x be y(o). Is x > -4?
False
Let a(z) = -2*z**2 + 39*z - 10. Let d be a(11). Is d equal to -2/9?
False
Let f(g) = g**3 + 4*g**2 + 4. Let w be f(-4). Suppose 0 = -5*u - 0*u - 2*d - 35, -3*d = w*u + 21. Let h be u/6 - 2*-1. Which is smaller: 1 or h?
h
Let y = 113 - 1240/11. Let f = 2 - 3. Which is greater: f or y?
y
Let m be -1*(-1 + -2) + 79. Which is smaller: 80 or m?
80
Let h = -30 + 29.8. Let b be 14/(-49) + 40/42. Which is smaller: h or b?
h
Let g = 1.17 + -1.17. Is 2/4255 >= g?
True
Let m = 1207 + -1198. Which is bigger: m or 13/3?
m
Let b = -20 + 7. Let i = b + 13. Which is smaller: -5 or i?
-5
Let u be (1 - (-286)/(-299))*(-80 + -1). Is -5 bigger than u?
False
Let j = 2031 + -3825/2. Which is smaller: 118 or j?
118
Suppose 3*h + 30 = 5*h. Let z = 7 - h. Let f = 11 + z. Is f smaller than 2?
False
Let z = -2285.26 + 2264. Let s = z - -21. Let t = s - -0.56. Is -3 <= t?
True
Let s = 10 - 7. Suppose 5*k + 8 = -s*n + 37, -35 = -4*n - 3*k. Which is smaller: n or 3?
3
Let z = 14 - 17. Let d be 21/7 - (1 + z). Suppose d*i - 3*i - 4 = 0. Is i greater than 0.1?
True
Suppose 2*s + 338*t + 20 = 334*t, 2*t + 6 = -3*s. Let g = 2463/2770 - -3/277. Do s and g have the same value?
False
Let p be (-1)/((-185)/2*2/(-3)). Which is greater: p or 1?
1
Let l be 10/(-2) + ((-1134)/(-39))/14. Which is smaller: l or -3?
-3
Suppose 0 = -9*d + 4*d - 2*b + 17, b - 1 = -d. Let j(p) = p**3 + 4*p**2 + 2*p + 2. Let u be j(-3). Is d at least u?
True
Suppose -35 = 3*s - 4*y - 108, 4*s - 87 = -5*y. Suppose -5*n - 1 + 121 = 0. Which is greater: s or n?
n
Let n = 402 - 355. Is n <= 47?
True
Let g(a) = -a + 14. Let n be g(17). Suppose -4*l - 6 - 2 = 0. Which is smaller: l or n?
n
Suppose 5*i = -17*j + 18*j + 1, 0 = 2*j - i + 47. Is -6 >= j?
True
Let a = -2 - -7. Let k = -285 + 286. Which is smaller: a or k?
k
Let c = 0 + -0.1. Let k(p) = 61*p - 1. Let i be k(-16). Let j = 8813/9 + i. Which is greater: c or j?
j
Let c be ((-5)/(1530/48))/(3 + 7). Which is greater: c or 0?
0
Let o be (63/(-42))/((-2)/4). Suppose 0 = -2*l + 3*l - 5*u - 44, -2*u = o*l - 98. Is 36 smaller than l?
False
Suppose 0 = -x + 31 + 4. Let a = x - 65. Which is smaller: -31 or a?
-31
Let s(j) = -j**2 + 4*j - 23. Let n be s(7). Let r = n + 44. Do -2/449 and r have the same value?
False
Let y be -5 + (2 - (4 + -1)). Let l(x) = x. Let o be l(y). Let g be -2 - o - (3 - -1). Is 2/43 smaller than g?
False
Let j = 36 + 24. Let c = j - 59. Is c smaller than -10/3?
False
Suppose 2*w + 3*a = 19 + 20, 5*a - 37 = -2*w. Which is smaller: 16 or w?
16
Let u = -546/17 - -7047/221. Are 78 and u equal?
False
Let g be 11/(-7) + 2 + (-347)/(-350). Let z = g + 2/25. Is 2 at most as big as z?
False
Let o(r) = r - 4. Let x be o(4). Let l be (1 - 2) + (-2)/(-2). Do x and l have the same value?
True
Let b(w) = -w**3 - 4*w**2 + 5*w + 1. Let x be b(-5). Suppose i - 5 - x = -5*f, -2*f = i + 6. Let v = i + 5. Is -9 < v?
False
Let s(w) = w**3 + 6*w**2 - 3*w - 13. Let t be s(-6). Suppose 4*o - 4*g - 39 - 17 = 0, -t*g + 2 = 3*o. Which is greater: 4 or o?
o
Suppose 36 = a + 11*a. Let g be (-591)/9 + (-4)/a. Is -68 at most g?
True
Let g(h) = -2*h**3 + h**2 + 8*h + 2. Let i be g(-5). Which is greater: i or 239?
239
Suppose 2*y + 16 = -0*w - 3*w, 3*w + 21 = -3*y. Let v be (12/(-9))/w*-8. Let t = v + 6. Which is smaller: t or -2?
-2
Suppose 2*c - r - 2 = 4*r, 0 = -4*c + 4*r + 4. Let a be c/((-8)/6 - -1). Let t(i) = -i + 4. Let x be t(a). Is x less than or equal to 6?
False
Let u be (-136)/(-96) + (0 - 1). Let q = -38 -