 or 42?
42
Suppose -y = -s - 6, -4*y - 7 + 1 = 2*s. Which is bigger: 2/97 or y?
y
Let u(g) = -g**3 + 4*g**2 + 2*g - 2. Let j be u(4). Let i be (-5 + 0)/(4/j). Let f = i + 7. Which is greater: 0 or f?
0
Let o = 2/6899 - -538060/213869. Is 2 greater than or equal to o?
False
Let a be (5/2)/(2/8). Suppose -1 = -a*p + 9*p. Let r be (-4)/(-2) - (p + -7). Which is smaller: 0 or r?
0
Suppose 0 = 4*x + 4*c + 624, 2*x = 5*x + 5*c + 460. Let l = -482/3 - x. Which is greater: 130 or l?
130
Let n = 1788753/265 + -6750. Which is greater: 0 or n?
n
Let b be -20 + 1 + 4 + -2. Let l(h) = h**3 + 17*h**2 - h - 24. Let c be l(b). Do -7 and c have different values?
False
Let w be (-1 - 6/2)*2. Let f = 349 - 342. Let h = f + w. Is -3 bigger than h?
False
Suppose -f + 2*j + 505 = 0, f - 190 - 271 = -9*j. Does f = 497?
True
Let n = 128 + -114. Is 12 < n?
True
Let j = 1065 - 6407/6. Is j greater than or equal to -4?
True
Let l(j) = j - 8. Let c be l(0). Suppose -68 = -3*s - 41. Suppose 7*a - 12 = s*a. Is c less than or equal to a?
True
Suppose 0 = q - 1 - 6. Let c be 168/44 - 0 - (-6)/33. Suppose -c*h = -o - 3 + 2, -5*h = -3*o + 11. Are q and o unequal?
False
Let i(f) = 3*f + 2. Let t be i(10). Let x = 35 - t. Suppose -y - y + 2 = -k, -x*k - 6 = -3*y. Is -2/45 less than or equal to y?
True
Suppose -11 = 2*y - 3*y. Suppose -16*n + y*n - 20 = 0. Which is bigger: n or -2?
-2
Let x = -8 - 10. Let v be (-10)/(-45) + 4/x. Do v and 1/58 have different values?
True
Suppose h - 4*u - 2 = -14, 2*u = -5*h + 6. Which is bigger: h or -1/470?
h
Let s = -13942227/37 + 376661. Let a = -156 - s. Which is greater: -1/3 or a?
a
Let k = 1 + -1. Let i be k - 3/((-12)/20). Let n be 4/i*(-2)/(-8). Is n at least -1?
True
Let u = 1498 - 1498. Is u greater than or equal to -33/104?
True
Let z = 5/46 + 57/322. Let h = -938 + 858. Is h less than z?
True
Let c be ((-39)/26)/((-1)/60). Suppose c = 2*i + 96. Which is smaller: -1 or i?
i
Let x = -4 - 8. Let c = 12 + x. Let v = 0.2 + c. Is v smaller than -2/3?
False
Let g = -0.0389 - -1.1389. Is g < -24?
False
Let a = -84 - -73. Let d = -21 - a. Which is greater: -12 or d?
d
Let h be 6*((-30)/(-4) + 0). Suppose t - 10*t - h = 0. Is -6 greater than t?
False
Let f = 251 + -252. Is 0.68 < f?
False
Suppose -t + 5 = 5*k - 0, k + 2*t = 10. Let l = 94 - 407/4. Let x = 8 + l. Is x >= k?
True
Let j = 1784 - 1506. Is 281 bigger than j?
True
Let a(l) = -14*l + 95. Let n be a(6). Which is smaller: n or 0?
0
Let q = 4691 + -4755. Let g = 100 + -164. Is g at most q?
True
Let y = 26 + -22. Suppose 2*q + 8 + 2 = -y*b, 3*b + 8 = -q. Let l be (14/147)/(2/12). Which is greater: l or b?
l
Let y be (-261)/(2 + (2 - -3) + -8). Is y equal to 261?
True
Let n(i) = i**3 - 7*i**2 + 7*i - 3. Let h be n(6). Suppose 0 = h*o - f - 14, 4*o + 19 = -5*f + 6. Let s be (-8)/12*o/2. Are s and -1 equal?
True
Suppose 17 + 58 = 3*d. Let m be ((-285)/76)/((-6)/40). Do m and d have the same value?
True
Let f(t) = -t**2 - 1. Let s(v) = -5*v**2 + 9*v + 8. Let y(n) = -6*f(n) + s(n). Let i be y(-9). Which is smaller: 0 or i?
0
Let u = -9725/38 - -256. Let t(x) = x - 4. Let j be t(4). Which is bigger: j or u?
u
Let y be (-19600)/(-150) + 2/6*-2. Is y greater than 129?
True
Suppose -x - 12 = 2. Let j(v) = -v**2 - 24*v - 12. Let f be j(0). Which is smaller: f or x?
x
Suppose -3*b - 5*f - 16 = 0, -4*f = b - 2*f + 4. Let h be (b/(-90))/((-6)/9). Let s be -1 + (2 - 2) + 2. Which is smaller: s or h?
h
Suppose -280 = 22*l - 2*l. Is l greater than or equal to -1?
False
Let v be (-1)/(-5)*70/12. Suppose 40 - 40 = -3*c. Which is bigger: v or c?
v
Suppose 4*t + 3*u = -56, -4*t + u - 22 - 18 = 0. Which is smaller: t or -9?
t
Let c be (4/12)/((-1)/3). Let k be (-46)/(-12)*(-463)/(-5). Let y = k - 355. Which is greater: y or c?
y
Let a(t) = t**3 - 14*t**2 - 11*t - 26. Let v be a(15). Let x(o) = 29*o + 3. Let q be x(1). Which is bigger: v or q?
v
Let c(x) = -18*x**2 - 41*x - 165. Let o be c(-6). Which is smaller: o or -568?
-568
Let p(g) = -g**3 - 6*g**2 + 6*g - 7. Let x be p(-7). Suppose z = -4*y + 24, 0*y - 25 = -5*y. Suppose 9*a - 5*a = -z. Which is greater: a or x?
x
Let q = 220966/7 - 31239. Let j = -330 + q. Let m = j - -15/7. Which is smaller: -3/2 or m?
-3/2
Let o(r) = 10*r + 66. Let t(c) = 1. Let i(w) = -o(w) - 5*t(w). Let q be i(-6). Which is smaller: -9 or q?
q
Suppose 494 = 2*d + z, 3*d + 4*z = -d + 992. Is d greater than 246?
False
Let u(p) = 140*p - 5. Let t be u(1). Which is bigger: 137 or t?
137
Suppose 0 = -f + 3*a - 13, 4*f + 4 = -4*a. Let u be -2 - f - 16/(-315)*-39. Does u = 1?
False
Let a = -0.268 + -0.732. Which is smaller: a or 322?
a
Let m = -2978/3 - -982. Let j = 11 + m. Let d be (2*(-9)/(-72)*0)/2. Which is bigger: j or d?
j
Let b = 691 + -15923/23. Which is greater: b or -1?
-1
Let t be 32/14 - 4/14. Suppose t*x = 3*x - 3. Let q be 1*x/(-7) - 0. Which is smaller: -1 or q?
-1
Let g = 0.3999 - 0.0999. Which is greater: g or -0.146?
g
Let t be (2*(-27)/33732)/(-3). Which is greater: -1 or t?
t
Let g = -4079 + 36748/9. Is g <= 4?
False
Let x(b) = 23*b**2 + 2*b - 1. Let u be x(1). Let k be 83/(-120) - (-16)/u. Is 1 > k?
True
Let d(k) = -k**3 - 5*k**2 + 12*k + 3. Let s be d(2). Is s at most -2/357?
True
Let v = 7 + -1. Suppose -2 = 5*l - 3*q, 4*l + 2*q + v = -0*l. Is -3/32 less than l?
False
Let f be 2/(-5) + 17/5. Suppose n - 15 = -4*h, -2*h + 10 = -3*n - f*h. Suppose -3*m + 3*k = -3, -3*m + 3 = -5*m + k. Is m greater than n?
True
Let t = 15 - 9. Let a = 77 - 32. Suppose -t*k = -k + a. Are k and -9 non-equal?
False
Let b = 1474 + -1589.95. Let l = 116 + b. Is 10 greater than l?
True
Let h(c) = -3*c**2 - 17*c - 39. Let k(w) = -2*w**2 - 9*w - 20. Let z(s) = 3*h(s) - 5*k(s). Let u be z(8). Does u = -1/5?
False
Let p = 6 + -3. Suppose 12*s + 3 - 3 = 0. Suppose s = -3*x + 18 - 15. Are p and x equal?
False
Let y be (-13)/(-12)*(-9)/(-3). Suppose 2*d + 2*a = 0, 4 = -3*d + 2*d - 3*a. Is d < y?
True
Let p = 0.1 - -5.9. Let l = -0.169 - 2.831. Which is smaller: l or p?
l
Let t(s) = s**3 + s**2 - s. Let x(y) = 3*y**3 + 4*y**2 - 3*y + 11. Let g(d) = 4*t(d) - x(d). Let l be g(0). Let j = 1 + l. Which is smaller: -9 or j?
j
Let s be (4/6)/(3/(-18)). Let v = s + 8. Let i be 50/v*(-8)/10. Is i != -9?
True
Suppose -r + 2*r = 2, 3*h - 3*r + 354 = 0. Do h and -114 have different values?
True
Suppose 0 = c + 4*n - 17, c = -2*c - 3*n + 51. Let v = 9 + -9. Which is smaller: c or v?
v
Let y be 10/14*(-4)/10. Let u = 67.2 + -74. Let n = u - -2.8. Is y greater than n?
True
Suppose 4*t = 6 + 10. Suppose -5 = -t*o + 7, 3 = 2*c + o. Which is greater: c or 1/11?
1/11
Suppose 7*f + 1575 - 1568 = 0. Is f >= 7/307?
False
Let j = -5.79 - -308.79. Is j greater than 0?
True
Suppose -13 = -6*m + 5. Suppose y + 47 = 2*l + 11, -m*l = 5*y + 115. Are y and -80/3 equal?
False
Let m = -122 + 176. Let x = -27 + m. Let p = -20 - -47. Is x < p?
False
Suppose 12 = -w + 5*w. Suppose -5*k = -10 - 75. Let n be 6/30 - (k/10 + -3). Which is bigger: n or w?
w
Suppose 94 = -j - 0*j + 2*o, 482 = -5*j + 4*o. Is j greater than -92?
False
Let s = 13 + -7. Let h = -76 + 86. Let t = h - s. Is t bigger than 2?
True
Suppose 5*d - 6*d = 5*a + 15, 0 = -4*d - 2*a - 6. Is -1/55 != d?
True
Let t = 43 + -4. Let a be 67/t + (-4)/12. Which is smaller: a or 0?
0
Suppose 5*f + 23 - 3 = 0. Which is bigger: 8 or f?
8
Let l = -5.6 + 0.6. Let s = l - -5.17. Let y = -1.83 - s. Which is smaller: y or -3/4?
y
Let q be (10/(0 + 2))/1. Suppose z = q*z - 8. Is z greater than or equal to -0.05?
True
Let o be 4/12 + 24/63 + -1. Let q be (-1 + 1)/(1/1). Suppose -s = -q + 1. Which is greater: o or s?
o
Let a = -686/5 - -2497/10. Does a = 114?
False
Let t(w) = 3*w**2 - 124*w + 48. Let d be t(41). Is d less than or equal to 2?
False
Let h = -767 + 1400. Are 0 and h equal?
False
Let g be ((-70)/15)/((-4)/18). Suppose h - 13 = 2*o, -4*h + o = -31 - g. Suppose -5*d - h - 7 = 0. Is d bigger than -4?
False
Suppose -2*g + 4*o = -16, -11 = 3*g + 2*o - o. Let w be 4/5 + 3/(-5). Which is greater: w or g?
w
Let g(w) = -2*w**3 + 2*w**2 + 2*w + 1. Let j be g(-1). Suppose -j*f - 2*f - 10 = 0, 2 = 2*c + f. Let k be 1/(c/(4 + 0)). Is k greater than or equal to 3?
False
Let q(v) = -v**3 - 5*v**2 + v + 5. Suppose p + 4*u = -6 - 7, -4*p + 3*u = 14. Let k be q(p). Suppose -7*t = -4*t. D