8). Is -1/8067 at most as big as j?
True
Suppose 181*d - 197*d = 64*d - 240. Let i = -52 - -100. Is i at least as big as d?
True
Let y(p) = -8 - 5*p**2 + 19*p + 12*p**2 + 0 + 95*p**3 - 96*p**3. Let z be y(9). Is -1/72 not equal to z?
True
Let q = 1.149 + 0.351. Let u = q - 1.58. Let k be (-3 + 5)*(-2)/6. Which is smaller: k or u?
k
Let z be (8 - 1573/195) + 1308/(-980). Which is smaller: z or -2?
-2
Let a = 462/67 + 97513/268. Let b = a - 2209/6. Let u = 35/36 + b. Which is greater: 3 or u?
u
Let x = -475 + -282. Which is smaller: -755 or x?
x
Let w = -28.436 + -1492.564. Is -0.05 at least as big as w?
True
Let d be (0 - 0)/(-3) + 4. Suppose -2*l - j = 16, 0*l = l - d*j - 10. Let q be l/(-24) - (-309)/12. Is 27 less than q?
False
Suppose -3*g = y - 98, 6*g - 9*g + 181 = 2*y. Do 93 and y have the same value?
False
Suppose 364*f - 642*f + 374 - 96 = 0. Let b be ((-6)/20)/((-96)/15). Is f greater than b?
True
Let o = -1132/81 - -7252778/518967. Is o bigger than 1?
False
Let g be (-14)/(-105) - (3908/60 + 3). Which is smaller: g or -137/2?
-137/2
Let j(t) = 28*t + 300. Let l be j(17). Is 779 greater than l?
True
Let r = 338 - 313. Let c be (-8)/(-40)*r*(-23)/2. Which is bigger: c or -59?
c
Let v = 171 - 103. Suppose 0 = 5*s - 17 - 3. Suppose -s*h - v = -6*h. Is h at most 35?
True
Let j = -12681/2 + 6084. Which is bigger: -1/3 or j?
-1/3
Suppose -10*i = 7846 - 2106. Which is smaller: -571 or i?
i
Let m = 0.42356 + 0.06644. Is m greater than 58?
False
Let c be 29/4089*(-36)/(-2). Is c greater than or equal to 6?
False
Let d = 78631 + -78587. Let n be (-171)/(-4) - (-1)/4. Suppose -y + 2*y = n. Which is bigger: y or d?
d
Let c be ((-159)/30)/((-12)/237). Let w be -15 + (-21804)/(-180) + (-2)/6. Let u = w - c. Which is smaller: u or 0?
0
Let n = 43.128 - 0.128. Let v = 30 + 15. Let b = n - v. Which is greater: 0.6 or b?
0.6
Suppose 3*f - 84 = -57. Suppose m - f = 4*x - 31, -3*x + 30 = -3*m. Let b(h) = h - 10. Let s be b(m). Is s at least -17?
True
Let b be 50391/27 + (-75)/9 + 6. Is b < 1865?
True
Let u = -406 + 367.4. Let x = 30.6 + u. Which is bigger: 2/3 or x?
2/3
Suppose 23 - 1 = 4*c - 3*z, -5*z - 22 = -3*c. Which is bigger: c or 309?
309
Let t = -38 - -28. Let m be ((-3)/6)/((-2)/12). Suppose 2*r + 11 = m*n, 0 = -5*r - 3*n - 17 - 42. Is r > t?
False
Let q = -19 - -23. Let g be 11/33 - q/(-15). Let h = 4.7 - 6.7. Is g less than h?
False
Let d = -361/125 + 64019/25500. Which is greater: -1 or d?
d
Let t be (33/(-198))/(2/(-3)). Which is bigger: -36/11 or t?
t
Let c = 89375.12 - 87357. Let f = -1976 + c. Let q = f + -0.12. Which is bigger: 2/7 or q?
q
Let o = -1.613 - -1.136. Let l = o - 0.213. Which is smaller: l or 1/4?
l
Suppose 2*u - 22 = -2*a, -9*u = -3*a - 5*u + 40. Let w be 4/20*-2*(-10)/a. Which is greater: w or -64?
w
Suppose -y - 2*y + 52 = -4*h, -h = -2*y + 18. Let k = -11 + 9. Let v(m) = -2*m**2 + 2*m + 1. Let l be v(k). Do l and h have the same value?
False
Let v be ((-396)/10)/((-16)/720*-51 + -1). Which is greater: -299 or v?
v
Let t = 3890 + -3978. Is t > -2/15?
False
Let g(z) = -34*z - 137. Let d be g(-5). Let v be 125/d + 18/33. Which is greater: 0.5 or v?
v
Let u = 3418 + -1855975/543. Does u = 0.1?
False
Suppose -k = -4*v + 303, 9*k = 5*k - 3*v - 1231. Let h = 298 + k. Which is bigger: 9 or h?
9
Suppose 24*a + 5189 = -91. Which is smaller: a or -223?
-223
Let x = -253 + -388. Let r = x - -627. Let c be 51/60 - 1/4. Which is smaller: c or r?
r
Suppose -155*u = 7*h - 152*u + 29, -2*u = 5*h + 19. Let r(b) = b - 18. Let z be r(0). Let a be (-1)/12*z/(-4). Is h at most as big as a?
False
Let r = 25.97936 + 0.06864. Let g = r + -26. Let f = g + 0.252. Is f bigger than -3?
True
Let u(i) = -i**3 - 3*i**2 + 3*i + 2. Let p be u(-3). Let d be (-5)/2*-5 + p/14. Let h be 0 + 2/(-8) + (-3)/d. Is h at least -2.2?
True
Let r be 3 + ((-6)/(126/161) - -5). Which is smaller: 9/80 or r?
9/80
Let l = -0.12695 + -1142.87305. Which is bigger: l or 3?
3
Suppose -4*h + 2*t - 50488 = 0, -12622 = h + 55*t - 58*t. Which is bigger: h or -12621?
-12621
Let f(x) be the second derivative of 0 - 47/2*x**2 + 1/2*x**3 - 13*x. Let u be f(15). Is 1 >= u?
True
Let x = -139 - -175. Suppose -198*o = -195*o + x. Let q be 3 + -1 + (0 - 12). Which is smaller: q or o?
o
Let p(c) = -c**2 + 20*c + 583. Let t be p(-16). Which is greater: 264 or t?
264
Let z be (-144)/(-36) + 1/(156/(-129)). Is 3 greater than z?
False
Suppose -5*s + 3495 - 167 = 3*x, 8*x - 8813 = -s. Is 1094 >= x?
False
Let t = -639 - -673.7. Let d = 59.6 - t. Do 1 and d have different values?
True
Let z = 3 + -2. Let n = -243.5 + 227.048. Let o = n - -0.452. Which is bigger: z or o?
z
Let i be ((-6)/(-8))/((-722)/304). Let m = i + 31/38. Is m less than or equal to -1?
False
Let p = -689126/73 - -9440. Is 24 greater than or equal to p?
True
Suppose 17*o + 80*o + 880 = 298. Let q = -50/17 - 209/85. Is q >= o?
True
Let u be 6 + -9 + 5 + -4 + 5. Suppose -4*z - u*r - 301 - 368 = 0, -186 = z - 3*r. Is -171 <= z?
True
Suppose 2*j - 39 + 45 = -b, -5*b + 2 = 2*j. Let g = -44.91 - 1.09. Which is bigger: b or g?
b
Suppose 296*k - 938 - 624 = -82. Let b = 73 - 35. Which is smaller: k or b?
k
Suppose 0 = 1558*v - 1175*v + 383. Which is smaller: v or -1/939?
v
Let g = -28.868 + 8.868. Is g at most 2.7?
True
Let z be (70 - 54)*-1*76/(-28). Let c be (-16)/10*(-110)/4. Is z at most c?
True
Let q = 5307 + -4696. Is q equal to 616?
False
Let i = 255 + -255. Suppose i = 2*y + 4*t + 16, -5*y + 0*t + t - 62 = 0. Is -4 greater than y?
True
Let r = -655333/21243020 - -41/1340. Does r = 0?
False
Suppose 0 = -2*v + 7*v. Suppose -3*p + 5*u + v*u + 2 = 0, -4*p - 3 = -u. Let r = -152599/4 + 38149. Does r = p?
False
Let p = 31.218 + -31.318. Let t be (-1)/(3/(-3))*-9. Let z be 4/(-18) - 4/t. Is p greater than z?
False
Suppose 0 = 5*r + 4*h - 0 - 19, 3*r - 4*h - 37 = 0. Suppose -6 = 3*q - 2*k, 4*q + 3*k - r*k = -12. Which is greater: q or -3/29?
q
Let p = -11294 - -11712. Is 416 at most as big as p?
True
Suppose -24 = -3*r + 33. Let s = r - 17. Suppose 2*h + 3*h = -5*a - 40, 0 = s*h - 4*a + 16. Is h less than or equal to -7?
True
Let o(w) = 3*w**3 + 3*w**2 - 3*w + 41. Let d be o(0). Is 27 > d?
False
Suppose -3*r = -0*r - 5*q - 43, -5*r + 40 = -2*q. Suppose -2*d + 153 = 3*t, 3*d - r*d + t + 257 = 0. Let n be 80/378 + 6/d*-4. Does n = -2?
False
Let i = -13.505 + 0.005. Let p = i + 12.4. Let s = 12 - 11.9. Which is smaller: s or p?
p
Let u = -639 + 633. Let o be u/(18/(-411)) + 3. Which is smaller: 138 or o?
138
Suppose 108 = -h + 109. Is 57/199 greater than h?
False
Suppose -15*l - 3 = -14*l + p, 3*l = 5*p + 23. Is -332 < l?
True
Suppose 0 = -3*l + k + 165, 0 = l - 2*l + 2*k + 60. Suppose -n = 2*p - 14 + l, -5*n - 3*p = 165. Let r be (-6)/2*n/(-9). Is -10 less than or equal to r?
True
Suppose 73*c - 83 = -10*c. Which is bigger: 61/226 or c?
c
Let o be ((-18)/60)/((-6)/(-8)). Let u = -50315 + 50274. Is o greater than u?
True
Let h = -5.913 + 5.913. Is h at least as big as -7071?
True
Let p be (-8 + 136/16)*(3 + 0 + -1). Which is greater: -104 or p?
p
Let w = 437 - 436. Let l be (118/(-114) + w)*10/(-10). Is -1 at most l?
True
Let a be 5 + -3 + -3 + (-519)/36*4. Do -59 and a have the same value?
False
Let h be ((-4)/20 - (-2)/10)/(-3). Suppose 2*q + 3 = -3, 5*m + q + 78 = h. Which is smaller: -5 or m?
m
Let w be 16 - (15 + 252/306). Is 1/5 greater than w?
True
Let w be (-89 - -83)*-50*(-3)/84. Let o(n) = -2*n**2 - 2*n. Let b be o(-3). Which is bigger: b or w?
w
Let h = 306 + -307.47. Let c = -0.53 + h. Is -1/3 < c?
False
Suppose 0 = 12*h + 16 - 616. Suppose -4*z + 61 = 5*q, 5*z - 5*q + 6*q - h = 0. Which is smaller: z or 35/4?
35/4
Let a = -14 + 13.732. Let s be (-3)/(-6)*(-1)/5*-2. Which is smaller: a or s?
a
Suppose 136*w + 53*w = -727650. Which is bigger: w or -26954/7?
w
Let k be 98764/712*(-4 - -11). Let j = k - 971. Let n = j + 385/5162. Is n bigger than 1?
False
Let b = 16 - 16.32. Let l = -1.32 - b. Let x = 215.9 - 216. Which is smaller: l or x?
l
Suppose 2 = d + s, 0 = -3*d + 2*s + 18 + 13. Suppose 8*p + d = -1. Let x = -33/19 - -1674/931. Is x smaller than p?
False
Let t = 8 - 5. Let q be 2/(-4) - (1/11 - (-7100)/(-43736)). Is q at least as big as t?
False
Suppose -10*w + 191 = -11*w. Let o = -113 - w. Let u be (-1 + (3 - 3))*(-