 -0.2 + -0.1. Is q bigger than r?
True
Let n be 64/(-36)*(-45)/335. Which is bigger: n or 1?
1
Let q(c) = -4*c**3 + 22*c**2 + 12*c + 14. Let a be q(6). Which is bigger: -1 or a?
a
Let f be (0 - 6) + (2818555/(-114) - 20/24). Which is smaller: -24732 or f?
-24732
Let p be ((-27579)/5)/(-1) + (-40)/(-200). Let n be 1 + (p/(-917) - -5). Which is bigger: n or 1?
1
Suppose -6*f = 5 - 17. Suppose 37*a - 36*a + f = 0. Which is smaller: a or -11/4?
-11/4
Let c be (-38142)/48 + (-270)/720. Are -2381/3 and c nonequal?
True
Let h = 32 - 34. Let o be (17/102)/(h/(-20)*-3). Suppose 8*p + 2 = 6*p. Which is greater: o or p?
o
Let a be -2 + (0 - (-26)/2). Suppose 0 = k + 13 - a. Let q be 13 - (-1)/(k/(-4)). Is 15 at most q?
True
Let c be 170401/49 + ((-320)/(-70))/(-8). Which is greater: c or 3474?
c
Let u be (-14 - 21784/(-84))/((-82)/9). Which is smaller: -28 or u?
-28
Suppose 38*j = 46*j - 568. Let f = 65 - j. Which is smaller: 4 or f?
f
Let z = 21/785 + -4114/7065. Which is smaller: 28.3 or z?
z
Let f(o) = 36*o - 41*o**3 - 9*o**2 + 18*o**3 + 7 + 22*o**3. Let z be f(-12). Suppose 0 = -4*m - 3*s, m + z*s - 4*s - 9 = 0. Is m greater than -18/11?
False
Suppose -3*t + 5*t = -214. Suppose -119*z - 54484 = 145*z + 250*z. Are z and t equal?
False
Let f = 1474.8 - 1298. Let q = f + -177. Which is smaller: -25 or q?
-25
Let d = 4480 - 4044. Is d > -0.1?
True
Suppose 13*n = 23 - 36. Which is smaller: -4/545 or n?
n
Let r = 7827645/761 - 10286. Is 1 at least as big as r?
True
Let q = -0.73189 + 0.11589. Are q and 1 equal?
False
Let o(m) = -m + 15. Suppose -2*y = 10*y - 180. Let z be o(y). Is z != 9/34?
True
Let w(y) = -844*y - 99. Let q be w(29). Let v be 6/(-75) + (-2016)/q. Is v greater than or equal to 1?
False
Let f = -1917/5 + 5746/15. Are f and -96.2 unequal?
True
Suppose -33*o = 16 - 214. Which is bigger: o or 0.286?
o
Let r = 278 - 278. Let f = -12 + 10. Let z = f + 0. Which is greater: r or z?
r
Suppose 100*o + 33*o = 5*o - 5760. Which is smaller: -320/7 or o?
-320/7
Suppose -5*b + 6495 = -4*n, 2*b + 241*n = 237*n + 2598. Which is smaller: 1302 or b?
b
Let w = -17292 - -1037543/60. Let h = 21/20 - w. Let y(o) = 12*o + 4. Let r be y(-7). Which is smaller: r or h?
r
Let r = -0.2 - -1.2. Let p = -14484 + 14584. Which is smaller: r or p?
r
Let m be -3 + (-467)/157 + 177/59 + 3. Is 0 greater than m?
False
Let n(u) be the second derivative of -u**5/20 - u**4 - 6*u**3 + 3*u**2 - 42*u. Let l be n(-6). Let q(j) = -2*j - 10. Let r be q(-8). Are r and l non-equal?
False
Let a(v) = 155*v - 1241. Let p be a(8). Which is smaller: p or 3/340?
p
Let f = 4 + -3. Let t = 16424 + -16442. Which is smaller: f or t?
t
Suppose 526 + 542 = 2*n. Let d = n - 27236/51. Which is greater: 6 or d?
6
Let d = -297306643/38961 - -282318/37. Let q = d - -64/81. Which is greater: q or -1?
q
Let g = -70 - -299. Let o = 226 - g. Does o = 0.032?
False
Let j = 143648/15 - 9502. Which is greater: j or 75?
75
Let u = 12520 + -12325. Suppose -5*g + 965 = 5*l, 3*g - 977 = -5*l + 4*g. Is l greater than u?
False
Let f = 21.2 - 23. Let g = f - -1.5. Let a = 9.5 + -9.4. Is g equal to a?
False
Let l be 96*4/(0 + -4). Let g = l + 93. Let o be (12/g)/(-48)*-3 - 2. Is o >= -1?
False
Let j = -3086 - -1114047/361. Does j = 1?
False
Let j = -0.117 + 0.064. Let g = -0.153 - j. Let l be (-15)/297*(-4)/10. Which is bigger: g or l?
l
Let w(q) be the second derivative of -q**5/20 - 3*q**4/4 - q**3 + 11*q**2/2 - 15*q. Let c be w(-8). Let k be -5*7/c*(-36)/21. Is k <= -16?
False
Let o be (-2 + 1 - 282)/(-1). Let x = o - 282. Which is smaller: x or -2/149?
-2/149
Suppose l - 5*m + 19 - 3 = 0, 0 = -5*l - 3*m + 32. Suppose a - 3*h = 13 + 11, l*a = -2*h + 82. Is a greater than 18?
True
Suppose 0 = -179*v + 227 + 131. Are 19/9 and v equal?
False
Suppose -63*o + 64*o = 88. Let n = 90 - o. Let z be ((-16)/(-14))/(39/91). Which is smaller: z or n?
n
Let y be 1/(-1) - (0 + 3 + -4). Let u be y*(-3 + 5/2). Is -4/85 at most as big as u?
True
Let v be ((-970)/(-2))/(-49 + 50). Let x = v - 5336/11. Let l be ((-1)/1)/(2 + -1). Is x less than l?
False
Let r = 200 + -269. Let d be r/161*1*-7 - 2. Is d >= 1/227?
True
Let y(w) = -2*w**2 - 29*w - 10. Let i be y(-14). Suppose 5*s + 13 = -3*j, -1 = 3*j - i*j + s. Let o be 4/14*1/13. Do j and o have different values?
True
Let v be 0 + 5 + -438 - (-9 + 2). Let w be 8960/(-21) + 2/(-6). Does v = w?
False
Suppose -19 = -h + 5*v, 6*v - 7*v - 11 = 7*h. Let w be (-5 + 1)*(-6)/(-4). Let d be ((-36)/w - 2)/(-1 + h). Which is bigger: d or -2/7?
-2/7
Suppose 0 = 3*l - 4*u + 7751, l + 5*u + 3530 - 940 = 0. Is -2584 less than l?
False
Let r(j) = j**3 + 12*j**2 - 21*j - 22. Let c be r(-14). Let x be (15/6 - 2)*c/(-12). Suppose 2 = -s + x. Which is bigger: s or 11/4?
s
Let w = 11808 + -11806.1. Is 921 at most as big as w?
False
Let i be (-67)/8 + (-48)/(-128). Let z be 3048/16*i/(-6). Which is smaller: 253 or z?
253
Let g = 543 - 989. Let t = g - -509. Which is smaller: t or 2/9?
2/9
Let g = -257 + 257. Let q = 1.286 + 254.714. Is g smaller than q?
True
Let f be (-6 + 112/14)/(33/(-9) - -3). Which is smaller: 0.201 or f?
f
Let s = -475971/175 + 19038/7. Which is smaller: -1/28 or s?
s
Let j = 16297 + -6429. Is j != 9868?
False
Let j be -3*1/(12/40). Let r be 16/j + (-17 - -14). Let u be (-1)/(-3 - 16/(-5)). Is r greater than or equal to u?
True
Let o(l) = -l**3 - 3*l**2 - 3*l - 3. Let w be o(-3). Let s be (-50)/w*(-296)/552. Let r = s + -90/23. Does r = 0?
False
Suppose 195 = 20*f + 55. Suppose 2*x + 2 - 8 = 0. Suppose -x*y = y - 36. Which is greater: y or f?
y
Let x = -11956 + 11217. Is x at least -1?
False
Suppose -38886 = 2*c - 46608. Which is smaller: 3860 or c?
3860
Let k(o) = -o**3 + 38*o**2 - 2*o + 93. Let r be k(38). Suppose 0 = -14*f + r*f + 390. Which is greater: f or -1?
-1
Suppose -3564 = -54*o - 108*o. Let y = 7 + -5. Let c be (1 + 0)*2/y. Which is smaller: c or o?
c
Let a be 0 - (-18292)/7 - 2. Let z = -2624 + a. Which is smaller: -14 or z?
-14
Let z = -911 + 1003. Let n = 89 + 3. Are z and n equal?
True
Suppose 6*d - 3*d = -6. Let s be (-21)/(-4) + d/(-8). Let u = 237 + -236. Which is bigger: s or u?
s
Let c = -21.9351 - 0.0649. Let d = -21.372 + -0.528. Let b = d - c. Are b and -21 unequal?
True
Suppose 0 = t - z - 160, 3*t - 2*z - 543 = -61. Suppose -20*d + 22*d = t. Are 82 and d equal?
False
Suppose -5 = j, 9*h - 14*h + 4*j = -85. Suppose 0 = 5*d - 3*p + 19, -4*p + 33 = -4*d + h. Which is greater: -26/17 or d?
-26/17
Suppose -9*r + 604 = -422. Suppose 0 = 5*q - 114 + r. Which is smaller: q or -63/5?
-63/5
Let h be 9*1 - (-1 + 1). Let t(q) = -3*q + 55. Suppose -297*w + 286*w = -176. Let l be t(w). Is l smaller than h?
True
Let y be 30/4*(-29206)/4295. Let f = -33 + -19. Do y and f have different values?
True
Let d be (-4)/2 + 1 + 1. Suppose 3*b - 2 - 4 = d. Let i = 340187 - 340163. Is i less than b?
False
Let i = -14 + 1. Let n(o) = -o**3 - 13*o**2 - 11*o - 4. Let j be n(-12). Let x be 3 + -1 + j + 0/(-5). Which is greater: x or i?
i
Let u = -6981/810385 - 55638490071112/26742705. Let z = -2080358 - u. Let f = 153 - z. Is f at least -1?
True
Suppose 0*q = -5*q - 4*q. Let n be 37 - 39 - 71/(-37). Is q smaller than n?
False
Let h be 8/(-60) - 1254/45. Let i be 14/35 - h/80. Suppose -2*o - 3 = -4*a + 1, 0 = -2*o - 5*a + 5. Is i at least o?
True
Let z(h) = 2*h**3 - 35*h**2 + 17*h + 28. Let b be z(17). Suppose 16*q - b = 23*q. Let p = -1 + 0.96. Which is smaller: p or q?
q
Let l be ((-8)/12)/(4/3). Let d be -3*3 + (-7146)/(-396) + -9. Which is bigger: l or d?
d
Let q be (18/108)/(198/27). Do q and -2/5 have the same value?
False
Let a(u) = -u**3 - 3*u**2 - u. Let i be a(-3). Let b = 58 + -54. Suppose 4*s = -b*z, 0*z + 12 = -s + i*z. Is s not equal to -2?
True
Let i be ((-27)/243)/(4 - 35/9). Is 4/1551 equal to i?
False
Let x be (-2 - 21/(-15)) + 42/(-5). Let v(f) = -10*f - 1. Let k be v(x). Suppose -4*h = k + 63. Do -38 and h have different values?
False
Let q(l) = -14*l + 50. Let j be q(5). Let c(f) = f**2 + 17*f - 46. Let t be c(j). Which is greater: 16 or t?
16
Suppose -3*i + 42 - 27 = 0, 1536 = 3*h + 3*i. Does h = 502?
False
Suppose -199 + 79 = -15*k. Let a(i) = 8*i + 79. Let r be a(-10). Is k at most as big as r?
False
Suppose 5*a = 4*t - 12, t + 26 = -4*a + 8. Let k be 10 + (-9)/7 