Suppose 5*q - o + 319 = 0. Are q and h nonequal?
True
Let f(c) = -6*c - 160. Let j be f(-8). Let d = 183 - 296. Which is greater: j or d?
j
Let d = -8.4 - 37.6. Let t = 329 - 286. Let n = t + d. Which is bigger: n or -0.05?
-0.05
Let w = -547327/258468 - 1/15204. Is w at least -9?
True
Let d = -0.0731 - -39.0731. Let g = d + -39.2. Is 56/9 < g?
False
Let l = -536706/11 - -48791. Suppose -j + 3*m + 2 = 6, 4*m = -5*j + 18. Let w = -3 + j. Which is greater: l or w?
l
Let c(b) = -b**2 - 8*b - 2. Let o be c(-8). Suppose -2*x = -4*x - 90. Let v be ((-18)/x)/((-1)/5). Is o smaller than v?
False
Let v = -48 - -48. Let n = -13.94 + -350.06. Is n > v?
False
Suppose 12*f + 23 = 11*f. Let d = 17 + f. Suppose 18 + 2 = -4*z. Does d = z?
False
Let m be (36/15)/((-5)/25). Let l = -11 - m. Let k = -2/367 - -1530/11377. Which is smaller: k or l?
k
Let i(s) = s + 4. Let r be i(-2). Suppose -r*v + 3*w - 32 - 35 = 0, 3*w + 89 = -4*v. Let u = v - -179/7. Which is greater: -1/5 or u?
-1/5
Suppose -2*s = -w + 1351 + 3401, 3*w - 6 = 0. Is s less than or equal to -2374?
True
Let o(l) = -3*l**2 - 118*l - 215. Let m be o(-37). Which is smaller: 96 or m?
m
Let s = -83.6813 - -83.09. Let z = -0.0087 + s. Let b = 2 + 0. Are b and z non-equal?
True
Let d(v) = 7*v**2 + 52*v - 688. Let f be d(11). Which is greater: 729 or f?
f
Suppose 4*h = -2*j - j + 64, -5*h + 5*j = -45. Suppose 0 = 3*m + 9 - 0, 0 = 2*v - 3*m - h. Let w be (v/(-38))/(7/28). Are 1 and w equal?
False
Let y = 1532/6765 + 1/1230. Is y at least as big as 27?
False
Suppose 3*r + 7 = 4*g, 3*r = -2*g + r. Suppose 2*q - 5*h - 30 = 0, -19*q = -24*q - 5*h + 5. Suppose -g - q = 3*y. Does y = -4/5?
False
Let u be 6/(-3 - -9)*7. Let h(x) = 3*x**3 - 4*x + 12 + 8*x**2 - 4*x**3 - 5*x. Let j be h(u). Is j less than or equal to -3?
False
Suppose 151*n + 20613 = 12*n - 4129. Are n and -200 unequal?
True
Let u(z) = -223*z - 3450. Let j be u(-81). Do 14612 and j have the same value?
False
Let r be ((-6)/9)/((-8)/3420). Let p = -284 + r. Is p at least 1/93?
True
Let w(s) = s**2 - 5*s + 5. Let o be w(6). Let x = 95 - 101. Let g be 2 + ((-10)/(-5) - x). Is g <= o?
True
Let o be 38226/(-4761) + 9 + -1. Suppose -3*v - 5 = -17. Suppose t = v*t. Which is bigger: o or t?
t
Let v(p) = -2*p**3 + 13*p**2 + 14*p - 33. Let a be v(7). Which is bigger: a or 17/13?
a
Let t be (-2)/15 + -1 + (-7507652)/(-5640). Let l = -1330 + t. Is 0 bigger than l?
False
Let a = -42.39 - -9.89. Is a greater than or equal to 4?
False
Let k = 356 - -630. Which is greater: k or 984?
k
Suppose -3*q + 17 = -2*u, -16*q + 14*q = -5*u - 26. Suppose 56 = -4*f + 4*a - 8*a, -q*f - 17 = -2*a. Let z be 2/3*(1 - 10). Which is bigger: z or f?
z
Suppose 2*f - 4020 = 4*y + 588, 5745 = -5*y - 5*f. Which is greater: y or -1152?
y
Suppose 3*y - 3*u = 102, -1 = -4*u + 3. Suppose -y*r + 28*r - 637 = 0. Is r at least -92?
True
Suppose 3*s - 13 = -4*r, 4*s - 1 = 5*r + 2*s. Let h be (-6)/8 - (-185)/(-20). Let d be h/20*(1 + r). Is d equal to -2/45?
False
Suppose 119 = 20*d - 27*d. Let a = d + 22. Suppose -n - 4 = -a. Is n <= 2/21?
False
Let n be (-1056)/1232 - 2*(-26)/28. Is n less than -687/11?
False
Let i be 16 + -1 - (-1956812)/7436. Let q = -227 + 505. Let l = i - q. Does l = 28?
False
Let g = 130 + 494. Let i = g + -624. Let u be (-2)/(-43) + -1 + 1. Which is bigger: u or i?
u
Let h = -118538821/115 + 1030788. Let w = 78/5 - h. Which is greater: w or 0?
0
Let k(r) = 2*r**2 - 23*r - 9. Let m be k(12). Let n(y) = 7*y - 8. Let g be n(m). Let o = -17 + g. Are o and 2 unequal?
True
Let l(q) = -26*q**2 + 219*q + 1838. Let o be l(-8). Does o = -1577?
False
Let g = -0.2272 - -222.2272. Is g != -10?
True
Let i = -0.01 - -0.064. Let y = 2.354 - i. Let g = 21.22 - 21.32. Which is smaller: g or y?
g
Let r = -55 + 29. Let o(d) = -3*d - 77. Let b be o(r). Let i be 18/(-99)*b/8. Are 0.1 and i unequal?
True
Let m be (72/15)/((-60)/(-41550)). Is m at most 3325?
True
Let q be (264/(-9) - -1)/((-10)/2010). Is 5695 equal to q?
True
Suppose -253*d - 22*d + 2115 = -40*d. Which is smaller: 55/6 or d?
d
Let u be 63 - (-1 - (5 + -4)). Suppose u = s + 4*s. Suppose 0 = -z - s. Is -11 <= z?
False
Let k(j) = j**2 + 13*j + 32. Let f be k(-16). Let i = 113 - f. Is 33 smaller than i?
False
Suppose 15*o + 27*o = -20*o + 62. Do o and 1417 have the same value?
False
Let n = 119 - 118.99. Let m = 57 + -58. Which is smaller: n or m?
m
Let z be 20/324*(-105)/52850. Is 0 > z?
True
Let b = -2896 + -1738. Are b and -4635 non-equal?
True
Let v = 0.2 - 0.3. Let p(t) = 22*t**3 - t**2. Suppose -o + 1 = -2*f, 7*f - 10*f = o - 6. Let q be p(f). Which is smaller: q or v?
v
Suppose -w = g - 30 - 2, -152 = -4*g + 2*w. Let d = -1388 - -4270/3. Are g and d nonequal?
True
Suppose 0 = -11*g + 10*g + 4*c - 11189, 2*g + 9*c + 22293 = 0. Which is bigger: -11168 or g?
-11168
Suppose 2*d + 5 + 17 = 4*i, 6 = 2*i + 4*d. Let r(x) = -x**3 + 7*x**2 - 12*x + 8. Let a be r(i). Let m be ((-68)/54 - a)/((-1)/(-3)). Is m at most 3?
True
Suppose 3*p + 4*z = 2*p + 128, -4*p - 2*z + 470 = 0. Suppose 0 = -4*j - 0*j - p. Suppose 58 = -5*x - 3*b - 76, 66 = -x + 5*b. Which is smaller: x or j?
x
Suppose 0 = 492*z - 484*z - 32. Suppose 25*q + 662 = 29*q - 5*f, 4*q - 664 = z*f. Does q = 169?
False
Let h = 58 - 248. Let d be -4*(-2 - 375/h). Suppose -3*t - 3*t = 0. Is t greater than d?
False
Let k(c) = 25*c + 413. Let v(d) = 5*d + 83. Let f(u) = -2*k(u) + 11*v(u). Let g be f(-9). Which is bigger: g or 41?
g
Let l be (21/(-12))/(-7) - (-26)/(-8). Let x(t) = 3*t + 14. Let w be x(l). Suppose 2*g + w = -3. Is g smaller than 3?
True
Suppose -20*x + 26182 = 14*x - 140*x. Let u(s) = -31*s**3 - 1. Let g be u(2). Which is smaller: g or x?
g
Suppose -150*v = -178*v + 43960. Which is greater: v or 4712/3?
4712/3
Let a = 224068/16947 + -119/9. Which is smaller: a or 0?
a
Let b = -10329 + 10332. Is 72.4 equal to b?
False
Let d(i) = -i**3 + 4*i**2 - 5*i - 1. Let u be d(-4). Let f = 333677/2262 - 16/1131. Do u and f have the same value?
False
Let g = -5484 - -9150. Let d = -3647.943 + g. Let o = -0.057 + d. Is o <= 0.4?
False
Let u(i) = 2*i**2 - 4*i - 1. Let q be u(3). Suppose q*p = 2*c, -4*c = -5*p + 3*p. Which is smaller: p or 2/23?
p
Let k(f) = -70*f**2 + 852*f. Let y be k(12). Is 89 smaller than y?
True
Let n be ((-20)/(-15)*(-42)/(-28))/((-12)/(-1874)). Which is smaller: 313 or n?
n
Let k = -19723/6 + 3287. Which is bigger: 0.25 or k?
0.25
Let y(i) = i**3 + 4*i**2 - 19*i - 69. Let q be y(-3). Let r be ((-3)/6)/((-3)/12). Let n be (-1 - 0 - r)/1. Is q smaller than n?
False
Let v(f) = 24257*f**2 - 2*f + 21. Let k be v(-5). Let u = k - 12731000/21. Let c = -218 + u. Is c at least as big as -2/3?
True
Suppose 28*a - 160 = 20*a. Is 17 at most as big as a?
True
Let t = -0.836 + 38.836. Let h = -75 + 37. Let f = h + t. Is -0.016 at least f?
False
Suppose -325*u + 310*u = 30. Is -24/29 greater than or equal to u?
True
Let p = 71 + -66. Suppose b - 12 = -q - 0*b, -5*q + 2*b = -39. Suppose q*z + 14 = 41. Which is greater: z or p?
p
Suppose -3520 = 42*k - 2*k. Which is smaller: -113 or k?
-113
Suppose -5 = 3*p + 2*h, 0 = 1123*p - 1127*p - 4*h - 8. Is p greater than or equal to -1/1815?
False
Let j = 198 - 749. Let q = j - -550. Is 19 greater than q?
True
Let n = -278177/3 - -90420. Which is greater: -2307 or n?
n
Let l = -7228.55 - 37.45. Is l less than 1/2?
True
Let d(g) = g**2 + 15*g + 3. Let i be d(-15). Let c be (-1)/(i/(-15)) - (12 - 198). Which is greater: c or 190?
c
Suppose -6*f = 68 - 284. Suppose -4*k = n - 4*n - 49, 0 = -3*k + 2*n + f. Suppose 2*q = 3*q - k. Is 8 bigger than q?
False
Suppose -16*s + 31 = -17. Suppose 148 = s*b + 217. Suppose -3*i + 14 = -w, -2*w + 8 = 2*i + 52. Is w at most b?
False
Let j = -416 + 416.9. Which is bigger: j or -146?
j
Let m = 4502 - 4450. Which is bigger: m or 127?
127
Suppose -3*r + 6*r + 7*r = -530. Is r less than -51?
True
Let n(c) = -165*c**2 + 7*c + 35. Let t be n(-4). Let g = t - -508170/193. Which is smaller: g or 0?
0
Let i = 3002401/2055 - 1160/411. Is i > 1457?
True
Suppose 0 = -4*d, -d + 5*d + 156 = 4*z. Suppose 6*b + 0*b - 912 = 0. Let n = -114 + b. Which is smaller: n or z?
n
Let h = 786406/72611 + 8/10373. Which is bigger: h or 11?
11
Let s(h) = -h**3 - 20*h**2 - 17*h - 10. Let w be s(-19). Let p(t) = -2*t**2 - 3*t + 5