-1.0725 + 1.172. Let k = j + 0.0005. Let x = -0.13 + 0.41. Is x at least as big as k?
True
Let y = 304 + -251. Let c(p) = -12*p - 4. Let w be c(-5). Is w greater than y?
True
Let j be -1 - 1 - (-19)/3. Let s(r) = -60*r - 293. Let i be s(-15). Suppose 0 = -595*a + i*a - 60. Which is smaller: j or a?
j
Let n = 628578 + -19119457024/30417. Which is smaller: n or 0?
0
Let o(k) = -22*k - 69. Let h be o(-6). Let r be 374/h + (-26)/(-91). Which is greater: r or 5?
r
Suppose 74*r - 78*r + 4*a = -248, 0 = 2*a + 4. Let n be 17*(r/(-100) + 24/(-10)). Is -44 bigger than n?
True
Let j be ((-8)/(-6))/(-1)*(-1770)/2360. Is -2/2757 less than j?
True
Suppose -c = 4*z - 492, 5*c - z - 2121 = 276. Are 480 and c unequal?
False
Let c(p) be the third derivative of -3*p**4/8 + 63*p**3/2 + 108*p**2. Let v be c(19). Is v at most as big as -3?
False
Let o = 0.13 - 0.305. Let y = o - 65.825. Which is smaller: 1 or y?
y
Suppose 299 = -2*m + 2*g - 55, -2*m - 358 = 2*g. Let y = m - -178. Is y less than or equal to 23?
True
Let q be (-70)/(-5)*(-2)/(12/(-33)). Let b = q - 74. Suppose -f - 1 = -b*m - 3, -m - 10 = -5*f. Does m = -2/41?
False
Let y be (-1090)/(-14715)*(-9)/(-59). Which is greater: 17/4 or y?
17/4
Let i = 5828 - 5828. Is i not equal to -1601?
True
Let i = 19 - 19.9. Let z be (-6)/4*(-198)/3861. Which is smaller: z or i?
i
Let z be (6 + 84/(-24))*(-16)/826. Which is bigger: -1 or z?
z
Suppose -2*l + 3*q = 16721, 3*q - 8055 = -2*l - 24794. Do -8365 and l have the same value?
True
Let q be -1 - (-4 + -2 - 46075). Let o be 2/(-7) + q/163485. Are o and -1 equal?
False
Let d(n) = -241*n - 718. Let t be d(-3). Let l(p) = -p**3 + 9*p**2 + 2*p + 6. Let m be l(6). Suppose -t*v = 2*v + m. Which is smaller: -0.1 or v?
v
Let b(f) = 3*f - 5. Let i be b(4). Suppose 1141 = 86*u + 92*u + 727 - 1010. Which is greater: i or u?
u
Let v be (2 - -5) + (-1 + -1)/(-2). Suppose -v - 20 = -14*w. Which is smaller: -0.23 or w?
-0.23
Let g be 182*2/120 + 1/6. Let x = -737/235 + g. Let a = -217/282 - x. Is a equal to -1/4?
False
Let g = -3 + 2. Let d be g/(-2)*4/(-7). Let m(p) = 2*p**3 - 51*p**2 - 10*p - 425. Let h be m(26). Which is bigger: h or d?
d
Suppose 0 = 100*l - 104*l + 4*r - 14204, 3*r - 3545 = l. Are l and -3555 equal?
False
Let f = 1294 - 1141. Which is bigger: 0.9 or f?
f
Suppose -3*b = 13*m - 15*m - 9, 0 = 5*b + 4*m + 29. Which is greater: -1569 or b?
b
Let y = -98 + 107. Suppose y*l + 1206 = 36. Is -1/2 > l?
True
Let y(z) = -5*z**2 - 64*z - 169. Let v be y(-4). Is v at most -0.6?
False
Let x = 2/1311 + -1021/874. Which is greater: -41.5 or x?
x
Let f be (11 - (1 - -5))*646/(-95). Is f < -30?
True
Suppose 1472 = 4*g - 3*a, 5*g - 398 = -3*a + 1415. Let b = g - 2553/7. Which is bigger: b or -30/19?
b
Let v be 3/(-6)*(3 + -1037). Let x be (-423)/v - (-2 - -1). Does 0.27 = x?
False
Let m = 6290 - 6288. Which is greater: 160 or m?
160
Suppose x - 5*z + 2 = -4*z, 0 = 3*x - 4*z + 10. Let n(r) = -r**2 - 8*r - 9. Let u be n(-6). Suppose -x*i - u = 1. Which is smaller: i or -1/2?
i
Let j = -36105 - -36035. Let p be (-46)/2*(1 + 2). Which is greater: j or p?
p
Suppose -5*s + 7*d + 19 = 3*d, s = -4*d - 25. Let y be (-225)/(-348) + (-3)/4. Is s greater than or equal to y?
False
Let v = 3585 - 3600. Is -253/16 >= v?
False
Let p(n) = -n**2 + 2. Let v be p(0). Suppose -26 = v*c + 4*u, -2*u + 56 = -3*c + 9. Which is smaller: 3/5 or c?
c
Let h be 5/((-30)/(-3678)) + 4. Let d = h + -381. Which is smaller: d or 0?
0
Let d = -1884 + 28262/15. Is 33 not equal to d?
True
Let t(w) = 3*w**3 + 55*w**2 + 20*w + 39. Let y be t(-18). Let h = 19.3 + -22. Let p = h - -11.7. Is p greater than or equal to y?
True
Let l = -97 - -67. Let p = -385174 + 385145. Is l equal to p?
False
Let n = -2438.1608 - 0.8392. Is n >= -1/2?
False
Let w be (-5 - (-50)/100)/((-18)/8). Which is smaller: -328.2 or w?
-328.2
Suppose -14*w + 3*d = -18*w - 67, -4*d = w + 33. Which is greater: -11 or w?
-11
Let z = -1.3 - -0.3. Let s = -18930.787 + 18931. Is z less than s?
True
Suppose -s + 254 = 2*p, 4*p + p = s - 289. Let f = 262 - s. Which is smaller: f or 7?
f
Let p = 35703 - 35688. Suppose -3*g + 9 = -6. Suppose -z - g*a + 5 = -2*a, a + 4 = 0. Which is greater: p or z?
z
Let o = 914581/20 + -45720. Is 10 > o?
True
Let u(c) = 2*c**2 + 33*c + 75. Let w(n) = -n**2 - 17*n - 38. Let f(q) = -3*u(q) - 5*w(q). Let t be f(-11). Is t >= -91?
True
Let v(s) = -9*s**2 + 15*s + 17. Let u be v(-19). Is -3518 at most as big as u?
True
Let a(h) = -h**3 + 3*h**2 - 18*h - 20. Let o(n) = n**2 + n + 1. Let t(q) = -a(q) - 6*o(q). Let y be t(7). Is y at least as big as -7/25?
True
Let a be 1 - ((-160)/(-1360) - (-102559)/17). Is a greater than or equal to -6031?
False
Let v = 2206 + -1514. Which is bigger: v or -2/3?
v
Suppose 2*f - 3*d - 94 = 0, 186 = -0*f + 4*f - 5*d. Suppose 5*l - f = 3*l - 4*j, 5*l + 3*j = 110. Does l = 22?
True
Let f(o) = -3*o - 14. Let i be f(-4). Let v(a) = -11*a**2 - 2*a. Let b be v(-2). Let y be 35/b - i/(-16). Do y and -3/4 have the same value?
False
Let n = 4/2110390023 - 2003664684034/52411536221205. Let f = n + 2/14901. Is 0 less than or equal to f?
False
Let b = 43/5 + -9. Suppose c - 6*c + 25 = 0. Suppose 0 = 3*p + c*d - 18, 4*p = d + 3*d - 8. Is b greater than p?
False
Suppose 27 = 2*q + 5*h, -5*q + 108*h = 107*h. Let b = 1107/52 - 83/4. Which is bigger: q or b?
q
Let j(b) = 3*b**2 + 58*b - 54. Let n be j(-20). Suppose -t - t + 6 = r, 5*t + 3*r = 15. Suppose t*c = -c - 40. Which is greater: n or c?
c
Let o(p) = 2*p**2 + 3*p - 3. Let q be o(-5). Suppose -17 = 90*g - 89*g. Let l = q + g. Is 17 >= l?
True
Let f be ((-1092)/184 + 6)/(30/3080). Is 7 less than or equal to f?
False
Let j be ((-1)/((-6)/(-32)))/((204/(-90))/1). Which is smaller: j or 3?
j
Suppose 53 = 17*m - 49. Suppose -m = 5*y - 11. Is y at least 5?
False
Let t(v) = -v**3 + 9*v**2 + 13*v - 18. Let i be t(10). Suppose -6*w = -3*w - i. Suppose -5*q + w = -66. Is 12 bigger than q?
False
Suppose 0 - 7 = -5*w + 2*r, -5*w - 5*r = -35. Let a = -15 + w. Let u be (-4 - -2)/(-2) + a/13. Is u <= -1?
False
Suppose 2530 + 1571 = -25*t - 574. Suppose k = -2*k - 567. Which is smaller: t or k?
k
Let j = 28.89 + -29. Let l = -0.54 + -0.02. Let v = l + 0.56. Which is bigger: j or v?
v
Let x be (35/34468)/((-17)/(-68)). Which is smaller: x or 0?
0
Let y be (-4 - -7)*-1 - (55 + 0 + 4). Which is smaller: y or 0.06?
y
Suppose 6*u + 455 + 19 = 0. Let n = u - -29. Let z = n + 54. Is 5/2 equal to z?
False
Let t = -3184.271 - -3186. Let r = 0.319 - t. Is 0 greater than r?
True
Suppose 75*s = 70*s - 25. Suppose l - 2*c + 2 = 2*c, 0 = 2*c - 4. Suppose 3*z = -0*z + 2*t - 2, -t = -4*z - l. Does z = s?
False
Let w(f) = f**2 - 14*f - 16. Let b = 102 + -87. Let l be w(b). Suppose 0 = -2*y + 6, -4*d + 2*y = -2*y + 36. Is l bigger than d?
True
Suppose -129 = -5*x + 3*x - y, -5*x + 318 = -2*y. Let h = x - 61. Suppose 5*r - h = 17. Is r less than 5?
True
Let o = -73 - -72. Let c be o + -1 + (-9)/((-45)/8). Is -4.2 less than c?
True
Let q = 13 + -10. Suppose -q = -u - 4. Let w be (-2 + (-14)/(-8))*1*u. Is -0.01 bigger than w?
False
Suppose 5*d - 62 = 13. Suppose d = h + 2*h. Let a be (-3)/h*5/(-11). Which is smaller: a or 1?
a
Let f = -161.3 - -162.5. Is f <= 156?
True
Let j = 1148.7 + -1014.56. Let g = j - -1.86. Let q = g - 138. Which is smaller: q or -0.22?
q
Let u(y) = y**3 + 5*y**2 + 4*y + 4. Let h be u(-4). Let m = h - 3. Let s = 8435 - 8435.2. Which is smaller: m or s?
s
Suppose -3*h - 37 = -2*p - 8*h, 2*h = 5*p - 20. Let t be 3/(p/25)*(-10 + 8). Is -24 at least t?
True
Let q(y) = y**3 + 3*y**2 + y - 17. Let n be q(5). Let h = 198 - n. Do h and 7 have the same value?
False
Let z = 5.2 + -4.4. Let d = 67.2 + -67. Which is bigger: z or d?
z
Suppose -28*i + 22 - 22 = 0. Let g be (4 - 3147/786) + 0. Which is greater: i or g?
i
Suppose -3*l = 2*l - 295. Let h = l - 121. Let u = 621/10 + h. Is u >= 2/11?
False
Let p = 106922280/1721 + -62128. Is 1 != p?
True
Suppose 162*t = 60*t + 79*t. Let u = 307 + -6446/21. Which is greater: t or u?
u
Suppose 0*w - 2*w = -12. Let j(g) = 3*g - 6. Let b(o) = -o. Let q(u) = -2*b(u) - j(u). Let d be q(w). Which is smaller: d or 1/29?
d
Suppose 1176 = -203*k + 35*k. Let n = 6 - 6. Suppose n = 4*u + 15 + 1. Is u >= k?
True
Let r = -11.6 - 3.4. Let h = -15.09 - 