04 - 4/((-4)/(-5)). Let m = -2/2987 + l. Which is bigger: 0 or m?
0
Suppose 91*s - 1914 + 1368 = 0. Which is smaller: s or 71/12?
71/12
Let b = -3886 + 3744. Is b at least as big as -717/5?
True
Let m = -0.387 - -436.387. Let w = 437 - m. Which is smaller: 9.1 or w?
w
Suppose 5*d = z - 647, -5*z + 4905 - 1751 = 2*d. Let q = -630 + z. Is -11 at most as big as q?
True
Let c = -94439/12 + 7874. Let h(p) = -p - 3. Let o be h(-6). Which is greater: o or c?
c
Let c(u) = u**3 - 4*u**2 - u + 3. Let n be c(4). Let x(b) = -7*b + 27. Let s be x(5). Let w be (-1)/(-1 + s - -4). Is w greater than n?
True
Suppose 194 = -9*h - 22. Let q(o) = -18*o**2 + 112*o + 70. Let d be q(7). Which is smaller: d or h?
d
Let k = 70 + -50. Let w(i) = i**3 - 72*i**2 - 1087*i - 1511. Let z be w(85). Do k and z have different values?
True
Let j = 850.49 + 166.51. Is j at least 2/21?
True
Suppose 3*f = b - 71, -f - 19 - 23 = -4*b. Let a be f*(2 + -1) - -6. Is -18 at most as big as a?
True
Let i(v) = v**3 + 3*v**2 + 11*v + 16. Let x be i(-2). Let k be x/(-9) - (-44)/4104*-33. Which is bigger: k or -1?
k
Let z = 1130393221/11990 + -94278. Which is bigger: z or -1?
z
Suppose 3*s + 32 = -2*f, 3*s = 4*f - 6 + 34. Let r(g) = -28 - 16 + 8 - 3*g. Let d be r(f). Is d bigger than -4?
False
Let n be (-31309)/1175 - (-714)/(-5950). Which is smaller: -27 or n?
-27
Let g = 1704 - 131204/77. Let z(s) = -s**2 - 22*s - 117. Let x be z(-9). Which is smaller: x or g?
x
Let h be ((-3)/(-9))/((-2)/222). Let b = -961 + 922. Which is bigger: h or b?
h
Let q = 255/37 + -2077/296. Let w = 40 - 40. Is w less than or equal to q?
False
Let h be ((-3)/(-6))/(12/672). Is 27 greater than h?
False
Let p be 34839/(-1653) + (-231)/(-11). Which is smaller: p or 1?
p
Let c = 3713623/17 - 218351. Which is smaller: 97 or c?
97
Suppose 4*v = -3*u + 5*u + 36, 4*v - 10 = u. Is u != -183/7?
True
Let y = -331.5 - 99.5. Let k = 470 + y. Which is bigger: -2 or k?
k
Let z(i) = 1 + 8 - 3*i - 22 + 6. Let v be z(-4). Suppose -110 = v*x - 0*x. Which is greater: x or -20?
-20
Let f = 53 + -55. Let u be f/3*99/(-11). Let w be 1/u*(-2 + (3 - 4)). Is w at least 17?
False
Let f be ((-15)/(-10))/((-6)/(-20)). Suppose -2*r + 29 = 5*s - 1, 10 = f*s - 2*r. Let c be ((-16)/(-10))/s + -1 + 0. Which is smaller: -2/5 or c?
c
Let v be -10 - (-1312 - (4 + -4)) - 9. Is -2/5 equal to v?
False
Let q be (6 - 150/24) + (-317)/(-4). Suppose 2*o - 4*o - 4*o = 0. Let n(d) = d + 80. Let z be n(o). Which is bigger: q or z?
z
Let m = 187/9 + -21. Let j = -95.2013 + 0.0413. Let c = j + 95. Is m less than c?
True
Let p be 132/1760*(-24)/846. Which is smaller: p or 0?
p
Let u = -25 - -39. Let c(z) = -4*z**3 - 16*z - 17. Let w be c(-1). Does u = w?
False
Let w be (-6)/(-27) - (-74)/72 - (-114304)/(-1536). Which is greater: w or 2/3?
2/3
Let j be 782087/(-201) + (-35)/(-7). Let r = j + 3886. Which is smaller: 0 or r?
0
Let g(j) = -7518*j**2 - 233*j + 234. Let q be g(1). Is q at most as big as -7518?
False
Let o = 341 - 345.9. Let p = o - -4.8. Which is bigger: -28 or p?
p
Let o = -504 + 505.14. Is 3/8 bigger than o?
False
Suppose -q + 5*n = -17, 2*q - 2*n - 11 = -1. Let l be 0/(-4)*(-1)/q. Let t be (l/(-2) - 3)/(2/2). Which is smaller: 3 or t?
t
Let n be (-24)/(-90)*9/228. Let c(y) = y**2 - 3*y + 5. Let w be c(3). Suppose -5*v - w*x - 5 = -0*v, 3*v = -5*x - 7. Which is bigger: n or v?
v
Let l = -7 + 9. Suppose 4*z - 6 = 3*c + z, -l*c - 3*z = 24. Let s(g) = -5*g - 34. Let m be s(c). Is m != -3?
True
Let c = -27.9 + 28. Suppose 0 = 211*o - 212*o + 66. Let j = o + -52. Which is smaller: j or c?
c
Let q(y) = 139*y**3 - 138*y**3 + 25*y + 8 + 13*y - 27*y**2. Let i be q(25). Is -293 < i?
True
Let w = 55 - 154. Let k(h) = -29661*h - 100. Let z be k(0). Is w <= z?
False
Let i = 155.15 - 154. Let o = i + -1.55. Which is smaller: o or 13?
o
Let d = 42.54 - 42.64. Which is bigger: d or 0.6456?
0.6456
Let k be 8064/(-720)*(5 - 1 - 9). Let x = -128 - -180. Is k greater than or equal to x?
True
Let j(p) = -47*p + 1590. Let t be j(36). Is t greater than -102?
False
Let p = 10 - 9.78. Let h = 1004 - 1004.02. Which is smaller: p or h?
h
Let x = 1596.084 + -1542. Let w = -0.084 + x. Let f = -54.5 + w. Which is smaller: f or -0.12?
f
Let y = 67 - 65. Let l be y/16 - (-10 + 38577/3784). Which is smaller: l or -1?
-1
Let l = -8937.627 + 8938. Which is smaller: l or 0.02?
0.02
Suppose 0 = 12*f - 13*f - 1. Let m be (10/2500)/(3/(-6)). Which is smaller: m or f?
f
Let u be (110149/89577 - (-2)/(-9)) + -1. Is 0 smaller than u?
True
Suppose 5*n - 1124 = -3*j, 8*j + 688 = 3*n + 3*j. Let h be (18/27)/(0 + n/(-6)). Are 2/7 and h unequal?
True
Let d(l) be the third derivative of -l**4/8 - 8*l**3/3 - 45*l**2. Let w be d(8). Suppose 5*r + 123 = 2*r. Does r = w?
False
Suppose 9803 - 38220 = -324*u + 8195. Is u at most 337/3?
False
Suppose 0 = 2*v - 5*s + 1745, -5*v + 2*s - 3085 - 1246 = 0. Which is smaller: v or -867?
-867
Let v(y) = -y**2 - 45*y - 108. Let i be v(-42). Suppose -o = -4*h + 90, -23*o + 4*h - 370 = -i*o. Which is smaller: -208/3 or o?
o
Let m = -278 + 294.6. Let w = -23.6 + m. Are 20 and w unequal?
True
Let l be ((-22)/26 - -1) + 4/(-26). Suppose 118*c - 107*c + 5049 = l. Is c <= -458?
True
Suppose -168 = -10*t - 48. Suppose -594 = -b + t*b. Which is smaller: -55 or b?
-55
Suppose y = -3*y + 8. Let c be (y - (0 + 7)) + 2. Is c less than -2?
True
Suppose -21*m = -22*m + 180. Let i be 6 - 1*m/6. Which is greater: i or -176/7?
i
Let a = 454302.03 - 454302. Let m = 0.06 - 0.096. Which is greater: a or m?
a
Let s be 9/(-4)*((-16 - -8) + (-172)/(-24)). Suppose 0 = p - 3*p + 2. Which is smaller: s or p?
p
Suppose -145*m = -266195 - 962970. Which is bigger: m or 8478?
8478
Let g be 1*5 - (-2176)/(-476). Let t = -25.6 + 27. Let f = -0.9 + t. Which is bigger: f or g?
f
Let w = 133196/10387767 - 1/532706. Let n(t) = t. Let j be n(0). Which is smaller: w or j?
j
Suppose 37 - 9 = 14*o. Suppose o = 58*j - 60*j. Is -3/109 at most as big as j?
False
Let p(x) = -25*x + 2131. Let s be p(107). Is -544 >= s?
True
Let i(l) = -2*l**3 + 8*l**2 - 4*l + 3. Let p be i(3). Suppose -6*d - 12 = -p*d. Suppose -3*y - d = -2*y. Is -5 less than or equal to y?
True
Let j be 1/(-4) + (-6062)/(-56). Suppose -107*p = -113*p + j. Which is bigger: p or 5?
p
Let r be 5*((-20)/(-28) - (-12)/42). Suppose -2*t - 3*j + 23 = 0, 4*t + r*j - 48 + 7 = 0. Are t and 4 equal?
True
Suppose -2*i + 5092 = -4*n, 14*n = -4*i + 12*n + 10214. Suppose 24*j - 2*j + i = 0. Is -117 <= j?
True
Let j(s) = s**3 - 11*s**2 - 3*s + 42. Let d be j(11). Suppose -c = -2*f - d + 45, 5*c = -4*f + 86. Are f and 19 non-equal?
False
Let u be (70/32 - 2)/(15/71270). Let l = -32009/36 + u. Let w = 1/72 + l. Is w >= 2?
False
Let k = -0.2 + 0.1. Let d = 1.508 - 1.59. Let f = d - -0.122. Is k equal to f?
False
Let m = 294 + -184. Let k = -120 + m. Let c be k + 11 + (-10)/34. Which is greater: 0 or c?
c
Let n be 2/(-3) + (-34)/3. Let c be (2/30)/((-3)/n). Let r be (2 - (1 - 2)) + 3 + -5. Do r and c have different values?
True
Let m = 4016 + -4013. Is m equal to -4?
False
Let i be ((-24)/(-15) - 2) + 1384/(-40). Suppose 78*r + 825 + 2139 = 0. Is i greater than or equal to r?
True
Let c be (-50)/13460*(-3)/(120/32). Is c greater than 0?
True
Let c = -0.7229 - -3.7229. Which is smaller: c or 221?
c
Let z be (-27)/72 - 105/(-24). Suppose 4*h + 1 = z*w + 13, -w = -4*h + 3. Is 7/79 < h?
False
Let a(l) = -l**3 - 43*l**2 + 81*l - 590. Let d be a(-45). Which is greater: -201 or d?
d
Let j = -533 + 17585/33. Let a be (-34)/(-22) + 3 - 2. Let h = a - j. Which is greater: h or 2?
h
Suppose -621 = -2*q - 463. Let r = -11 + 10. Is q > r?
True
Let z = -3001 + 123049/41. Suppose 135 - 135 = -8*x. Is x bigger than z?
False
Let w = 1693 + -2968. Which is smaller: -1/2 or w?
w
Let t be 3/9 + 2/(-9)*6 + -3. Let g be ((-1)/14)/((-3)/(-108)). Which is smaller: g or t?
t
Let w(f) = -4*f + 14. Let m be w(3). Suppose -7 = -m*c - 5. Suppose 2*d + 3 = c. Are -63 and d unequal?
True
Let g = 1277284122/691031 - 159876/5711. Let p = 9818476/7139 - g. Let b = -445 - p. Do 0.1 and b have the same value?
False
Let z(u) = 120*u + 11523. Let l be z(-95). Is l greater than 125?
False
Let q(a) = a**3 + 14*a**2 + 5*a - 21. Let i be q(-10). Suppose -5*p - 218 = -3*m, -p + 0*p + i = 4*m. Let