868?
True
Let g = 121 + -119. Let r(l) = -20*l**g + 29*l**2 - 27*l**2 - 1 - 14*l**2. Let q be r(-1). Are -33 and q nonequal?
False
Let b be (-44)/(-418) + 337*3*(-22)/114. Which is smaller: -198 or b?
-198
Suppose -3*w + w + 2*b = -166, 4*w = -b + 317. Suppose v - 5 = w. Let o be (-4)/(-10) - v/275. Which is smaller: 1 or o?
o
Let g be (-125)/(-1750) + (-46)/56. Is g != 0.0425?
True
Let h = -384 - -373. Let v(k) = k**2 + 4*k - 25. Let i be v(h). Which is smaller: 51 or i?
51
Let b = 107/58 - 459/406. Is b greater than or equal to -70?
True
Let c be 5/(-15)*0 + (-2)/(-9). Let k = c - 17/36. Is -11/5 at least as big as k?
False
Suppose 51 = 8*z + 163. Let k be (-6)/z - (-33)/(-77). Suppose k = 2*w + 14 + 10. Which is smaller: -13 or w?
-13
Let w = 659 + -657.11. Which is smaller: w or -5?
-5
Let v = -2963/38 - -78. Let x = -226 - -226. Which is smaller: v or x?
x
Let i = 462 - 462.609. Let x = -0.319 - i. Which is greater: 2/9 or x?
x
Suppose 2*w = -m + 876, 3*w - 1300 = -2*m - 3*m. Let n be -5*(-11)/w + (-2)/(-16). Which is smaller: -24 or n?
-24
Let h(u) = u**2 + 5*u - 15. Let y be h(-7). Let s be (-1556)/(-1140) + y/2. Let t = 2/57 + s. Which is smaller: t or 0?
0
Let w be 12/15 + 58/(-10). Let p be 0 + w/((-10)/6). Suppose -p*l - 3*z = -6, l = 6*l + z - 2. Which is bigger: 6/25 or l?
6/25
Suppose -17248 = 2*r - 2*t, -16*r + 4*t - 17234 = -14*r. Is r equal to -8631?
True
Suppose 0 = -0*b - 4*b - d - 4, 2*b + 2 = -d. Let x = -6286 - -18854/3. Which is smaller: x or b?
x
Suppose 0 = -2*s - 29*f + 34*f - 2457, -s - f - 1239 = 0. Which is bigger: -1 or s?
-1
Let y(a) = a**3 - 9*a**2 - 35*a + 29. Suppose 0 = 15*f - 16*f - 1, -5*s - 5*f = -45. Let j be y(s). Does j = -221?
True
Let b(y) = y - 6. Let g be b(10). Let t = -64 + g. Let w be 3 + t/14 - (-2 + 1). Which is smaller: w or -1?
-1
Let y(d) = d - 1. Let o(h) = 7*h + 80. Let u(i) = o(i) - 3*y(i). Let f be u(-15). Do 24 and f have the same value?
False
Let v = 160 + -80. Suppose v + 415 = 11*x. Suppose -231 + 7 = -5*u - h, -16 = -4*h. Do u and x have different values?
True
Let f be 2/(-8) - (-155)/28. Suppose -548*s = 662*s - 7260. Which is smaller: f or s?
f
Let r = -0.5248 + 0.447. Let g = 60.9222 - r. Which is greater: g or 2/15?
g
Let y be ((-330765)/(-50))/(-2 - -4412) + (-6)/4. Which is bigger: y or 1?
1
Suppose -31*g - 2 = -32*g. Let v = 8 - 16. Let p(t) = t + 12. Let y be p(v). Which is smaller: g or y?
g
Let c be (-25)/(-3) - (14/(-21) + 1). Let t = 22 - c. Let l be t/10*(4 - -1). Is l greater than 28/5?
True
Let t be 408 + 3 + -6 - -3. Suppose 0 = 2*c - 0*c - t. Let d = 1432/7 - c. Is 0 != d?
True
Let s be 9/(-5) + (-39576)/(-1020). Which is greater: 8 or s?
s
Let y be (1/(-7))/((-792)/(-14)). Let f(k) = 2*k**3 - 3*k**2 + 3*k - 1. Let v be f(1). Which is greater: y or v?
v
Let d be ((-16)/96)/(2/(-12)). Let v be ((-3)/(-9) - 0)/(-1*d). Let a = -25 - -28. Do v and a have the same value?
False
Suppose 0 = 4*i - 9*i + 220. Suppose 4*d + 3 = -4*k - 1, 5*d + 1 = -k. Suppose d = -h - 37 + 38. Is i less than h?
False
Let p = 112621/2880 + -15821/480. Let o = -5/64 - p. Do o and -7 have different values?
True
Let t = 1.14 + -12.34. Let a = -33 + 22. Let k = t - a. Which is greater: 19 or k?
19
Let z(b) = b**2 - 12*b - 26. Let k be z(14). Let g be -1 - (2 + -7 + 0) - k. Suppose -1 = 3*q + 5*l, -2*q - g*l + 0*l = -2. Which is smaller: q or -0.1?
-0.1
Let m(c) = 3*c**3 + 3*c**2 + 35*c - 96. Let t be m(5). Is 1586/3 at most t?
True
Suppose -22*u = 5*c - 16*u - 54, -2*u = 4*c - 18. Which is greater: -2/23 or c?
c
Let g = -21684 - -21664. Let o(q) = -23*q**3 + q**2 - 2*q + 1. Let z be o(1). Is z less than g?
True
Let c(a) = -4*a**3 - 38*a**2 - 79*a + 14. Let s be c(-7). Let y = -171 + 250. Is y > s?
True
Suppose 16*m - 34 = 30. Suppose m*y + 4*c + c = 249, 2*c - 10 = 0. Which is smaller: 58 or y?
y
Let a = 3569 - 2728.3. Let b = a - 841. Which is smaller: b or 1.03?
b
Suppose -31*a - 12522 = -28*a - v, 0 = 4*a + 4*v + 16728. Is -4176 smaller than a?
False
Let a(x) = 0*x**2 + 2*x - 13 - 2*x**2 + 13*x**2 - 10*x**2. Let l be a(-5). Suppose 0 = 4*q - 5*n + 103, -q + l*n - 28 + 0 = 0. Is -24 != q?
True
Let h = -19/12219887 - -3417315841737/1551925649. Let d = h + -2202. Let s(i) = -i**2 - 5*i + 1. Let y be s(-5). Does d = y?
False
Let k = 11788 - 11772. Is k > -40.5?
True
Let i = -7.11 + -0.89. Let u = -28 - i. Let f = 19.6 + u. Is 21 > f?
True
Suppose 0 = 4*z + 4*l + 11 + 25, -3*z + 2*l = 2. Is 644 less than or equal to z?
False
Let o be (1 + (2 - 1))*-3. Suppose -158*t + 170*t + 84 = 0. Let p(w) = -5*w - 39. Let q be p(t). Is q less than or equal to o?
False
Suppose 4*o - 32 = 2*c + 2*c, -3*c = o. Suppose k + 187*g - 190*g = 12, 2*k + 9 = -5*g. Which is smaller: o or k?
k
Let b be (4/(-7))/1*-7. Suppose -3*z - 3*q = -7*q + b, 0 = 4*z + 3*q - 28. Suppose 2*y + 71 = -3*m, -z*m + y - 75 - 38 = 0. Is m at most as big as -27?
True
Suppose 0 = x - 6*x. Let r be (0 + x)/(-3 + 2). Let z = -99 + 896/9. Which is smaller: r or z?
r
Let k = 478 + -480. Let c be (1*k/(-18))/(51/(-306)). Are c and 273 equal?
False
Let m = 2558 - 2557.61. Is 5 < m?
False
Suppose 3*o - 5*n = 38, n = 5*o - 2*o - 58. Suppose -o = -6*a - 15. Which is greater: 3/7 or a?
a
Let k = -849.49 - -871. Let h = k - -0.49. Let i = 48 - h. Is 2/5 >= i?
False
Let w be ((-3)/(-9)*-1)/(5*(-4)/703380). Is w greater than or equal to 11723?
True
Let r be (-21292)/(6 - 2) - (4 - 3)*-6. Are -5316 and r equal?
False
Let x be (5 - 0) + -2*(1 - 0). Let i be 328/(-4797)*x/(-4). Which is smaller: i or 3/7?
i
Let h = 962/7 + -138. Let t = 1203 + -1129. Let b = -73.3 + t. Which is smaller: h or b?
h
Let o = 164.05 - 164.01. Which is smaller: -478 or o?
-478
Let n = 272665 + -272666. Suppose 3 - 6 = -r + 4*x, -4*x = -4*r. Let u be (r/31)/(-1 - -4). Is n < u?
True
Let i(o) = 74*o**2 + 88*o - 184. Let m be i(2). Is m < 868/3?
True
Let n = 104 - 304/3. Let z = 15 - 15. Suppose -4*f - 4*t + 24 = -z*t, 12 = 4*t. Is f smaller than n?
False
Let p = -1198/3 + 388. Let i = 232.4 + -235.4. Is p greater than i?
False
Suppose 123 = 4*d - 3*g, -157*d + 2*g - 171 = -162*d. Is d > 32?
True
Let b(p) = 209*p + 1039. Let w be b(-5). Which is greater: w or -1/2?
-1/2
Suppose -205 + 124 = -9*w. Does 88 = w?
False
Let g = 5200 + 3680. Is 8880 greater than g?
False
Let t = -19772 - -2689007/136. Is t bigger than -1?
True
Let i = -3.2 + 3. Let l = 1211.8 + -1212. Let y = l - i. Is y less than or equal to -23?
False
Let t = -3.22 + 3.2651. Let s = 83.46 + -83.46. Is s <= t?
True
Let p be (0 - -2)/(92/(-14)). Suppose 0 = 62*q - 63*q - 2*t + 19, t = q + 8. Which is smaller: p or q?
p
Suppose 132 + 28 = 6*o + 34. Is o > -57?
True
Let n = 1.8657 + 0.0343. Let t = 0.014 - 0.014. Which is bigger: n or t?
n
Let q = 21147 - 21147. Is q <= -0.507?
False
Let x be (-13 - -19 - (-3)/9)/(7/42). Which is bigger: x or 24/7?
x
Let g be (0 - (-41)/3) + (-18)/27. Suppose -7*i = 6*i + g. Which is smaller: i or -5/3?
-5/3
Let v be 97/99 + (-3)/3. Suppose -86*s + 48*s = -17*s. Which is greater: s or v?
s
Suppose 0 = 16*v - 354 - 25246. Does v = 1603?
False
Let z = 7462 + -6732. Is z <= -1/6?
False
Let t be (-40)/(-20) - (0 + 11). Let g be t/7 + 6/21. Suppose -12*x = -9*x + 15. Which is smaller: x or g?
x
Suppose -93*m + 142 = 35*m + 14*m. Is m not equal to -2/15059?
True
Let r = 133 + -123. Let j be r/35 + (-681)/(-189) + -1. Are j and 4 nonequal?
True
Let v = -2161.9 - -2603. Let m = 441 - v. Let i = -2.4 + 7.2. Which is smaller: i or m?
m
Suppose 2*k = 2*t - 29 - 37, -t + 2*k = -38. Let x be 1 - (-2 - (-7)/(t/176)). Let j = x - -28. Is j > -12?
False
Suppose -v = -3*v + 32. Suppose -v = -7*d + 3*d. Let o be (0*d/16)/(-1 - 1). Is o bigger than -13?
True
Let o = 4284 - 4495. Do -211 and o have different values?
False
Let g(y) = 17*y**2 + 3*y + 2. Let j be (2/(-4))/(8/16) + -1. Let p be g(j). Let b = p + -56. Which is greater: 6 or b?
b
Let k be 12/111*(-58645)/3170. Suppose x - 4*m = 0, -x + 3*m = -0*m. Are k and x nonequal?
True
Let d(c) = 18*c**2 + 36*c + 173. Let u be d(-5). Which is bigger: u or 3549/8?
3549/8
Let m be (-126)/21 - -4*8. Let q be (6 - -1)*(-72)/(-21). Let u = q - -4. Is u > m?
True
Let y(j) = -j**2 + 65*j + 1. Let t be y(0). Which is smaller: 16 or t?
t
Let t = 1080 + -1068. Suppose 