 q?
True
Let a be (-1356)/(-791)*(-21)/(-2)*(-37)/393. Are a and -3 non-equal?
True
Let q = -1607 - -1484.3. Let m = q + 3.7. Is 2/3 >= m?
True
Suppose 3*s - 69 = -2*m, -11*m + 6*m + 5*s = -185. Let j be (4 - -10) + -2 + 17. Is m != j?
True
Suppose 33 = -28*g - 5*g. Let t = 24.5 + -275.5. Which is smaller: g or t?
t
Let v(g) = 23*g - 3. Let i be v(2). Suppose -268 = -2*o - 292. Let m(w) = -w**3 - 13*w**2 - 19*w - 41. Let l be m(o). Is l greater than or equal to i?
True
Let v(o) = o**3 - 3*o**2 + 3*o + 4. Let b be v(2). Suppose -2*l + 200 = -b*l. Suppose p - 7*p = 300. Is l greater than p?
False
Let f be 1/(-4) - 1646*(-1)/(-8). Is f greater than or equal to -202?
False
Let s = -39 - -51. Let k be (s/(-5))/((195/200)/(-13)). Are k and 29 equal?
False
Let y = 2/197475 + -6065642138/3752025. Let j = y - -1616. Is -2 less than j?
True
Let q = 27698 + -27697. Is q smaller than 9/2033?
False
Let t = -0.01838 + 6.01838. Let g = 0.21 - 14.21. Let d = -10 - g. Is d > t?
False
Let k = -2.884 + 42.293. Let j = 0.209 - k. Let t = j - -39. Is t bigger than -2?
True
Let r = -900 - -777. Which is bigger: -118 or r?
-118
Let x = 236/273 - 18/91. Let i = -139 + 6. Which is smaller: i or x?
i
Let d be (25/30)/((-1)/5). Let i(o) = 6*o**2 + 3*o + 8. Let c(l) = 12*l**2 + 6*l + 17. Let v(h) = 6*c(h) - 13*i(h). Let y be v(-1). Which is smaller: y or d?
y
Suppose 3*y + 3 = 0, 2*y + 1 = -3*j + 4*y. Let i(g) = -69 + 5*g - 6*g + 69. Let m be i(-4). Which is bigger: m or j?
m
Let w = 16374 - 16219.27. Let p = w + -157. Let v = -0.27 - p. Which is bigger: -12/5 or v?
v
Let p = 4.3191 + -4.24. Let r = -0.0991 + p. Is 0.25 greater than or equal to r?
True
Let w(x) = -x**2 - 7*x - 10. Let p(l) = 4*l**2 - 19*l - 8. Let h be p(5). Let f be w(h). Which is smaller: f or 6?
f
Let f be (3 - 1234)*29/87. Which is greater: f or -409?
-409
Let q = 0.23642 - -630.61358. Let d = -613 + q. Let m = -18 + d. Is m at most -0.2?
False
Let n be 4*3/2*4/(-12). Let j be -5 + 7 - (-3)/(-3). Is n at least j?
False
Let v be ((-2)/4)/(8/4672). Let p = v + 378. Are p and 87 non-equal?
True
Suppose 0 = 3*t - 4*p - 12, -3*t + 8 = -t + p. Suppose -9*j = -t*j. Suppose -3*k + 51 + 36 = j. Is k not equal to 28?
True
Let u(m) = 2*m + 10. Let l be u(5). Let k(b) = -b + 25. Let v be k(l). Is v greater than or equal to 5?
True
Let i = 64 - 63.989. Let k = -6.989 - i. Let f = 1.2 - 0.2. Which is bigger: k or f?
f
Let a be ((-10)/(-12))/((-759)/1087900). Which is bigger: a or -1194?
-1194
Let c = -14908 - -16434. Which is bigger: 1527 or c?
1527
Let y be (-1164851)/(-3609) - 2/((-14)/35). Let i = y - 2950/9. Which is smaller: i or 1?
i
Let v = 0 - 7. Suppose -296 = 4*d - 2*n - 210, -d - 49 = 5*n. Is d greater than or equal to v?
False
Suppose s = -2*b + 6, 8*b - 10*b + 12 = 2*s. Let k(y) = -5*y + 29. Let u be k(s). Which is bigger: u or 7?
7
Let q = 55 - 20. Let s be 32/q + 4/(-20). Let r = 0.1219 - 0.2219. Are r and s non-equal?
True
Let h be ((-1559)/12030 + 144/1080)*7/((-231)/44). Let o = 4 - 3. Which is bigger: h or o?
o
Suppose 90684 = 78*q + 120*q. Is q >= 453?
True
Suppose 167*y - 166*y = 2. Let z be -5 + 185/65 + y/13. Is z greater than -2/3?
False
Let y = 3482 + -5103. Is -8098/5 != y?
True
Suppose 28*z + 65*z - 28*z + 2015 = 0. Is z > -30?
False
Let p = 13338057/620 - 21513. Is 0 < p?
False
Suppose 1003 - 103227 = 180*c + 66436. Is -938 != c?
True
Let v = -20021/10 - -10013/5. Which is smaller: -7.794 or v?
-7.794
Suppose -17*o + 120 = -2*o. Let b(k) = -k + 15. Suppose -s - 4 = -16. Let l be b(s). Is l smaller than o?
True
Let z = -211 - -229. Suppose -5*p = -2*p - 5*h - z, 3 = -h. Which is smaller: p or -1?
-1
Let j be (48/9)/((-99)/27 - -2). Let n be 1/4 + (-22)/(-8). Let z = n + j. Is -1 at least as big as z?
False
Suppose 17*u - 61*u + 1540 = 0. Do u and 36 have the same value?
False
Let h = -350 + 496. Let q = 542 - h. Let p be -3 - (5 + (-3176)/q). Which is smaller: 0 or p?
0
Let y = -1587/2 + 491981/620. Which is bigger: -1 or y?
y
Suppose 4*l + k = 3*l - 733, -3*l + 4*k - 2220 = 0. Suppose 140 = -2*o + 4*v, -o - 3*v - 55 - 5 = 0. Let p be l/o - (20/(-55))/2. Is p at least 11?
True
Let y = -3321 - -5264. Is y bigger than 1942?
True
Let f be 1 + (-248)/256 + (-2 - -2). Let p(i) = 3*i + 3. Let w be p(-4). Let x = w - -10. Do f and x have the same value?
False
Let p = 4777/6 - 2237/12. Let o = p - 604. Suppose -5*i = -5*s + 25, 0*s + s = -i + 5. Which is bigger: o or s?
o
Let u be 0 + 80/(-14) + (-16)/56. Let b(m) = -16*m - 6. Let f be b(0). Are f and u unequal?
False
Suppose -4*n + 4*v = -0*v + 664, 4*v + 356 = -2*n. Let k = 160 + n. Is -5 at most k?
False
Let p = -1723 - -94762/55. Suppose b - 13*h + 7 = -10*h, b = -h + 1. Is p at least as big as b?
True
Suppose 1 = 5*a + 11. Suppose -8*g = -234 + 410. Let s be ((-15)/(-10))/(g/12). Which is smaller: a or s?
a
Let w = 172.49 - 171. Let a = w + -0.49. Which is bigger: -168 or a?
a
Let u = -0.203 + 4.313. Let f = -5.21 + u. Are 5 and f equal?
False
Let n = -3864 - -1696299/439. Let s(l) = -10*l**2 + 46*l - 49. Let c be s(3). Which is smaller: n or c?
c
Let s be (-4 + -17)*((-8)/(-810))/(-4). Is s > -1?
True
Let t be 0 + 1 - (15 + -6). Let h = t + 11. Suppose 3*q = 5*d + 10, -3*d - d = -h*q + 8. Which is smaller: q or 3/16?
q
Let u be ((-6)/5 - 2784/580) + (2 - -225). Are 223 and u non-equal?
True
Let w = 23 - 36. Let s(x) = -x**3 - 14*x**2 - 15*x - 2. Let t be s(w). Suppose -4*f + 162 = -3*l + t, -5*f + 2*l + 176 = 0. Is f greater than 37?
False
Suppose 2*p - 2*i + 724 = 0, 8*p - 6*p = -3*i - 759. Which is greater: p or -368?
-368
Suppose -5*f = 15 - 55. Suppose -k - 4*p = -2*k - f, -40 = 5*k - 3*p. Are k and -6 nonequal?
True
Suppose 979*r = 974*r + 15, 0 = -o + 2*r - 3. Let x be -1*2 + (6 - -1). Suppose -11 = -3*i - v + 2*v, -i - x*v = 23. Which is bigger: i or o?
o
Let h = 90/7 + -3054/35. Is -1 >= h?
True
Let y = 1.088 - 0.048. Let x = 1.33 - y. Is x < -2?
False
Let s be (-1 - 8/12)/(453/25821). Let p be 0/(-2) + 4/(-10). Which is bigger: s or p?
p
Let o be ((-117)/(-18))/(1002/(-618)) - -4. Which is bigger: -3 or o?
o
Let q = 521.3 + -532. Which is greater: 5/7 or q?
5/7
Let r = 9666 - 9650. Let h be ((2 + -2)/(-1))/(-1). Suppose -14 = -p - h*p. Which is greater: p or r?
r
Suppose -4*p = 7 + 25. Let c(b) = b**3 + 9*b**2 + 9*b - 7. Let a be c(p). Let l = -12 - a. Is l less than 7?
True
Let d(n) = n**3 - 10*n**2 - 3*n + 27. Let f be (-8)/4 - (4 + -7). Suppose -i + 9 = -f. Let a be d(i). Which is smaller: a or -17/4?
-17/4
Let d(j) = 5*j - 41. Let c be d(8). Let z = -306/23 + -4532/299. Let t = z + 361/13. Is c != t?
True
Let m = -14.7 - -14.3. Let s = 0.01 - m. Is s less than -0.2?
False
Let d be -8 - -3 - (-22 + -1). Let s = -63 + d. Is s at most as big as -44?
True
Let i = -1006 - -1005.9393. Let s = -0.0617 - i. Is s at least -0.1?
True
Let i(k) = -3*k**3 + 30*k**2 - k - 178. Let a be i(9). Which is smaller: 1065/19 or a?
a
Let x(z) = -23*z + 19*z + 22*z**3 - 18*z**3 - 3*z**2 + 1. Let g be x(4). Which is greater: g or 192?
g
Let y = -14.187 - -0.187. Let w = y + 13.8. Which is smaller: 0.7 or w?
w
Let t = -6471 + 6467. Is t != 833?
True
Let o be (-15)/10*88/(-30). Suppose 55*y = -50*y + 402 + 18. Does y = o?
False
Suppose -163*z + 16323 = -167*z - 5*h, -5*h - 20405 = 5*z. Is z <= -4082?
True
Let g(n) = -n**3 + 6*n**2 + 4*n - 6. Suppose 11*d - 16*d = -30. Let z be g(d). Suppose 0 = -5*v + z + 92. Which is smaller: v or 23?
v
Let d(j) = -j**3 - 12*j**2 - 43*j - 110. Let r be d(-9). Suppose -3*v - 4*v + 224 = 0. Which is bigger: v or r?
r
Let u be (-150)/325 + (-48399)/(-15886). Is u equal to 4?
False
Let i = 200/7 - 187/21. Let x be (495/(-10))/(-9)*2. Suppose 29*m = x*m + 360. Which is bigger: m or i?
m
Let b be ((-22)/12)/(3/8). Suppose 4*x - 861 = -885. Is x bigger than b?
False
Suppose -4*n = 260*g - 265*g + 3, -7*g + 24 = n. Is g greater than or equal to -78?
True
Let t(l) = -4*l**2 + 170*l - 27. Let g be t(8). Is g greater than 1080?
False
Suppose 96 = 4*i + 4*d, 4*d = -i + 2*i + 1. Suppose 4*z - 23*z - i = 0. Which is smaller: z or -2/813?
z
Let p = 502.8 + -502. Which is smaller: p or -0.052?
-0.052
Let q(w) be the second derivative of -w**3/3 + 6*w**2 - 13*w. Let s be q(5). Let d = -9 - -10. Is s at least as big as d?
True
Let 