2121?
False
Let s = -66205/21 - -3153. Which is greater: s or 1?
1
Let o = -206 - -218.48. Let q = o - -5.52. Is q less than or equal to -4?
False
Let q(a) = -18*a + 5. Let u be q(0). Let d(j) = -9*j + 45. Let c be d(u). Is 3/46 at most c?
False
Let w = 8 + -9. Let l = 4802180/59 + -81393. Which is greater: w or l?
l
Let x be (-578)/(2/1) + 18/6. Let n = x + 285. Which is greater: n or 3/26?
3/26
Let m(i) = i**2 - 13*i + 15. Let t be m(11). Let b be 3/((-4)/564*-9). Let p = b + -54. Is p equal to t?
True
Let j(l) = l**3 - 9*l**2 + 50*l - 44. Let z be j(7). Which is greater: z or 211?
211
Let p = -0.0054 + 233.0054. Let a = 232.9 - p. Which is smaller: 5 or a?
a
Let m = -1340 + 1338. Let b = -0.06 - 8.94. Which is greater: m or b?
m
Let l = -645 + 686. Which is smaller: l or 44?
l
Let k be ((-518)/(-28))/(2/20). Let z = k - 104. Let u = z + -44. Which is bigger: u or 36?
u
Let y = -130 + 130. Suppose 0 = -y*d - 4*d - d. Which is smaller: -1/15 or d?
-1/15
Let c = 42887071/108465 - 2/21693. Is c greater than or equal to 396?
False
Let z be ((-10)/358)/(148 - 141). Which is bigger: 1 or z?
1
Let u(h) = 3*h - 1. Let a be u(3). Let v be 2 - (1 - -1 - a). Suppose 25*i = i + 192. Is i greater than or equal to v?
True
Suppose 81 = 3*m + 6*m. Suppose -m + 9 = 9*i. Which is smaller: i or 0.159?
i
Suppose -3 = 10*a + 6 + 1. Let t be 30/(-21) + 4/14. Is t less than a?
True
Suppose 3*r + 1825 = 4*i, 5 = i + 1. Let z = r - -207. Are z and -396 equal?
True
Let p = -126 - -128. Suppose 0 = 3*l - 6, -4*l = -p*s - 0*s - 2. Is 5 greater than s?
True
Let s = 8256.98 - 8257. Is -2/27 less than s?
True
Let o = -25.1 - -53.5. Let d = 28 - o. Which is greater: 0.22 or d?
0.22
Let w = -83 - -18. Let b be 1523/(-2555) - 39/w. Is b at most as big as 1?
True
Let u = -1459.3383 + 0.3383. Which is smaller: 2/9 or u?
u
Let l be (-13650739)/(-3745) + 19/5. Is l < 3648?
False
Let c be (-3438)/8*26/(-39) - (-6 - -1). Is c less than or equal to 293?
True
Let m(a) be the second derivative of -a**4/12 - 7*a**3/3 - 9*a**2/2 + 12*a. Let z be m(-11). Suppose 15*y + z = 12*y. Which is greater: y or -10?
y
Let o(m) = 2*m**2 + 6*m + 6. Let j be o(-5). Suppose 76 = -4*z + 2*p, -z - 9 = 8*p - 6*p. Let k = j + z. Which is smaller: 7 or k?
7
Let b(d) = d**2 - 5*d - 1. Let y be b(5). Let o = 5/269 - -184/4573. Which is bigger: o or y?
o
Let a(y) = 63*y**2 + 2*y + 23. Let s be a(1). Is s at least -77?
True
Let i(g) = -2*g**2 - 51*g + 666. Let u be i(-35). Is u at most as big as -457?
False
Suppose -2*l = d + 2600, -2*d = 31*l - 30*l + 1294. Which is bigger: -3/4 or l?
-3/4
Let k = -409 - -416. Let o be (0/(0 - 3))/(11 - k). Is o <= 5/116?
True
Let f(i) = 2*i**2 - 24*i + 3. Let h be f(12). Suppose 0 = h*v - v - 2. Suppose 3*b - v = -7. Do 1 and b have the same value?
False
Let k be (-1)/(-6) + 147/(-342). Let r = 5266 + -5265. Is k bigger than r?
False
Let m(r) be the first derivative of 4*r**2 + r - 82. Let f be m(-2). Let n = 34 - 49. Is n at least f?
True
Let r = -133 - -181. Let q be 1/(-2)*r/(-21). Is q > 1?
True
Let w be ((-4)/6)/((-60)/(-560)). Which is greater: w or -5?
-5
Suppose -2*j - 4*b + b + 14 = 0, -26 = -5*j - 3*b. Let p be (-7 + -1 + 14)/1. Let f be (j + (-21)/p)/(-13). Which is greater: 0 or f?
0
Suppose -2*u + 5*u + 3*k + 291 = 0, -2*u + 5*k - 236 = 0. Which is smaller: u or -133?
-133
Let q(y) = -y**3 - 8*y - 70. Let r be q(-7). Suppose r*s + 98 = 336*s. Let p = 2.8 + -3. Do s and p have different values?
True
Let g = 156.736 - 157. Let w = 0.164 + g. Which is smaller: -14 or w?
-14
Let o = -54878068/225 + 243902. Is 0 <= o?
False
Let m(d) = 3 + 2 - 16 + 6*d. Let v be m(10). Let a = v - 44. Is a at most 2?
False
Let q be -1*4/64*8. Let y = -148 - -59. Is y less than q?
True
Let t(n) = 12*n - 7. Let f be t(1). Suppose -3*s - f*m = 17, -2*s = -s + 4*m + 8. Is 5 less than s?
False
Let f(z) = -z**3 + 26*z**2 + 232*z + 9. Let k be f(-7). Which is greater: 35/38 or k?
k
Let g = 6275/4 + -32419/20. Suppose 5*o + 104 = 3*o. Which is smaller: o or g?
g
Let b = 255 - 258. Let o be (-1456)/840 + 0/(-2 - b). Which is smaller: o or -1?
o
Suppose 440 = 68*k - 76*k. Is k greater than -21?
False
Suppose -5*g = 2*g + 1470. Let l be (7/g)/(2 + (-14)/8). Is -0.19 not equal to l?
True
Let j = -0.22 + 0.2. Let u = 623.7 + -655. Let o = 40.3 + u. Which is smaller: o or j?
j
Let h = -23453737894/509855 + 230004/5. Is h greater than or equal to 1?
False
Let b be 12/96*-12 - 233/(-2). Suppose -15*j + b - 130 = 0. Which is bigger: 2/639 or j?
2/639
Let x(v) = v**2 - 5*v + 3. Let n be x(4). Let b(m) = 2*m**3 + 2*m**2 - 22*m + 20. Let d be b(-5). Do d and n have different values?
True
Let q = 13401 - 13363. Which is smaller: q or 84?
q
Let w = 371 - 362. Let b be 184/(-828) - 4/w. Are b and 2/85 non-equal?
True
Let r be (-16)/(-40)*(-15)/1449. Which is greater: r or 2?
2
Suppose 8*o - 12*o = 4*z, -42 = -2*z + 5*o. Let w = -772 + 3117/4. Is w not equal to z?
True
Suppose -9*w = 6*w - 736 + 2536. Which is smaller: -727/6 or w?
-727/6
Let k = 4957 + -4955. Let z(r) = r**3 + 7*r**2 + 6*r - 4. Let y be z(-5). Suppose m = 5*m + y. Are k and m nonequal?
True
Suppose 18*j - 57 = 231. Suppose -44*d - 28 = -j*d. Is 1.3 equal to d?
False
Let x = -6/6013 + -7131364/54117. Is x != -131?
True
Let p(j) = 5*j**2 + j - 10. Let l be p(-2). Suppose -l*d = -15*d. Which is bigger: 12 or d?
12
Let r = -45.6 - -204.6. Let t = r + -158.7. Which is smaller: 0.2 or t?
0.2
Let u(v) = -v + 6. Let t be u(-4). Suppose -13*i = -12*i + t. Let g = 0 - 9. Which is smaller: g or i?
i
Let a = -41 + 35. Let o be 26/a - 20/30. Let m be 1/o + 540/(-50). Which is smaller: 1 or m?
m
Let x(r) = 7*r**2 - 2*r + 16. Let t be x(4). Let w be (1/(-10))/(t/(-4950)). Is 3 at least w?
False
Let i = -11809 + 117829/10. Is -27 less than or equal to i?
True
Let a = 529.9 + -530. Let l = -39 - -79. Do a and l have different values?
True
Let j = -119/122 - -195071/198738. Which is smaller: -1 or j?
-1
Let s = -10 + 12. Let b be 8/(3 - 5/s). Suppose -b*d = -15*d - 1. Is d equal to -3?
False
Let f = 25940 - 26610. Is f smaller than -667?
True
Let l(m) = m**2 + 97*m + 1422. Let f be l(-79). Is f greater than -3/3694?
True
Let v(m) = m**2 + 5*m - 4. Let f be ((-45)/(-55))/1 - 4/(-22). Let r be v(f). Let y be (-15)/(-3) - (r + 0). Which is smaller: 19/5 or y?
y
Suppose 0 = 6*a - 2116 - 8768. Suppose -63*j = a + 1021. Which is greater: -46 or j?
j
Let k(i) = -i**3 - 167*i**2 - 8*i + 140. Let h be k(-167). Is h >= 1479?
False
Suppose 440*h - 4993 = 452*h + 23. Are -412 and h non-equal?
True
Let x = -13 + 7. Let a = 6 + x. Suppose 0 = -m + 6*u - u + 17, a = 2*m + 3*u + 31. Which is greater: m or -7?
-7
Let d = -596 + 681. Suppose 0 = 2*w + d - 49. Which is smaller: -124/7 or w?
w
Let k = 30.04 - 30. Let r = -75.02 - -76. Let u = -0.99 + r. Do k and u have the same value?
False
Let r be -2 + (-10)/(-6) + (-392778)/216. Let y = r + 1830. Let k be 6*(-10)/(-12)*2. Is k smaller than y?
True
Let v(h) = 36*h + 443. Let z be v(-13). Let i = -380953/11 - -34607. Let x = z - i. Is x greater than 1?
False
Let f(r) = 3*r**2 + 5*r + 8. Let d be f(-2). Let v be (-20)/5*d - 5. Is v <= -47?
False
Let n be 3/18 - 25/6. Let k be (-5 - n - -2) + 6. Let s = k + 4. Which is bigger: 12 or s?
12
Let y be (-6)/9*1*(-9)/2. Let r be 2*y - 5060/(-46). Is 117 less than or equal to r?
False
Let s be ((-9)/30)/(1 - 2/8). Which is smaller: 748 or s?
s
Let m = 5656 - 8296. Let c be (m/(-333))/4 - (-2 - -4). Suppose -2*z = -2*x - 12, -5*z + 6*x + 20 = 3*x. Which is greater: c or z?
z
Suppose j = 2*c - 21, 2*j + 5*c - 3 = -9. Suppose 27*f = 12*f + 3960. Let b = f + -277. Is b not equal to j?
False
Suppose 0 = 63*u + 15 + 63 - 15. Which is bigger: -11/2482 or u?
-11/2482
Suppose -6*r - 41 - 52 = -5*u, -103 = -5*u + r. Which is greater: u or 83/4?
u
Suppose 78*o - 372*o - 6537 = 1107. Let n be (-1)/(-4) + (-303)/12. Which is greater: o or n?
n
Let o be (6 - 3 - -1)/326. Let g(m) = -m**3 - 5*m**2 - 8*m - 4. Let a be g(-3). Let l be 1*(14/a)/(-7). Are l and o unequal?
True
Let v be (-660)/8550*-2579*50/(-9). Let l = -1106 - v. Which is smaller: -1 or l?
-1
Suppose -s + 5*n + 131 = 656, 3*s + 5*n = -1515. Let b = 404 + s. Which is greater: b or -108?
b
Let l be 12/(-20) + 526/10. Suppose 3*t + 1