an u?
False
Let l be ((-1256)/6)/(-6 - -8 - -20). Let g = 22/3 + l. Does -1 = g?
False
Suppose -390 = -15*u - 30. Suppose 0 = 64*v - u*v + 1560. Are v and -37 unequal?
True
Let t = -10933 + 10647. Which is greater: -285 or t?
-285
Let r(z) = -4302*z - 20065. Let x be r(-5). Which is smaller: 1448 or x?
x
Let z = -11.8858 + -0.1142. Let p = 2.4 - -9.5. Let o = p + z. Is o at most 2.6?
True
Let d = 8 - 6. Let s be (d/(-5))/(((-6)/3)/20). Let x(k) = -2*k**2 + 8*k - 8. Let r be x(s). Is -7 at least as big as r?
True
Let v be 1 + ((-2)/66 - 1). Let h = 120 - 243. Let f = h + 123. Which is smaller: v or f?
v
Let s(f) = -f**3 + 17*f**2 - 27*f + 25. Let j be s(15). Let t be 425/j + (-1)/14. Which is bigger: t or 60/11?
t
Let q(j) = j**3 + 21*j**2 - 20*j + 471. Let c be q(-23). Let t = -53.8 + 54. Is c <= t?
True
Let u be (-2)/15*(-936)/(-832). Suppose 3*y + 4*c + 21 = 0, 0*y - 24 = 4*y + 4*c. Let r be 3/((-18)/y)*-2. Do u and r have different values?
True
Suppose -404 = -19*x - 442. Let p(d) = -122*d - 244. Let o be p(x). Let a = 25 + -77/3. Is a not equal to o?
True
Suppose 215 = -4*m + 211. Let p be m/3 + 2/(18/339). Which is greater: p or 36?
p
Let s = 1738 - 1682. Let y = 0.019 + 57.981. Let x = y - s. Is x != 0.1?
True
Let z = 6958 + -6960. Let b be 7/(-42) + (-158)/4. Is z at most as big as b?
False
Suppose 99*o - 96*o = -5*g + 3, 3*o = -3*g + 3. Is g < -11/882?
False
Let w(p) = -p**3 - 7*p**2 - 6*p - 5. Let a be w(-5). Let h = -59 + 62. Suppose 3*d + 87 = -h*l, 49 - 124 = 3*d - l. Is d >= a?
False
Let k = -286978/17 - -16881. Let h be (-1)/3 + (-69)/(-261). Is h > k?
False
Let i = -84 - -83. Let s(z) = 56*z**2 + 7*z + 6. Let l be s(i). Is l > 54?
True
Let p = -433 - -440. Suppose 0 = -19*a - p*a - 3042. Is -117 smaller than a?
False
Suppose 2*p - 1232 - 306 = 0. Do p and 763 have the same value?
False
Suppose -4*s + 4*g + 7 = s, 5*s - 2*g - 1 = 0. Which is smaller: 2/1675 or s?
s
Suppose 0 = -x - 5*h + 21, 0 = 2*x - h + 3 - 1. Suppose x = -2*k + k. Let j be (5 + -5 + k)*4/(-11). Which is smaller: j or -0.3?
-0.3
Let r(o) = -3*o**2 + 168. Let h = 889 - 880. Let j be r(h). Suppose 0 = n - 0*n - 3*t + 65, -2*n = -4*t + 136. Is n equal to j?
False
Suppose -5*p + 28 = -h + 2, -5*p = -5*h - 70. Suppose b = 8 - 3. Suppose -b*s - 65 = -0*s. Which is greater: s or p?
p
Let r be 4/(-62) - 1358280/(-20188440). Which is smaller: r or 0?
0
Let u = -31805 - -34313. Which is smaller: u or 2505?
2505
Let j be ((-28)/(-1470)*50/8)/(-1). Let z be 0 + 1 - 2 - (-4 + 2). Does j = z?
False
Suppose -1 = -3*g + 5. Suppose 8 = 2*a - g. Let m be 2 - (-178)/a - 10/(-25). Which is bigger: 2/7 or m?
m
Let w(x) = 2*x**3 - 19*x**2 - 3*x + 131. Let d be w(7). Is d smaller than 1?
True
Let o = 1.347 + 28.603. Let d = -30 + o. Which is bigger: d or -1?
d
Let w(r) = r**2 - 3*r - 22. Let o be w(-10). Let b = o - 106. Suppose 2*p + 0 = 2. Do b and p have different values?
True
Suppose 291 = -3*h - 5*r - 464, -12 = 3*r. Let m = h + 316. Are m and 71 unequal?
False
Let j be (22/44)/((-9)/6 + (-8)/16). Which is bigger: 2/26045 or j?
2/26045
Let x = -3798 + 3774. Is x smaller than -1?
True
Let c = 520 + -527. Let i(d) = -2*d**3 - 17*d**2 + d + 6. Let v be i(c). Which is bigger: v or -150?
v
Let w(b) = -17 + 3*b**3 - 47*b**2 + 20*b**2 - b - 4*b**3. Let k be w(-27). Let y = k - 9. Is 10 equal to y?
False
Let i = 663 - 4643/7. Let x = -0.732 - -0.676. Do x and i have the same value?
False
Suppose -98*s + 99*s + 2935 = 2*h, 0 = 4*h - s - 5867. Is 5867/4 smaller than h?
False
Let c = 10077 - 10076. Is c at most as big as -161?
False
Let y = -21951 + 21954. Let n be 4/(-10) + 0 + 0. Which is bigger: y or n?
y
Let i = -19 - -16. Suppose 2*r - 108 = -5*c, -39 - 231 = -5*r - 4*c. Let d = 48 - r. Which is bigger: i or d?
i
Let r(c) = -5*c**3 + 11*c**2 - 36*c + 401. Let q be r(9). Is -2679 greater than q?
False
Let d(t) = -344*t + 1215. Let i be d(4). Which is greater: i or -10?
-10
Suppose s = -f, -449 + 451 = -5*s - 4*f. Are -8/49 and s nonequal?
True
Let g(q) = 4*q + 45. Let z be g(-10). Suppose 0 = o - 4*y - 23, -2*o + z*y - 3*y = -28. Let c be (-3)/4 + (-705)/(-60). Is c bigger than o?
False
Suppose 152*f = 155*f - 5*q + 33, -24 = -4*q. Are f and -191 non-equal?
True
Let x(f) = 5*f - 18 + 6*f - 64*f**3 + 60*f**3 - f + 7*f**2. Let y be x(4). Let b = 91 - 212. Which is bigger: y or b?
b
Let j = 791 - 408. Let m = 382.99 - j. Let u(q) = q**2 - 6*q + 3. Let w be u(4). Is m <= w?
False
Let m = -0.064 - 13.936. Let y = -7 - m. Is y at least 2?
True
Let f = 135 + -966. Let i = 828.51 + f. Which is greater: i or 1?
1
Let q be -5*(-10)/(-1875)*(-27011262)/100. Let n = 7203 - q. Which is smaller: n or -1?
-1
Suppose -996 = 30*c - 26*c. Let n = 748/3 + c. Is 0.6 greater than n?
True
Let a(i) = 21*i. Let u be a(3). Let k(c) = 6*c + 69. Let s be k(-10). Suppose -12*f + s + u = 0. Is f > 6?
False
Suppose 0 = -2448*t + 2466*t - 16002. Which is smaller: 896 or t?
t
Let j = -7309/2 - -3654. Which is smaller: 5/28 or j?
j
Suppose 0 = -2*j - 5*n - 11, 5*n - 2*n - 3 = 0. Suppose 76*i + 2*v + 27 = 73*i, -18 = 2*i - 3*v. Which is greater: i or j?
j
Let i = -4.41 - -4.42. Let y = 3.94 - 3.9. Which is bigger: y or i?
y
Let q be -28*((-510)/8 + -11). Is q not equal to 2094?
True
Let t(k) = 107*k + 3099. Let a be t(-29). Suppose 5*j - 5 = b, j = -3*b - j - 15. Is a > b?
True
Let k = -4 + 6. Suppose -s + j - 1 = -k, -5 = -2*s - j. Let p(h) = -h**3 + 2*h**2 - h + 1. Let f be p(s). Is f bigger than 2/61?
False
Suppose -5*c - 9 + 79 = 0. Let j be (-4)/c - (-523)/(-7) - -1. Let t = j + 50. Is -25 greater than or equal to t?
False
Let q = 113 + -111. Suppose 3*u + 2*p = 5*p - 15, -5*u + q*p = 13. Which is smaller: 8/27 or u?
u
Suppose 0 = -3*v - 15, -7*c + 12280 = -4*c + 4*v. Suppose -21*j - 4*j = -c. Which is bigger: 166 or j?
166
Let c = -1071 - -1069. Let y = 18 + -43. Is c at most as big as y?
False
Let r = -105315/2 - -52703. Let n(o) = o**3 + 8*o**2 + 3*o - 7. Let i be n(-6). Which is bigger: i or r?
i
Suppose -15*a + 168 = -a. Let j be 14/(2/(-3)*6/a). Are j and -42 equal?
True
Let u = 176.0021 - 0.0021. Let s = u + -161. Let m = -2 + -1. Is m at most as big as s?
True
Let y = -1871/130 - -369/26. Is y greater than 0.126?
False
Let c = 3.6 - 3.8. Let u = -13.91 + 17.51. Which is smaller: u or c?
c
Let q be ((-18)/12)/(39/(-12) + 3 + 4). Which is smaller: -0.0994 or q?
q
Let j = -3891989375/18278 - -212933. Which is greater: j or -1?
j
Let f be 10/(20/(-3))*-112. Let k = 184 - f. Is 15 less than k?
True
Let w be 3/9 + (-133)/525. Let s(g) = g**3 + 2*g**2 - 7*g - 12. Let x be s(-3). Suppose x = -5*y - 20, 5*a - 20 = 3*a + 5*y. Which is bigger: a or w?
w
Let t = -5983 + 5983. Which is smaller: 3/805 or t?
t
Let b be (1 - 149394/149400)/(9 - 138/16). Is b < 1?
True
Let i be (-35)/2*(-22176)/2156. Are 1269/7 and i equal?
False
Let n = -516 + -778. Which is bigger: -1297 or n?
n
Let p = 511.68 + 1.32. Let l = -30352 - -30352. Which is smaller: p or l?
l
Let b(v) = 2*v + 3*v - 6 + v**2 - 6*v. Let n be b(-5). Suppose 0 = 5*i + c - 8 + n, -13 = 3*i + 4*c. Is i greater than 0?
False
Suppose -l = -0*l + m + 176, 4*l + 3*m + 700 = 0. Let f be (l/7)/(-2) + 2/(-7). Which is smaller: f or 7?
7
Let t = 2 + 113. Let w = t - 117. Which is bigger: -22 or w?
w
Let k = -10/20003 - -113357021/40006. Let g = k - 62577/22. Is -10 less than g?
False
Let l = 6348 + -6251. Is -0.7 smaller than l?
True
Suppose -8*z = -11*z + 18, -3*n = z + 759. Do -252 and n have the same value?
False
Let y = -334 + 564. Let z = -220.7 + y. Let j = z + -9. Is -0.02 at most as big as j?
True
Let g = -8 - -7.88. Let p = g - -0.02. Let k be ((-12)/(-8))/((-126)/24). Are k and p equal?
False
Let d = 2749 + -2719. Which is greater: d or 280/9?
280/9
Let i = 5949713/1614 + -22117/6. Do i and 1 have the same value?
False
Let y be (-847)/(-135) - (10 - 2)*41/4428. Is -2.7 at least as big as y?
False
Let d = -18572 + 18571. Which is bigger: 26/85 or d?
26/85
Let h be (10 - 221/26) + (-32)/22. Is h smaller than 0.06?
True
Let y = -8182/5 + 1642. Let l(b) = -7*b - 3. Let o be l(-3). Suppose 0 = -2*d - t - 0*t + 12, 3*d - o = 2*t. Which is bigger: y or d?
d
Let c = -200 + 205. Suppose -c*p - 35*z = -31*z + 16, -5*p - 3*z = 12. Which is bigger: p or -5/6?
p
Let p = -