3 - 26177914654762/12925259991. Let f = -6076/3 - z. Let g = f + -509/16443. Is g < 1?
True
Let z(k) = -59*k + 117. Let f be z(2). Let q be 1*5 - (-8808)/(-1758). Is f > q?
False
Let s(t) = -t + 5. Let o be 4 + -2 + (-27)/(-9). Let j be s(o). Suppose j = -b - 5 + 5. Which is greater: -1 or b?
b
Let s = 7900 - 7682. Which is greater: s or 212?
s
Let d(h) = -10*h**3 - 63*h**2 - 14*h + 1. Let i be d(-6). Which is greater: i or 7?
7
Let t be (-8)/44 - (-117606)/(-550). Let y = -214 - t. Which is greater: y or -1?
y
Suppose 896 = -4*y - 4*y + 24*y. Is y smaller than 27?
False
Let y be 2/(-3 + 0 - (-3125)/935). Is 7 at least y?
True
Suppose -4*m - 2*m = -36. Let n(k) = 3*k - 25. Let d be n(m). Let o(b) = -b**3 - 6*b**2 + 8*b + 7. Let g be o(d). Which is greater: 1/32 or g?
1/32
Let r = 108485/18 - 6027. Is 4 at least as big as r?
True
Let f be 11709/(-45) - (-2)/10 - -1. Let y be (-734)/f - (-12)/21. Let x = y + -11792/3441. Is x equal to -1?
False
Let j = 0.031359 - 0.321359. Let h = -1.1 + 0.1. Is h < j?
True
Suppose -150*q = 9*q + 98 + 61. Which is smaller: -1/20110 or q?
q
Let q be -2 + (-100288)/(-70) + 8*(-9)/252. Is q at least as big as 1431?
False
Let z be ((-4)/(-3))/(3/(-9)). Let k = 0 - z. Let o be (-35)/25 - (-6)/k. Do 1 and o have different values?
True
Let y be 1640/(-24) - (6 + 6). Does y = -2/7?
False
Let o be (-9)/(-7) + (316/(-28) - -11). Let h = o - -25. Which is smaller: 27 or h?
h
Let l = 646 - 605.6. Let i = l - 29.4. Which is smaller: 0.03 or i?
0.03
Let u be 3 + 0 + 1 + -3. Let d = 83 - 40. Suppose 19*m + 24 = d. Do u and m have different values?
False
Let z = 273 + -271. Let g be z/3 + (-160)/105. Which is bigger: g or -1/4?
-1/4
Let k be 180/27*21/236. Which is bigger: k or 1?
1
Let f(j) = 6*j**3 - 2*j**2 - 8*j - 7. Let w be f(-1). Let d be ((-2)/(-12) - (-2015)/(-858)) + -6. Do d and w have different values?
True
Let i(b) = 5*b**2 + 3*b - 44. Let t be i(6). Suppose 43*k - t = 50*k. Let v = 2/10247 + -871003/40988. Is v smaller than k?
False
Let j be -88*(-20 + (-56148)/(-2808)). Which is smaller: j or 1?
j
Let n be 14 + (-630)/(-28) + -6. Let c = 108 - 76. Is c at most as big as n?
False
Let k = 6108 - 12287/2. Which is greater: k or -2?
-2
Let x = 15.4 - 67.4. Let o = 52.024 + x. Let j = -0.124 + o. Which is smaller: -0.008 or j?
j
Let u = 635.868 - 0.868. Let w = u - 623. Is w at most as big as 1/21?
False
Let y(t) = t**3 + 15*t**2 - 17*t - 16. Let l be y(-16). Suppose 13*h - 18*h + 35 = l. Is 4 less than h?
True
Suppose 5*i = 20, -7*x + 1200 = -12*x + 5*i. Does -241 = x?
False
Suppose -i + 4*i + 18 = 4*o, 0 = -o + 5*i + 13. Let k be 31 + 20/15*18/8. Suppose -5*j - k = -o*j. Which is greater: j or -15?
-15
Suppose 3*t - 74 = 4*t. Let m = -1065 + 1008. Let h = m - t. Is 17 <= h?
True
Let y be 2/(-5) + 574/10. Let k = -7 + y. Let l = 52 - k. Which is smaller: 4 or l?
l
Let o be (6*6/180)/(225675/(-125)). Which is smaller: o or -1?
-1
Let i = 49.18 + -49.56. Which is bigger: i or 136?
136
Let j be 845194/(-552) - 70/(-280). Let l = 1531 + j. Is l < -1?
False
Let y(k) = 5*k**2 + 1786*k + 8804. Let a be y(-5). Suppose 2*x = -2*x. Which is bigger: x or a?
x
Let a = -3312.582 + 7.582. Which is smaller: 0 or a?
a
Let s(v) = 11*v**2 + 12*v + 8. Let x(w) = 31*w**2 + 35*w + 24. Let y(u) = -17*s(u) + 6*x(u). Let c be y(8). Is -8 equal to c?
True
Suppose o = 0, 3 = -2*p + 2*o + 1. Let t = 184 + -164. Let d be ((-8)/t - 852/195) + 5. Which is smaller: d or p?
p
Suppose 13*w + 78 = -0*w. Let r be ((4 + -2)/2)/(27/w). Which is greater: r or 13?
13
Suppose -j = -f + 2*f - 40, -20 = -f + 4*j. Suppose 0 = -2*g - g - f. Suppose 0 = 2*q - 5*a + 18, -4*q - 2*a + 4*a = 36. Which is smaller: g or q?
g
Let j(i) = -53*i - 2226. Let p be j(-42). Which is bigger: -1/1236 or p?
p
Let u be (10/(-3))/((-7)/21). Let q be 41/5 + (0 - -2). Let f = u - q. Which is smaller: -1 or f?
-1
Let o = -2849311/23 - -123885. Let a be (2 - 9/4)*-4. Which is bigger: a or o?
o
Let z be (-4)/434*(-24)/432. Does -2/3 = z?
False
Let l = -12/701 - 21695/2103. Let i = -0.7 - -0.6. Is l less than or equal to i?
True
Let c = -1369 - -1370. Let p = 1444870/421 + -3432. Which is smaller: c or p?
p
Let z be 0 + (1 - 5) + -1186 + 1191. Is z < 1049.7?
True
Let d(i) = -2*i**2 + 2*i - 3. Let m(c) = -c**2 + c - 4. Let n(h) = -2*d(h) + 3*m(h). Let p be n(0). Let x be (1/(p/(-21)) + -3)*-2. Is x != -1/64?
True
Let v be (-930)/4*(3060/100 - 15). Is -3627 < v?
False
Let d(m) = 12*m**3 + 2*m + 1. Let c be d(-1). Let l = -80 - -84. Suppose 18 = -2*h + l*z, -h + 4*z = 2*h + 31. Is c less than or equal to h?
True
Let j = -199 + 355. Suppose -14*n + 1893 = -299 - 6. Is n <= j?
False
Let a(v) = -24*v - 728. Let k be a(-35). Is k at most as big as -2/169?
False
Let g be (220/(-80))/((-1)/(-4)). Let b(u) = u**2 + 12*u - 16. Let j be b(g). Is -26 at least as big as j?
True
Let d(g) = 2*g**2 - 87*g - 45. Let x be d(44). Let n be ((-9)/45)/((-1)/(-2) + x). Is n at most as big as -6/47?
False
Let h = -5141 - -5144. Which is bigger: 19 or h?
19
Let u = -21.141 - -24.141. Which is smaller: -185/9 or u?
-185/9
Let w = -1.18 - 18.58. Let m = w - -19.7. Is -0.1 equal to m?
False
Let f = 2361 + -791. Suppose 2*i - i = f. Let z be (i/(-395))/(-2) + -2. Is z bigger than -1?
True
Let g(w) be the third derivative of -w**5/60 + 5*w**4/3 - 50*w**3/3 + 8*w**2 + 3*w. Let z be g(38). Does -1/5 = z?
False
Suppose 102 = -8*u + 2*u. Let r = u + -5. Which is bigger: r or -20?
-20
Let k be (36/15)/(60/(-400)). Let z(b) be the first derivative of -2*b**2 - 33*b + 2. Let q be z(k). Do q and 31 have different values?
False
Let c be (-2)/(-5) - (-2065)/25. Let m(d) = 11*d + 240. Let k be m(-14). Which is bigger: c or k?
k
Let x be ((-6)/4)/((-12)/(-4080)). Does -508 = x?
False
Let q(r) be the first derivative of r**3/3 - 10*r**2 + 49. Let y be q(20). Suppose y*h - 228 = 4*h. Which is smaller: h or -56?
h
Suppose -44*y + 104 = -28. Does -79 = y?
False
Let y be (-6)/9 + (-8)/6. Let a = -40 + 44. Suppose -12 = -a*d - 0*d + 4*q, q - 1 = 0. Is d less than y?
False
Let n = -6495 + 6255. Which is greater: -247 or n?
n
Let r be (-68)/(-20) - 9/(-15). Suppose 3*v + r*z - 18 = 0, 3*z = -v + 2 + 4. Suppose -4*f + 4*u = -0*f - 16, 2*f - 28 = -3*u. Which is bigger: v or f?
f
Let a = -146 + 247. Let j = -665 + 765. Which is smaller: j or a?
j
Let h = 16 - 2. Let l be -6*(-2)/15*35/h. Suppose -b - 86 = -5*s + 6, -2*s = -l*b - 40. Are 18 and s unequal?
False
Let m be (6/(-2))/((-33)/(-935)). Let u be (-1*1)/((-1)/(-85)). Let y = u - m. Which is greater: 2/87 or y?
2/87
Suppose -177876 = 78*u + 3*u. Are u and -2196 unequal?
False
Let w = -158 - -157.801. Let a = 1.199 + w. Which is smaller: 2.58 or a?
a
Let a(q) = -16*q - 225. Let m be a(-14). Let f be (m - -4) + (2 - (-1972)/(-392)). Is f at least as big as 1?
False
Let g = 1456/85593 + 2/831. Let i be 4/3 + 6 + 4/6. Suppose -5*c - 9 - i = -3*m, -2*c - 4*m + 14 = 0. Is c smaller than g?
True
Let v = 236.7 - -8.3. Let k = v + -244.9. Suppose -5*q - 210 = 4*u - 3*q, -q = -2*u - 99. Which is bigger: k or u?
k
Let m = 1979.7 + -2075. Let z = m - -95. Is z at most as big as 0.04?
True
Let r(t) = t**3 - 7*t**2 + 8*t. Let b be r(6). Let s(f) = f**3 + 4*f**2 - 5*f - 1. Let h be s(-4). Let q be 16 - h/(76/24). Do b and q have the same value?
False
Let l(o) = 9*o**3 - 12*o**2 + 15*o - 40. Let s be l(3). Which is smaller: s or 161?
s
Suppose -3*s + 51*h + 571 = 46*h, 2*h - 386 = -2*s. Let c be (-18)/(-14) + 7 + -8. Which is smaller: c or s?
c
Let q = 29/3005 + 25551428/9015. Is 2833 at least q?
False
Suppose 16 = 8*n - 6*n. Let l be (24/20 - 2)*(-9 + -1). Is n equal to l?
True
Let u = -289 + 281. Let f be -5*(9630/(-13800) + (-6)/u). Is 1 > f?
True
Let m = -8917/68 - -508/17. Let w = m - -102. Which is smaller: w or 2?
w
Let p be (-12)/60 - (1 + 614/(-470)). Suppose z = v + 3, -3*v - 4 = z + 1. Which is smaller: p or z?
p
Let d = 2 + -8/5. Let g = 7468 - 7469. Which is greater: d or g?
d
Suppose -4*i - 43764 = 4*n, 11372 + 32416 = -4*i - n. Is i > -10949?
False
Let h be 83 + -487 - (-6)/1. Let z = 1214/3 + h. Is 8 smaller than z?
False
Let a = -18891 - -18883. Is 0.441 equal to a?
False
Let v(t) = 1786*t + 2351. Let l be v(-8). Is -11939 at most l?
True
Let u be (-4)/86*(0 + (-13)/(-65)). Supp