be (-178)/(6/(-39)*-13). Is 7 > f?
True
Let q = -12406 - -12405.44. Which is smaller: 79 or q?
q
Let m(v) = -v**2 - v - 41 + v**3 - 24*v**2 + 20*v**2. Let q be m(6). Which is smaller: q or -21/2?
q
Suppose 5*z - 209 = -q - 188, 3*z - 13 = -q. Which is smaller: -108 or z?
-108
Suppose -647939*r - 18176 = -647868*r. Suppose 0 = -5*f - 341 - 934. Which is bigger: r or f?
f
Suppose 5*y + 20 - 45 = 0. Suppose -1115 = -5*r + y*d + 2595, 3*d - 2214 = -3*r. Is 740 greater than r?
False
Let o = 245.26 + -277.8. Let y = 32 + o. Let l = -0.54 - y. Does 4.4 = l?
False
Suppose -x = c - 2, 409 = 3*c + 5*x + 401. Is c smaller than -11/658?
False
Let k = -634 - -633. Let z be (-4 - (k - 1)) + 13968/(-16). Is z at least -875?
True
Let b be ((-3)/2 - 0)*10/(-3). Let z be (-8)/1*(95/20 - b). Let v be (7 + 2/z)/(54 + -53). Does 1 = v?
False
Let x = -13 - -15. Suppose t = x*u + 7, 3*t - 11 - 3 = -u. Which is smaller: u or 5/47?
u
Let m = 19.799 - 22.3. Let y = -0.561 + m. Let q = y - -0.062. Is 1 less than or equal to q?
False
Let z be 19 - (8 - ((-60)/24)/(5/4)). Let q = -831/88 - -157/8. Which is smaller: z or q?
z
Let s = 10.985 + 0.015. Let p be 54 + 2/(-8)*0. Let f = 52 - p. Is f < s?
True
Suppose -3*j = 2*j. Suppose j = 2*o - 3*o. Let i = -484 + 3865/8. Which is smaller: o or i?
i
Let s(t) = t**3 - 6*t**2 + 4*t + 5. Let c be s(5). Suppose -n + 0*n + 60 = c. Let o = -57 + n. Is 5 greater than or equal to o?
True
Let z = 23/4 + -6. Suppose -3*b - 42 = 5*f + 4, f + 12 = -2*b. Is z at most f?
False
Let t = 3739 - 33647/9. Are -128 and t non-equal?
True
Let m = 15218 - 1521689/100. Is m less than or equal to 1?
False
Let k = -160813/76 - -2116. Let i = k - -371/228. Which is greater: 1 or i?
i
Let f be ((-3)/(-10)*-4)/(1/(-20)). Let g = 132 - 47. Let j = g + -60. Which is smaller: f or j?
f
Let f = -4.53 - -2.041. Let w = f + -0.011. Let u = 2.4 + w. Which is bigger: u or -1/4?
u
Let v = 889.4 + -884.5. Do v and 98 have the same value?
False
Suppose 2*d + 17 = 5*s + 15, d - s = -1. Is d > 0?
False
Let v = -51 + 102. Let z be 2*7/((-28)/(-102)). Is v not equal to z?
False
Let x = -6709 - -6139. Is -579 less than x?
True
Let u(c) = c - 4. Let i be u(5). Let k = 1/6769 - 135383/20307. Which is bigger: i or k?
i
Suppose 748*q - 769*q = -126483. Suppose 30 = -6013*a + q*a. Let j = -1 - -1.1. Is a less than or equal to j?
False
Suppose -14*q + 16*q + 64 = 0. Let u = q + 29. Let v be (u + 5)*(1 + 19/(-2)). Is -15 at least v?
True
Suppose 370*s - 593463 = 140247. Which is greater: 1981 or s?
s
Suppose 81*a = -8*a. Is a greater than 5/691?
False
Let r = -388.45663 + -0.45337. Let v = r - -389. Which is greater: 21 or v?
21
Let q be 5 + (-28)/20 + (-4)/(-10). Let v be (-28 - (-2 - 0)) + q. Let j = -22 - v. Which is smaller: 2/5 or j?
j
Let d be 4/10 + 7/(-5). Let z = 1023 - 1026. Is d at least z?
True
Let o = 563 + -586.3. Let u = 97 + -91.3. Let h = u - o. Is h <= 1/3?
False
Let k = -2/3423 + -3413/17115. Is 909 at most k?
False
Let u = 131 + -76. Let d = u - 54.7. Which is smaller: d or -1?
-1
Let s(f) = -f**3 + 6*f**2 + 6*f - 11. Suppose 0*b = -b + 6. Let l be s(b). Let v be (-9)/(-12) + (l/4 - 2). Is 5 at most v?
True
Let u = 2.8267 - 5.8718. Let a = -0.0451 - u. Let f be (-1)/(-5) - (-2)/(-4). Do a and f have different values?
True
Let q(i) = i**2 - 659*i + 3954. Let z be q(6). Which is bigger: 11 or z?
z
Let i = -75 + 101. Let s = 115 + -99. Which is greater: s or i?
i
Let l = 0.4 - 0.2. Let j = -2006 + 2029. Is l at most j?
True
Let j = 254 + -206. Suppose 0 = -62*k + j*k - 14. Which is bigger: 278 or k?
278
Suppose 21*o + 18 - 123 = 0. Suppose 0 = z - o*c + 83, 125 = 4*z - 3*c + 389. Which is smaller: z or -67?
-67
Let y be 18/(-252) - (-159601)/(-182). Is -874 less than or equal to y?
False
Let i = -8.44 - -8.44. Let g = -78.1 + 75. Let q = g - -12.1. Which is smaller: q or i?
i
Suppose 71*i + 1780 + 20727 = 0. Which is greater: -324 or i?
i
Let o = 79 + -79.0191. Let t = o - 0.2809. Which is greater: t or -4.8?
t
Suppose -33*b + 30*b + x + 270 = 0, x + 452 = 5*b. Suppose -4*y = -4*p - 268, -p - 24 = -2*y + 39. Let z = p + b. Is 18 smaller than z?
True
Suppose 313*a + 9 = 322*a. Let n(u) = 72*u + 10. Let y be n(-5). Let k be y/28*(-2)/70. Which is greater: k or a?
a
Let f = 594 + -590. Are f and -62 non-equal?
True
Let r = 166/11 + -2312/143. Suppose -41 - 129 = 10*a. Let q = -19 - a. Which is greater: r or q?
r
Suppose -r = -4*q + 5377, 0 = 2*q + 90*r - 92*r - 2696. Is 1344 at least q?
True
Let x = -99 - -68. Let b = 95 + -18. Suppose 4*r - 4*q = -124, 2*q - 84 = 5*r + b. Is r != x?
True
Let a = 140539/4 - 35382. Is -247 greater than a?
True
Suppose -10*f + 51 = -27*f. Let w be f + 58/10 - (0 + 3). Which is greater: -68 or w?
w
Let t = -1134 + 1014929/895. Which is smaller: 1 or t?
t
Suppose 5*q - 20 = -4*v, v = 3*q - 1 + 6. Suppose q = 42*z - 36*z - 270. Is z > 45?
False
Let h(o) = o**2 - 17*o + 18. Suppose 5*y - 72 - 8 = 0. Let k be h(y). Suppose 4 = -k*u + 6. Which is smaller: u or 11/9?
u
Let z = -0.23 + 0.03. Let j = -0.127 + 0.021. Let b = 2.106 + j. Which is smaller: z or b?
z
Let u(l) be the first derivative of -l**4/4 - 7*l**3/3 + 11*l**2/2 + 11*l - 10. Let y be u(-7). Let w = 79 + y. Which is bigger: 1/4 or w?
w
Let n be (229 + -7)*(-5 + 708/140) - -2. Is n < 16?
True
Let q = -108 - -42. Let x = -327 - -158. Let p = x - -170. Is p at most q?
False
Let z = 56839 - 285843333/5029. Is 1 greater than or equal to z?
True
Let x be (6/216*9)/(4422/(-77)). Is 1 < x?
False
Let m = 8420 + -23313. Let v be (-53)/m + 2/(-2)*0. Which is smaller: 1 or v?
v
Suppose 0 = n - 0*n - 25. Suppose 52 = 36*c - 20. Suppose -6 - 48 = -c*m. Is n less than m?
True
Let i = -2/38863 - 155278/3381081. Suppose 0 = -4*h + h. Which is smaller: h or i?
i
Let l(j) be the third derivative of j**5/60 + 5*j**4/6 + 13*j**3/3 - 215*j**2. Let t be l(-21). Which is smaller: 91/2 or t?
91/2
Let z = -419/90 - -53/30. Suppose -5 = -4*n + 3. Let k(h) = -3*h + 4. Let f be k(n). Which is greater: z or f?
f
Suppose 4*q - 59 = -15. Let f = 3506/21 + -467/3. Which is greater: f or q?
f
Suppose -4*j + 0*q - q = -25, -5*j + 4*q = -26. Let b be (-2)/12 + (-851)/222. Let p be b*(3 - 0)*(-1)/4. Which is smaller: j or p?
p
Suppose 13 = -1107*m + 1094*m. Is m >= -14/73?
False
Let q = 7/1935 + -8077/1162935. Which is smaller: q or 0?
q
Let u be 3/(-8)*(-15)/156660*-14. Do 0 and u have the same value?
False
Suppose -j + 5*w = 13, -6*w - 25 = 5*j - 11*w. Let k be (-144)/10*j/(-3 - -9). Which is bigger: -2/5 or k?
k
Let z be (205/10)/(-4*4/(-32)). Suppose -z*r + 39*r = -10. Let l be 1392/216 - 1*2. Which is smaller: r or l?
l
Suppose 1305 = 6*p - 3*p - l, 0 = p + 2*l - 428. Is p less than 434?
False
Suppose -6*g + 5*k + 135 = 0, -2*g - 10 = -k - 57. Suppose -11 - 11 = -b. Let s be b*(1 + 0 + 0). Which is greater: s or g?
g
Let d be ((-2)/(-1))/(19/(-25498)). Let r = d + 13467/5. Which is greater: 8 or r?
r
Let d = -6677 - -6676. Let z(l) = l**2 - l + 201. Let p be z(0). Is p < d?
False
Let l(o) = -6*o**2 - 5*o - 12. Let d be l(-6). Let g = 197 + d. Does -7/22 = g?
False
Suppose b + j - 121 = -3*b, -4*b + 3*j = -101. Let a = 108 - 97. Suppose 159 + 138 = a*o. Is b smaller than o?
False
Suppose 3*p + 2*d - 2 = -p, p - 2*d - 8 = 0. Suppose -y + 16 = -4*a, p*a - 35 = -5*y + 1. Let k be (-13 - -1)*26/y. Is k < -39?
False
Let r = -25.13 - -1.13. Let g = r + 24.1. Let u = 9.7 + -5.7. Is g greater than or equal to u?
False
Let q(j) = 3*j**2 + 9*j - 7. Let c be q(3). Let g = c - 47. Which is bigger: g or 2/239?
2/239
Let x be (-249)/120 - (-3 - -1). Let c = x - 1/8. Suppose -2*l + 6 = -4*g, -34 = -5*g - 5*l - 4. Is g at most as big as c?
False
Let b = 1949 - 748. Do b and 1203 have different values?
True
Let i = -83570855/2841 + 29416. Which is greater: i or 5/3?
5/3
Let z = 331.9 + -319. Which is bigger: z or 0.11?
z
Let l(k) = 4*k**3 - 2*k. Let g be l(-2). Let m = 75 + g. Suppose -5*y + 4*c = m, 0 = -4*c + 8 + 4. Is -2 smaller than y?
False
Let u be (14 + -15)/(-4 + 165/40). Suppose -7 = 2*a - a. Let k = u - a. Is k greater than 0.29?
False
Suppose -4*d = -r + 144, 0 = 2*d - 5*d + 2*r - 108. Let h be 12/d + 5*46/726. Do 1 and h have the same value?
False
Let k be (-82917)/(-41292)*8/6. Is 4 not equal to k?
True
Let 