v = 55 - 60. Let g(d) = 2*d**2 + 10*d + 3. Let r be g(v). Suppose j - 3*t = 6, -18 = -r*j - 0*t - 4*t. Do j and 8 have the same value?
False
Let w = -2 - -2. Let a = -432595/17 + 25447. Is w at most a?
True
Suppose 8*i + 24 = 12*i. Let n = i + -4. Let z be 1/n + (-2)/16. Is -1 at most z?
True
Let b(d) = d**3 + 2*d**2 - 14*d - 23. Let m be b(-4). Which is smaller: m or 2/10253?
2/10253
Let t = 2108 + -2107.82. Let w = 0.36 + 1.02. Let n = t - w. Is n less than 2/7?
True
Let n = 4236 - 4684. Which is greater: n or -444?
-444
Let m(w) = -w**2 + 24*w + 6. Let s be m(10). Suppose 8*a - 3*a - 725 = 0. Is s greater than or equal to a?
True
Let s be (-15453)/(-3087) - (2 + 3). Let p = 232 + -233. Which is greater: p or s?
s
Let y(o) = -8*o**2 - 11*o - 28. Let i be y(-6). Let h be ((i/(-15))/5 - 4)*-516. Which is smaller: 343 or h?
343
Let v = 13278 + -756880/57. Is v smaller than -1?
False
Let n = 15/7790501 + -966512927633/1075089138. Let o = n - -899. Is o greater than 1?
False
Let v = -43226/9 + 5936. Let r = -1132 + v. Is r >= 2?
False
Let a = -10210 + 10146. Which is greater: a or -43?
-43
Let g be ((2 - 13887/(-45)) + -7)*-5. Which is smaller: -1516 or g?
g
Suppose 4*d = 11*d + 14. Let m be -9 + (6 - (-297)/144). Is d at least m?
False
Let x = -4.6483 + 4.6683. Let o(t) = t**3 + 10*t**2 - 15*t - 8. Let i be o(-11). Is x smaller than i?
True
Let g(i) = i**2 + 11*i + 11. Let q be g(-10). Let x = 99222587/70 + -1417492. Let o = -53/2 - x. Which is smaller: q or o?
o
Let n = -18/2537 + 67009/1220297. Which is smaller: 0 or n?
0
Let w be 0 + 1 - (12 - -3). Let s = -365 - -358. Let q be 6 + -11 + -1 + s. Which is greater: w or q?
q
Suppose -6*t - 6*t - 186 = -6*t. Is -153/5 <= t?
False
Suppose 12 = 20*y - 28. Suppose -5*r + y*g = 23, -5*g + 17 + 6 = -r. Is r < -33/10?
False
Let y = 17 - 20. Let f be 9/30*y*(-20)/135. Is 1 at least as big as f?
True
Let y = 3.1221 - 0.1221. Let r be (7 - -3)/((-2)/3). Let q be 6/(-4)*(-4)/r. Is y smaller than q?
False
Let w be 6/(-3) - (-14)/7. Suppose 3*j + 11 + 67 = w. Suppose -5*n - 136 = -11. Are n and j non-equal?
True
Let h(s) = 3*s + 11*s**2 - 19 - 3*s**2 + s**3 - 14*s. Let d be -1 + -5*((-672)/35)/(-12). Let j be h(d). Are j and 1/74 non-equal?
True
Let j(z) = -49*z**2 - 8*z - 11. Let u be j(-1). Which is smaller: u or -254/5?
u
Let n = 459 - 454. Suppose -3*y - 148 = 4*v, -n*v = -11*y + 12*y + 196. Is -40 less than v?
False
Let i = 7 - -1. Let k(a) = 6*a - 92. Let b be k(16). Is i >= b?
True
Suppose -3*h = 2401 - 2182. Which is greater: 0.029 or h?
0.029
Let d = -24.254 + 24.2. Let r = 0.06405 - 22.11805. Let z = d - r. Is z at least as big as -0.2?
True
Let u = -13692/13 - -1050. Which is smaller: 3/17 or u?
u
Suppose -14*i - 2248 = -274. Let o = -2692/57 - 1788/19. Which is bigger: i or o?
i
Let t be (2/10)/(1472/(-1840)). Is 65.54 greater than or equal to t?
True
Let a = 16.807 - 7.617. Which is greater: a or -1?
a
Let q(n) = 688*n - 195. Let g be q(-4). Is g < -2947?
False
Let c be 186*(-7 - (-2206467)/315192). Let x = 7/92 - c. Which is smaller: x or -1?
-1
Let m = -8 + 11. Let y = 0.167 - 0.307. Is m less than y?
False
Suppose 1015 = -5*x - 5*v, -x - 197 = -0*x - 5*v. Suppose a = 2*d - 236 + 43, 4*a + 4*d + 820 = 0. Are x and a nonequal?
True
Suppose 5*z = 4*z - 75. Let g be z/(-9) + 2*-1. Suppose -6*q - f + 49 = 0, 14 = 27*q - 28*q + 3*f. Which is bigger: g or q?
q
Suppose h - 15*h - 255 = -269. Are 1/2369 and h nonequal?
True
Let m be (321/6*2)/(7 + 183/(-6)). Is -4 greater than m?
True
Suppose 8*f = 21 + 51. Suppose -4*h = -5*v + 417, -2*h + v = 204 + f. Which is smaller: h or -323/3?
h
Let b be 7 + 150/(-18) + (-398)/(-6). Let l be -1 + b/45 - (-23)/9. Is l <= 2/47?
False
Let b = 762/47 - 10715/658. Which is greater: 287 or b?
287
Let c = -3125 + 3182. Which is smaller: 64 or c?
c
Suppose l = -5*h + 58 + 54, h = 3*l - 272. Let w(v) = 5*v - 2. Let f be w(5). Suppose -5*k - l = -3*d - d, 3*k + f = d. Which is bigger: 21 or d?
d
Suppose -1651 + 1657 = -2*q, -q = -5*v + 103. Which is bigger: 13 or v?
v
Let s = -12260 + 2623631/214. Is 0 less than s?
False
Let g(z) = -55*z - 363. Let f be g(-5). Which is smaller: f or -91?
-91
Let c = -15767.4 - -15767. Let o = -66 - -41. Which is smaller: c or o?
o
Let r be ((-80 - -44) + 37)/(2/160). Let l = -34/175 + 41402/525. Is r at most l?
False
Let o be 1 + (-2)/1 + 1. Let l(h) = -h**2 + h + 27. Let w be l(o). Let y be (-26)/(-299) - (-8595)/345. Is y at least w?
False
Suppose 5*w = 3*h - 158, 4*h - 2 + 18 = 0. Let i be (w/8 - -4)*-1. Let g = -0.46 + -23.54. Which is greater: i or g?
i
Let p(l) = -2*l**3 + 12*l**2 + 13. Let g be p(6). Suppose 8*h = g*h. Let w = 9/59 + -343/1475. Which is bigger: h or w?
h
Let t = -3041 + 2967. Which is bigger: t or 4?
4
Suppose -3*g + 5*u - 4 = 0, -5*g - 3*u - 7 + 23 = 0. Let y be (1/(939/(-3768)))/g + 2. Which is smaller: y or 0?
y
Let d(y) = 23*y**2 + 124*y + 1640. Let z be d(-12). Is z != 3464?
False
Let v(s) = 2*s**2 + 4*s - 2. Let f be v(-5). Suppose 0 = -9*m + 88 + 47. Let r be 42/(-9)*(m - 21). Is r at most as big as f?
True
Let j = 837 - 574. Let t = j + -10782/41. Which is bigger: t or -2?
t
Suppose 0 = -4*d + v + 15, 4*v - 6 = -5*d + v. Suppose -d*j - 26 = -20. Is j greater than or equal to -9/8?
False
Suppose -9*v - 4*g = -6*v - 35, 2*g = -8. Suppose 66*u + 288 = 82*u. Which is greater: v or u?
u
Let v = -19 + 21. Suppose 0 = -2*o - 3*x - v, 2*o = 3*o - x + 1. Let d be (-2)/(-288)*-5 + (-6)/(-27). Is o bigger than d?
False
Let u be 1395/(-372)*(-296)/6. Is 185 <= u?
True
Let j = 26 - -0.8. Let x = j - 0.8. Let l = x + -25.9. Which is smaller: l or 4?
l
Let z be 3 + 12*6074/12. Is 6077 at least as big as z?
True
Suppose y + 4*k + 5 = 80, 0 = 2*y - 3*k - 95. Does 110 = y?
False
Let r = -1249 + 1250. Let i = -30 - -28. Let k = i + 5. Which is smaller: r or k?
r
Let j(p) = 4*p**2 + 3*p - 4. Let x be j(-6). Let m(w) = -4*w**3 + 353*w**2 - 91*w + 387. Let l be m(88). Which is greater: l or x?
l
Let u = -107 + 49. Let d = u - -61. Let c be 3 + -1 - 43/(d/3). Is c at least as big as 2?
False
Let b = -7/510 + 4/85. Suppose -145*h + 1038 + 1427 = 0. Which is greater: h or b?
h
Let b = 1.41 + -368.41. Let h = 365.7 + b. Which is bigger: 20 or h?
20
Let z be (0 - -1) + 2/(-6). Let r = 0.014 + -0.414. Let b = 0.5 + r. Is b smaller than z?
True
Let s be 2 + 6 - 1 - 4. Let m be ((-1)/1)/s*-6. Let j be m/(-13) - (-116)/247. Which is smaller: j or 0?
0
Let n(t) = -468*t + 2199. Let o be n(14). Is -4352 bigger than o?
True
Let d(p) = -p**3 - 7*p**2 - 6*p - 1. Let t = -34 + 28. Let n be d(t). Which is smaller: -8/81 or n?
n
Let p(m) = 169*m + 23 - 2*m**2 - 3*m**2 + 5*m**2 + 3*m**2. Let q be p(-55). Are q and -198 nonequal?
True
Let t = -127/2610 + -1/145. Let l be (-1)/(-1) + 6/33*299/(-46). Is l less than or equal to t?
True
Let x = 229.2 + -229.2. Which is smaller: x or -16.8?
-16.8
Suppose 9*c - 4*c + 55 = 0. Let r(j) = 2*j**3 + 3*j - j**2 + 17 - 24 - 2*j - j**3. Let s be r(2). Which is bigger: c or s?
s
Suppose -12646 = 23*t + 43520. Is t < -2442?
False
Let u be -5 - (133/(-28) - (-12)/16). Is 2/12335 >= u?
True
Let z = -2922 + 5775. Are 2853 and z unequal?
False
Let z = -49 - -53. Suppose 3*n = 4*p - 63, -z*n - 84 = -0*n - 5*p. Let d = -29 - n. Is d greater than -8?
False
Suppose 0 = -2606*u + 2617*u + 11. Are u and -540 nonequal?
True
Let f be (-2 - 0)*9/2. Let q = -269 - -269. Suppose 3*o + 10*o + 13 = q. Is f less than o?
True
Suppose -35*m = -30*m + 30. Let p be (21/m + 4)/(5/720). Is p < 70?
False
Let q = -2.48 - 0.78. Let l = q + 3.26. Is l smaller than -0.75?
False
Suppose -3*g = -433 + 172. Suppose -63 = -3*n + g. Let b be ((-36)/(-48))/(6/n). Which is greater: 7 or b?
7
Let r = 1719.7 + -1717.2. Which is smaller: 12/11 or r?
12/11
Let h(v) = 12*v**2 + 6*v - 1. Let o be h(0). Which is smaller: o or 17/39?
o
Suppose 11 = 2*k - y, -5*k = 4*y - 10 + 2. Let z = 215 + -188. Suppose -w = 4*r + z, 5*w + k*r - 4 + 171 = 0. Which is greater: w or 0.1?
0.1
Let x = 76 + -67.9. Let f = -148 + 142.9. Let u = x + f. Are u and 0.16 equal?
False
Let f be ((-11)/(-2)*1)/((-11)/(-22)). Suppose f*r + 4 + 7 = 0. Which is smaller: 147 or r?
r
Let p(k) = -k**2 + 65*k - 143. Let y be p(43). Suppose 0 = -20*i + 123 - y. Which is greater: 2/17 o