)). Let o = 46 - 15. Let j = -33 + o. Do p and j have different values?
True
Let b(h) = 32*h**2 + h + 3. Let m be b(2). Let y = -929/7 + m. Let x(l) = -l**3 - 4*l**2 + l + 5. Let a be x(-4). Is a bigger than y?
True
Let s = 0.07 + 0.19. Let z = 3.26 - s. Is z less than 4/3?
False
Suppose -5*l - 5*n - 35 = 0, 3*n + 2*n - 35 = 2*l. Let p = l + 6. Which is greater: -6 or p?
p
Let z = -6 + 6. Let x be z*1/3 - -5. Suppose -f = 2*f + 6, 0 = x*q - 4*f + 42. Which is smaller: -17/2 or q?
q
Let s(d) = -39*d + 20*d + 20*d - 15. Let b be s(16). Is b less than 2?
True
Let r be (-1)/(2/13) + (-12)/8. Which is bigger: 12 or r?
12
Let j = -23 + 45/2. Let d = 34.4 + -26. Let v = d - 0.4. Which is smaller: j or v?
j
Suppose 0 = -r + 2*j + 47, 5*r = -3*j + 158 + 129. Suppose 6*y = y + r. Let p = 12 - y. Which is greater: p or 4/9?
p
Suppose w = 3*b - 0*w - 5, -25 = b + 5*w. Let s be -24*(-12)/(-162)*3/4. Are s and b nonequal?
True
Let i = 12 - 12. Let g(h) = 160*h - 23. Let l be g(5). Let r be 6/(-21) - (-180)/l. Which is greater: i or r?
i
Let f = 19 + -18.99. Let k = -1.01 + f. Let r = -628/9 - -70. Is r != k?
True
Suppose 3*t = 3*j + 227 + 277, 0 = 4*j - 5*t + 675. Is -163 less than j?
False
Let k = -36 - -54. Which is smaller: k or 16?
16
Let j = 39 + -16. Let b = j - 23. Which is smaller: -2/21 or b?
-2/21
Let o(a) = -a**2 + 43*a + 44. Let g be o(44). Which is smaller: -2/703 or g?
-2/703
Let p = -6 + 3. Let x = p + 4. Let h(z) = z**2 + 10*z + 18. Let q be h(-8). Which is bigger: q or x?
q
Let u(i) = -i + 21 - 9 + 2. Let x be u(-6). Is 21 equal to x?
False
Let d(p) = -2*p**3 + 37*p**2 + 20*p + 25. Let r be d(19). Which is greater: r or 33?
r
Suppose 0*t = 5*t - 35. Let v be ((-16)/56)/(4/t). Which is greater: -1/3 or v?
-1/3
Let q be 5/((-30)/(-9)) + (-2)/(-4). Suppose -3*u - q = 10, -u - 6 = -2*c. Which is smaller: -1/6 or c?
-1/6
Let v be ((-18513)/6)/(-11)*4/(-3). Let q = v - -1876/5. Does q = 1?
False
Let i be (-30422)/6 - (-8)/24. Let a = -948092/187 - i. Is a less than or equal to 1?
True
Suppose -4*d = -7*d - 24. Let w = d - -7. Let j be (3/(4/4))/w. Which is smaller: -4 or j?
-4
Let v = -1687.515 + -158.425. Let t = 1827 + v. Let f = t - -19. Is f at most -0.1?
False
Suppose -3*r = 2*r. Let m be (1 - -1)*2822/(-28). Let s = m + 202. Is s <= r?
False
Let d be 2112/516 + (-4)/1. Is d greater than or equal to 2?
False
Let y be (-12048)/780 - (-4)/(-26). Let r(b) = b**3 - 8*b**2 - 10*b - 7. Let c be r(9). Is y less than c?
False
Suppose 738 = -784*c + 790*c. Which is smaller: 121 or c?
121
Suppose 3*m = 5*w - 2153, -9*w + 8*w + 3*m = -421. Which is smaller: 435 or w?
w
Suppose 51*n - 76*n - 350 = 0. Let y = -25 - -13. Which is greater: y or n?
y
Let w = 0.0644 - -76.9356. Is 0.3 at least as big as w?
False
Let n = 275 - 406. Is n bigger than 1/4?
False
Let x = 264 - 821/3. Let s = 478 + -1873/4. Let l = s + x. Which is greater: 1 or l?
1
Suppose -3*n + 2*v + 12 = 0, -3*n + 4 - 1 = v. Suppose -n*o = -7*o. Let h = -215/2737 - 1/119. Which is smaller: h or o?
h
Let f(s) = s**3 + 4*s**2 - 3*s + 3. Let h be f(-4). Let u(t) = t - 11. Let p be u(h). Is p greater than or equal to 9?
False
Let r = 55 - 54.96. Let x = 0.04 - r. Which is smaller: x or 3?
x
Let c be (4/6)/(410/30 + -11). Let h be (6/(-4))/(10/(-4)). Are h and c equal?
False
Let u = 13.1 - 12. Let n = -1.1 + u. Let f = 0.4 - n. Which is bigger: 1/3 or f?
f
Suppose 0 = 5*s - 3*g + 62, -64 = s - 5*g - 34. Which is smaller: -21 or s?
-21
Suppose -3*g = -2*q + 29, -4*g + 5*g = 2*q - 19. Let i(z) = -z**2 - 9*z + 6. Let v(y) = y - 17. Let r be v(8). Let m be i(r). Is q greater than or equal to m?
True
Let b = -19289/2 + 9399. Are b and -247 nonequal?
True
Let r = -0.3 - -0.2. Let k = 0 + r. Let q = 729.3 + -731. Which is smaller: k or q?
q
Let h(t) = t**3 - 5*t**2 - 2*t + 3. Suppose 2*i + 4*m - 7 = -1, -19 = -3*i + 4*m. Let u be h(i). Let k be (10/(-14))/(6/u). Which is bigger: 0 or k?
k
Let i(w) = 13*w + 64. Let r be i(-5). Is r less than or equal to -3/47?
True
Let t = -228 + 682/3. Let l be 0/(-2 + (1 - -2)). Suppose 4*b + 13 - 5 = l. Is b equal to t?
False
Suppose a - 5*b = -682, 0 = -4*a - 75*b + 73*b - 2728. Do -683 and a have different values?
True
Suppose -u - 1 = 4*i, 37 = u - 3*u - i. Let r = -71 + 51. Which is smaller: u or r?
u
Let c(n) = -n**3 - 15*n**2 + 21*n + 82. Let o be c(-16). Which is greater: 13/6 or o?
13/6
Let i = -395 - -396. Let z be (6 - 6) + 2/(-4). Let q = z - -9/10. Is q smaller than i?
True
Let t be 2 - (-38)/3*(-48)/302. Let a = 147/302 - t. Which is greater: -49 or a?
a
Let p(l) be the first derivative of l**4/12 - 5*l**3/6 + 2*l - 5. Let t(m) be the first derivative of p(m). Let z be t(5). Which is bigger: z or -0.6?
z
Let w = -35 - -31.6. Let d = w + 4.4. Is 0.2 at most d?
True
Let u be (3 - (-6)/(-4))*-10. Let f be 32/u + (-10)/(-75). Let k = f + 12/7. Which is smaller: 4 or k?
k
Let q = 162 + -161. Which is greater: 5/73 or q?
q
Let v be (-176)/(-396) + (-256)/90. Which is bigger: -3 or v?
v
Suppose 0 = k + 29*k - 240. Let w be (5/5 - 5)*1*-2. Is w < k?
False
Let v = -57.48 + 55. Let p = 3.6 - v. Let n = p - 0.08. Which is bigger: n or -2/7?
n
Let t = 221/6555 + 3/2185. Let d(b) = -b**2 + 1. Let q be d(-1). Which is smaller: t or q?
q
Let l be (-4)/16 + (6 - 275/20). Are l and -5 equal?
False
Let v be (-3)/6*(-5 + 9 - 2). Is 5/594 > v?
True
Let s = 0.241 - 0.25. Let p = -23.991 + s. Let w = p + 28. Which is smaller: w or 1?
1
Suppose -7*q + 212 = 23. Which is smaller: 18 or q?
18
Let s = -50 + 352/7. Let x = -0.44 + 0.04. Let z = -0.3 - x. Is s at most z?
False
Let l be 4 + 2/(-3) + (-15)/5. Is -2/53 at least as big as l?
False
Let d = 110 - 109.9. Let l = -0.64 + -3.26. Let q = 0.1 - l. Is q at least d?
True
Suppose 50 = 4*j - 9*j. Let m be (15/j)/((-2)/4). Suppose m*l = -4*r - 22, 0 = 4*r + 2*l + 30 - 10. Which is greater: -6 or r?
r
Let j be (-169)/(-26)*(-100)/(-258). Let x = -24/11 - -944/473. Let p = j + x. Which is bigger: p or 3?
3
Suppose -3*j = 4*u - 57 - 241, 0 = j - u - 111. Is 102 greater than j?
False
Suppose 15*l - 290 = 5*l. Suppose l = 7*m + 1. Is 4 at least m?
True
Let j be (-11543)/14014 + 2/(-11). Let u = j - -15/26. Which is smaller: u or 2?
u
Let s = -1651/4260 + 8/213. Which is bigger: -1 or s?
s
Let b = -1.27 + 1.2. Let z = -0.73 + b. Let r = z - -0.7. Is -3 greater than r?
False
Suppose 0 = 10*i - 14*i + 36. Suppose i - 6 = -3*t. Is t > 4?
False
Let d be (-126)/11802*2/9. Which is bigger: -1 or d?
d
Suppose 3*b + 5*u - 19 = 0, 5 = b - 5*u - 8. Let p be -29*b/156 + (-2)/(-13). Which is bigger: p or 1/12?
1/12
Let m = -1102/3 - -333. Which is smaller: m or -34?
m
Suppose 1 = h - 4. Suppose 4*c + 21 = 2*c - h*a, 0 = 5*c + a + 41. Suppose 0*u = u + 8. Is u < c?
False
Let i(k) = -6*k**2 + k + 2. Let h be (10 - 8)*1/(-2). Let j be i(h). Is j less than -2?
True
Let o be 2 + 56/(-399)*9. Which is smaller: o or 1?
o
Suppose -4*v - 20 = 96. Let n = v - -27. Are n and -1 nonequal?
True
Let z = 10594 + -8337481/787. Is z smaller than 1?
True
Let k = -403 + 1613/4. Which is smaller: k or -0.168?
-0.168
Let n = -61 - -67.2. Let o = n + 4.8. Are o and -1 nonequal?
True
Let z = 4 - 14. Let x = z + 2. Let k(t) = t**3 + 8*t**2. Let y be k(x). Which is bigger: y or -2?
y
Let z(k) = -4*k**2 - 2*k. Let m be z(-2). Let s be (-8)/m*6/(-4). Let q be 2 - (200/(-22))/(-5). Is s > q?
False
Suppose 4*o - 109 = -4*g + 11, 5*g + 2*o - 159 = 0. Suppose q = -0*y + 3*y - 49, q = -y - g. Is q != -36?
True
Let m = 5154/11 + -468. Which is smaller: m or 2/57?
2/57
Let b be 10/(-95) - (-8250)/399. Which is greater: 21 or b?
21
Let i(p) = -p - 4. Let n(z) = -6*z - 20. Let q(k) = -11*i(k) + 2*n(k). Let j be q(4). Let w be (j - -2 - 1)/(-1). Is 0 at least w?
True
Let m = 2/67523 - -130980/137274259. Are 1 and m unequal?
True
Let u = -169/1197 + 4/133. Suppose 0 = 3*r + 2*q + 21, 0*r - 3*r - 24 = 3*q. Let o(s) = s + 4. Let y be o(r). Which is greater: u or y?
u
Let y = -105 + 1679/16. Let f(s) = -3*s - 9. Let c be f(-4). Let j be 4/c + (-12)/9. Which is smaller: y or j?
y
Let l(m) = -m**2 + 7*m - 6. Let i be l(5). Suppose 3*h + 0*a - 6 = 4*a, 3*a + 8 = i*h. Suppose 0 = -h*x + 11 - 3. Is 6 less than x?
False
Let p = 194 - 133. Let n = 61.31 - p. Which is smaller: -0.1 or n?
-0.1
L