alue?
False
Let y = -8475/4 - -2104. Suppose 0*i + s + 63 = 4*i, -3*s = 9. Let l = i + y. Which is bigger: 29 or l?
29
Let c = 23672/46787 + -30/59. Which is greater: 1 or c?
1
Let q(x) = 4 - x - 2 + 8. Let c be q(13). Suppose -p + 3*p = 3*j - 7, -p - 1 = -4*j. Is j at most as big as c?
False
Suppose -11*z + 10 = -21*z. Let b be 4/22 + (-248)/638. Is z less than or equal to b?
True
Suppose 3*t = 30 - 93. Suppose 4*h - 4*i + 91 = -i, 9*h + 146 = -5*i. Which is smaller: h or t?
t
Let z be 0*(-11)/(-33) + 4/12. Which is greater: z or -0.041?
z
Let o = -0.4 - -2. Let d = o - 1.4. Is 0.06 > d?
False
Let k be 8/11 + (-6 - -5). Let g(u) = u + 4. Let j be g(-3). Let t be 0*(j + (-2)/4). Which is bigger: t or k?
t
Suppose 18 = h + 2*k + 5, 2*h = -2*k + 18. Let y be 8/(-20) - (-7)/h. Let f = 4 - 2. Is f greater than y?
True
Let k(d) = d**3 - d**2 - 6*d - 1. Let c be k(3). Let l be 18/12 - (-86)/(-4). Let j be 0 - l/(-6) - -3. Is j greater than c?
True
Let r(v) = v + 5. Let c be r(-3). Suppose -48 = 3*u - c*m + 7*m, -u = 4*m + 23. Let x = -17 - -6. Is u not equal to x?
False
Suppose b - 1 + 9 = 0. Let p be (120/16)/((-6)/b). Suppose -5*t - p = 30. Is t greater than -8?
False
Let c be (-4)/(-6) + 26/6. Suppose -i - 41 = -5*g - 3*i, 5*i - 43 = -4*g. Is g smaller than c?
False
Let q = -239 + 179. Which is bigger: q or -57?
-57
Let v(d) = 2*d**2 - 10*d - 3. Let i be v(7). Let q(y) = -y**2 + 23*y + 51. Let l be q(i). Is 17/8 at least l?
True
Let w be -2 + (-3 + 2)*-2 + -2. Let y be 0 + -1*(-2)/w. Does y = 3/25?
False
Let i = 0.2 - -0.34. Let x = i - 0.5. Let w = -1 + 2. Which is greater: x or w?
w
Let c be (-10 + (-286)/(-33))/(1/3). Is c at least 8?
False
Let f = -683 + 965. Is f <= 282?
True
Let v = 51 - 35. Let b be -4 + (0 - v/(-7)). Is -1 at most b?
False
Suppose -4*y - 18 = -58. Let l = 35938/291 + 1/582. Let k = -124 + l. Which is greater: y or k?
y
Suppose -5*h + 0*h = -3*q + 75, -4*q - 16 = 3*h. Is -0.6 >= h?
True
Let m be (34/26)/((-116)/(-232)). Is m at most as big as 3?
True
Suppose 5*i - 10 = 0, p - 27 - 22 = 5*i. Let l be (-234)/(-4) - (-4)/8. Are l and p equal?
True
Let q = 43 - 24. Let r(n) = n**3 - 14*n**2 + 26*n - 4. Let c be r(12). Which is bigger: q or c?
c
Let q(o) = -o**3 - 16*o**2 - o - 10. Let n be q(-16). Let c be 5 + -2 - n/(-2). Which is greater: 3 or c?
c
Let w(y) = y**2 - 18*y - 38. Let m be w(20). Suppose -5*f = 2*v - 54, -2*f - v = -16 - 6. Suppose 8*z - 3*z - 4*p = -f, -4 = m*z + 4*p. Is z greater than -2?
False
Let y = -22 + 28. Let r = 13 + y. Let u = r - 14. Which is smaller: u or 0?
0
Let k = 122 - -365. Let y = -715/527 - -3347840/6851. Let z = k - y. Which is smaller: z or 0.1?
z
Let u(w) = -6*w + 38. Let o(m) = -2*m + 13. Let j(n) = 7*o(n) - 2*u(n). Let r be j(8). Let p be 2/((-108)/58) - r. Which is smaller: -1 or p?
-1
Suppose 8*u = 7*u + 3. Suppose -1 = -t - u. Which is smaller: t or -3/5?
t
Suppose 4*v + 7015 = -t, 5*v + 2*t = -3209 - 5556. Let f be (-2)/(-8)*-1 + v/(-5980). Which is smaller: f or -1?
-1
Let t(d) = 6*d + 18. Let l be t(-30). Is l greater than -163?
True
Let q(x) = -x**3 + 6*x**2 + x - 2. Let k be q(6). Let p = -52 + 55. Suppose p - 9 = -f. Is f bigger than k?
True
Let v(d) be the first derivative of -d + 1/4*d**4 + 4 - 1/3*d**3 - d**2. Let l be v(-1). Is -1/9 less than l?
False
Let t be (-16)/(-5) - (-5)/((-15)/(-3)). Let k = -13 + 16. Do k and t have the same value?
False
Suppose a - 5 = -2*r, 4*a - 7 = -r + 6. Let j be 1*a/(-6)*-6. Suppose 5*i + 4*y = 18, -j*y - 2 = -4*i - 0*y. Is i < 3?
True
Let c = 0 - 0. Let a = 0 + -1/11. Which is smaller: a or c?
a
Suppose -5*s + 45 = -5*g, s = -6*g + 3*g - 3. Let p = -59 + 57. Let c be p + (18/(-5))/(2/(-5)). Is c < s?
False
Let p be ((-1)/2)/(2/(-4)). Let s(n) = -2 + 12*n + 1 + n**2 - 12*n. Let z be s(p). Is 1.2 at most z?
False
Let y be 2 + -2 - 40/(-7624). Let j = 6223/96253 - y. Let c = -553/808 + j. Which is greater: 0 or c?
0
Suppose 5*t = -2*m - 1, 0 = 8*t - 6*t - 4*m - 14. Is t > -9?
True
Let q(s) = -s - 2. Let h be q(-4). Suppose -w - 42 = -3*w + f, 3*w = -h*f + 70. Which is smaller: 20 or w?
20
Suppose 6*j - 8 = 2*j. Let a = j - -3. Suppose 2*p = a*p + 3. Is p <= -1?
True
Let i be (3 - 0)*40/(-420). Let x = 0.4 - 1.4. Do i and x have different values?
True
Let b be 20/45 - 3120/7101 - 0. Which is smaller: b or 0?
0
Suppose -3*n - 14*n + 3859 = 0. Which is smaller: n or 228?
n
Let u be -152 + 9 - 0/6. Which is smaller: u or -145?
-145
Let h be (-17)/4*(-60)/33. Let a be (2160/154)/2 - 0. Let i = h - a. Which is smaller: i or 0?
0
Let j(i) = 54*i - 54. Let v be j(1). Which is greater: -14/15 or v?
v
Let j(y) be the third derivative of y**5/60 - y**4/8 - 4*y**3/3 - 23*y**2 + 1. Let f = 5 + 0. Let u be j(f). Is u >= 2?
True
Let t(k) = -5*k**2 - 4*k + 64. Let b be t(13). Is -833 at most as big as b?
True
Let f = 3 - 0. Suppose 14 = -2*o + 3*a, 3*a = -o - f*o + 8. Which is smaller: o or -2?
-2
Let p be ((-7)/(-26 - -5))/3. Is p < 1/3?
True
Let d = 12/983 - 69853/4915. Which is greater: -15 or d?
d
Suppose -4*r = -3*a - 20 - 3, -3*a - 31 = -5*r. Let g = 22 + -31. Let w = g + r. Is w smaller than 1/4?
True
Suppose 85*b - 87*b = 2. Let v = -288 - -105. Let y = v - -3661/20. Which is smaller: y or b?
b
Let g = 603 - 553. Which is smaller: g or 51?
g
Let s = 0 - 0.1. Let a = 2316 - 2275. Which is smaller: s or a?
s
Let d(k) = -k**2 - 10*k - 9. Let g = -1 + -8. Let v be d(g). Let p(h) = -h**3 - h**2 + h - 2. Let u be p(v). Which is bigger: u or 0?
0
Let r = 2 - 11. Let i = r + 13. Let t = 161.9 - 162. Which is smaller: i or t?
t
Let f(k) = 2*k + 26. Let r be f(-11). Suppose 0 = -3*l + l - 3*x, -x = -r*l + 14. Suppose -h + 12 = -l*m, -3*h = 2*h + 2*m - 43. Does 11 = h?
False
Let o = -76.959 - -77. Let b = o - -0.059. Let d = -2 - -1.82. Is d > b?
False
Let z(t) = 10*t**2 + 138*t - 6. Let o be z(-14). Let v = -7 + 13. Suppose 0 = a - 15 - v. Which is bigger: o or a?
o
Let a = -0.09 + -0.15. Let l = a - -0.44. Let w = 4 - 8. Is l <= w?
False
Let n = -6.2 + 7. Let m = -0.6 + n. Let g = 17/3 + -6. Are g and m nonequal?
True
Let g = 29 - 40. Let c = 11 + g. Let t = c + 0.3. Is 0 != t?
True
Let r(j) = j**2 - j - 4. Let o be r(0). Let q be (o/(-10))/(3/(-105)). Let p = -4 + 3. Is p <= q?
False
Let o = -10 - -14. Suppose 3*l = -3*v + 6*v + 18, 0 = o*l + v + 1. Let n be (-636)/216 + 3*l. Is -1 at least n?
False
Let v = -353 + 19409/55. Which is bigger: -1 or v?
v
Let j = 694 + -693. Is j at least 60/29?
False
Let v = 5 + -5. Let p = 1 + -6. Let b = p + 9. Is b <= v?
False
Let q be 2/8 - (-98)/56. Suppose -q*b = -4*b - 6. Which is bigger: b or -2/3?
-2/3
Let f = 0.1 - 0.1. Let s = -43484/9 - -4832. Are s and f unequal?
True
Let s = 1 + 1. Let a = -0.64 + 51.64. Let j = a - 51.05. Is j > s?
False
Let w be 0 - (-2)/(-1 - 1). Which is smaller: 1/98 or w?
w
Let h be (248/8246)/((-3)/28). Which is smaller: h or -1?
-1
Let y = 337 - 385. Is y < -49?
False
Let s = 6.9 + -7. Let c = s + 0.05. Let k = c + -0.95. Is -1/5 >= k?
True
Let o = 26 - 95. Which is bigger: -1/2 or o?
-1/2
Suppose 0 = 7*o - 361 + 95. Which is smaller: o or 34?
34
Let x be 21/(-16485)*(6 + 0). Which is greater: 1 or x?
1
Suppose -52*h + 53*h = 2*o + 17, 2*h - 59 = -o. Is 14 <= h?
True
Let a(j) = -4*j + 26. Let c(t) = 5*t - 24. Let h(z) = -3*a(z) - 2*c(z). Let d be h(13). Which is smaller: -2 or d?
d
Let j be 3*(35/(-21))/5. Is j at most as big as 0.1?
True
Let l be 1/(-3) - (1 + (-171)/27). Suppose -258 = -l*w - 403. Is w smaller than -27?
True
Let a(c) = -138*c + 1074. Let v be a(9). Is -170 at least v?
False
Suppose -3*c + 3*k - 4 = 14, 4*k = -c + 19. Let s be -4 + (-155)/(-156) + 3. Let r = -107/468 - s. Is c less than or equal to r?
True
Suppose -5*k + 36 = 2*h, 4*k = 3*h + 3*k - 37. Suppose 5*y + w = h + 14, -5*w = -10. Suppose y*d - 5*x - 15 = 0, 4*d - 4*x - 8 = -x. Is -3/11 at most d?
False
Suppose -3*r + 1 = -m, m - 5 = -5*r + 6*m. Let l be (r - 4)*42/(-56). Let b(o) = 2*o - 6. Let i be b(l). Is i <= 0.03?
True
Suppose 3*w - j = -3*j - 27, 0 = 4*w - j + 25. Let s be (4/66)/(-6*w/(-63)). Let k(a) = a**3 - 6*a**2 - a + 6. Let z be k(6). Which is bigger: s or z?
z
Let s = 9 - 3. Suppose -5*n + 4*o = -2, 4*o + 4 = s*o. Which is greater: n or 11?
11
Suppose -1567 = -37*z - 4416. Does z = -77?
True
Le