-2*n - 3*n + 85 = c, -n + 4 = 0. Is c not equal to q?
True
Suppose 0 = 7*h + 2*h. Let y be (18/(-4))/((-48)/28 + h). Is y greater than or equal to 3?
False
Let y be (-4)/(-6) - 61416/91962. Let l = -57924/18733 - y. Is -3 at most as big as l?
False
Let f be (-1 + 84/77)/((-77)/374). Which is greater: f or 0?
0
Let p(k) = k**2 + 2*k. Let d = -30 + 28. Let j be p(d). Suppose 3*t + 9 = -j*t. Is -3 greater than t?
False
Suppose -4*h - 123 = -h. Let m be (-137)/3 + 7 - (-2 - -4). Let o = h - m. Do 2/13 and o have the same value?
False
Suppose r - 2*d - 11 = 0, -2*r + 4*d + 37 = 5*d. Suppose 19 = -2*l - r*l. Which is smaller: -5/32 or l?
l
Let m = -6308 + 11180. Is -2/5 > m?
False
Let c = -211 + -362. Let v = -4017/7 - c. Is v smaller than -2/11?
True
Suppose 308*d - 43*d = 39*d. Which is smaller: d or 36/437?
d
Let c(g) = g**3 + g. Suppose 5*j + 5 = 10. Let k be c(j). Let r be k/11 + 434/154. Is 42/11 at most r?
False
Let l = -1089 - -82761/76. Let t be (1 - 50/(-4))*2. Let y = t + -26. Is l greater than or equal to y?
False
Let d be (615/(-50))/(-3) + (-2)/20. Suppose -3*p + 230 = -d*p. Is p less than or equal to -230?
True
Let b = 423615541 - 1409368962581/3327. Let n = -2/1109 - b. Let a = -50/3 + n. Which is smaller: 0.2 or a?
0.2
Let t be (5664/60)/59 + 496/90. Suppose -v + x + 0*x = -11, -v - 4*x - 14 = 0. Is v equal to t?
False
Suppose -75*p - 8031 = 5469. Which is greater: p or -1252/7?
-1252/7
Suppose -3*l = -2*s + 4*s + 112, 117 = -3*l - 3*s. Let m(q) = -q**2 - 16*q + 46. Let x be m(-20). Is x at most as big as l?
True
Let b(j) = -2*j**2 + 5*j - 3. Let x be b(1). Suppose -5*m - 20 = 0, x = p + 3*m + m - 17. Is 38 at most as big as p?
False
Let h = -44149 - -44159.481. Is -0.3 at least h?
False
Suppose -3*q - 1400 = -11*q. Let r be (-1 - (-1 - -3)) + q/8. Let j = r - 3203/168. Is -1 at least j?
False
Let c = 772429334/10685 + -72291. Which is smaller: c or 1?
c
Let v = -29091 + 29613. Is v smaller than 511?
False
Let m(j) be the second derivative of j**5/20 - 17*j**4/12 + j**3/3 + 14*j**2 + 6*j + 2. Let o be m(23). Let c be (-87)/o*(-5 + 1). Is c at most as big as 1?
True
Suppose 81*j + 710 - 467 = 0. Which is greater: 1/13 or j?
1/13
Suppose -8*n + 231 = -297. Let o be (1 + 35/(-33))/(44/n). Is -0.2 < o?
True
Let g = 28945508/1355 - 21362. Is -1 greater than g?
False
Let x(s) = -164*s**2 - 69*s - 412. Let g be x(-8). Which is bigger: -10357 or g?
g
Let t = -852668/1905 - -2238/5. Let l(q) = 3*q - 2. Let w be l(1). Which is greater: t or w?
w
Let t = -379.5 - -374.5. Is t != -102?
True
Let o = 3826409/13972 - 11/1996. Let k be (-7395)/(-27) + 1 - (-2)/18. Let y = k - o. Which is smaller: y or 2?
y
Suppose 34*k = 8*k + 3692. Let s = k - 112. Which is greater: 28 or s?
s
Let l = -2087 - -3840. Are l and 1754 unequal?
True
Let i = 1653 + -1384. Is 273 at least i?
True
Let s = 3799 + -4648. Which is bigger: s or -851?
s
Let g = -1720 - -350881/204. Let i = 571/8364 + g. Let d = -30 + 31. Which is greater: d or i?
d
Let m = -53509/3 + 18400. Which is smaller: m or 565?
m
Suppose 2*c + 4 = -2*c. Let l(t) = -5*t**2 - 16*t - 51. Let y be l(-5). Let j be (5 + y/18)/3. Which is smaller: j or c?
c
Suppose 3*o - 1 = 4*k, 13*o - 10*o = -5*k - 8. Is 1/65 >= o?
True
Let l = 0.04 - 2.04. Let t = -3213.1 + 3489. Let p = t + -276. Is l > p?
False
Let s = 884929/167 + -5299. Which is bigger: -1 or s?
s
Let d = -4247 - -4246. Let a = -18 + -122. Let t = a + 983/7. Do t and d have the same value?
False
Let t be (-86)/(-14) - (-2 - -6). Let v = -1/2328 + -40345/16296. Let m = v + t. Is m < -19?
False
Let u = -3766 + 5252. Is u smaller than 1488?
True
Let y be 16/(112/21) - (-28)/(-8). Which is smaller: 398 or y?
y
Let u(l) = l**3 + 7*l**2 - 8*l - 3. Suppose 1 = 5*b + 41. Let c be u(b). Which is smaller: -5 or c?
-5
Let b = 2/42053 - 126621599/336424. Suppose -3*d - 1863 + 343 = -4*q, 2*q + 4*d - 738 = 0. Let c = b + q. Are c and 0 non-equal?
True
Let d = -8977 - -8961. Is -235 at most d?
True
Let r = 386822626/4099 - 94370. Which is bigger: r or -1?
r
Let q = 3721.62 + -3839. Let j = -1.62 + q. Let z = j + 118.8. Which is bigger: 27 or z?
27
Let b = -418 - -416. Let x be (15/5 - (-10)/(-2))/b. Which is greater: -5/27 or x?
x
Let d(k) = 3*k - 9. Let r be d(6). Suppose -1077 = 3*j + 2*j - 2*l, j + 211 = -4*l. Let h = -861/4 - j. Is h at most r?
True
Let k = 31 + -21. Let a = -685 - -697. Let i be a/k - 3/15. Which is bigger: 13 or i?
13
Let c(w) = w - 1. Let g be c(0). Let f be 6/(252/(-921)) + (35 - 15). Is g less than f?
False
Let y be 20*-1*2/7. Let o = 70 + -15. Suppose q - 2*m - o = -57, -2*m + 26 = -5*q. Which is smaller: q or y?
q
Let p = 7804 - 41072454/5263. Which is smaller: p or 1?
p
Let l = -1/1227 - -5540/2280993. Is l at least as big as 0?
True
Let c(r) = 3*r**2 - 30. Let z be c(-27). Which is smaller: z or 2158?
z
Let h be (18 - 320265/(-105)) + 1/(-7). Which is greater: 3070 or h?
3070
Let j(d) = d**3 - 12*d**2 - 24*d - 18. Let h be j(21). Suppose -30*x = 4143 + h. Which is smaller: -254 or x?
-254
Let u be (-11 + 9)*((-5 - -9) + 1694/(-1)). Which is smaller: u or 3379?
3379
Let g = -441.8 - -51.8. Let p = -392 - g. Which is smaller: p or -0.16?
p
Let k be 91/468 - 112/252. Which is smaller: k or 0.1959?
k
Let v(u) = -243*u**3 + 4*u**2 - 15*u + 21. Let l be v(2). Are -1936 and l unequal?
True
Suppose -25 = -3346*t + 3347*t. Is -16 >= t?
True
Let m = 92 - 80. Let a be 411/2289*-1 + m/84. Is 1 smaller than a?
False
Let h(x) be the first derivative of 5*x**2 + 51*x - 41. Let q be h(-5). Is -2/107 >= q?
False
Let m(d) = d**2 - 11*d - 26. Let q be m(19). Let i be (4/(-6))/(255/q + -2). Let h be 0 + -1 - (0 - i/(-36)). Do h and 6 have different values?
True
Let p be ((-9)/(-99))/((-2)/(-5) - 32286/(-60)). Which is smaller: p or 1?
p
Let x = -2/8529 - -13547/21399261. Is x < -0.3?
False
Suppose -3*n - j = -8*n + 31, -5*n - j = -29. Let d be 20/(-32)*n/165. Which is bigger: d or 1?
1
Suppose -3*f - 861 = 2*w, 14*w - 11*w + 1150 = -4*f. Which is smaller: f or -280?
f
Let q = -9523341/35 + 272157. Is q greater than 61?
True
Let c = 8 - -257. Let i = c - 255. Which is smaller: i or 15?
i
Suppose 6212 = -26*a + 1313 - 21803. Which is greater: a or -1031?
a
Let q = 185 + -190. Let u(m) = 7*m**2 + 7*m - 23. Let z be u(q). Is z bigger than 117?
False
Let z = -44.01 - -43.84. Let c = 0.144 + -0.044. Which is bigger: z or c?
c
Let p be (3/(-11))/(1 + 0) - 34827/(-8151). Is 507 smaller than p?
False
Let t be 4/(-2) - (-324 - (2 + 1)). Let u = 162 - t. Is -164 at most as big as u?
True
Let k = 527 - 527. Suppose 4*c - 3*j - 233 = 0, k = -5*c + 2*j + 224 + 62. Are 57 and c unequal?
True
Let o be 1317*370/(-570) + (-4 - 444/(-114)). Is o less than or equal to -858?
False
Suppose 31599 = 59*z - 78613. Which is bigger: 1867 or z?
z
Let n be 30 + -27 - (-2 - 96621/(-19323)). Which is bigger: n or 1?
1
Let f = -362.261 + 362. Let b = f - -6.261. Are b and -1/17 equal?
False
Let k = 2359.84 - 2396. Which is greater: k or 0?
0
Suppose -2*h - 37 = 5. Suppose 109 = 4*z - 10*u + 5*u, 4*u + 20 = 0. Let x = h + z. Is x greater than or equal to 1?
False
Let x be 21/(-28) + (-831)/12. Let z be (-2 + x/(-6))*(-555)/148. Which is bigger: -35 or z?
-35
Suppose -12*l + 21*l + 358 + 1469 = 0. Which is smaller: -13 or l?
l
Let m(w) = w**3 - 13*w**2 + 10*w. Let k be m(10). Let d = k + 1149. Let f be 1/(-1)*d/(-13). Is 72 bigger than f?
False
Let i be 82/(-56)*(2 - 1020). Let f = 1488 - i. Let m = -15/2 - f. Do m and -4 have different values?
True
Suppose -4*l = -2*r + 6, -2*r - 2*l + 3 = -3. Suppose 4*t = 1 + r. Let q be t*(1 + 2) - (-3 - -6). Which is greater: q or 2/73?
2/73
Let g = -93 + 93. Suppose -7*k + 24 - 38 = g. Is k at least as big as -1/2?
False
Let q = 16.41 + -16.71. Which is smaller: q or 65?
q
Let z = 2606 - 2576. Are z and -17 non-equal?
True
Suppose 4*m + 197 + 189 = -3*s, -4*s - 494 = -5*m. Let a = s + 346. Let z = -7258/33 + a. Which is smaller: -2/5 or z?
-2/5
Suppose -5*x = -25, -2*x + 2320 = 5*g + 3*x. Let i be 10/(-66)*(-3 - g/66). Let l = -1/121 + i. Which is smaller: -2 or l?
-2
Suppose 8*y = -6*y + 84. Let p be y/(-15) - (32/(-5) + -3). Suppose p = 3*h, -3*k + 0*h + 12 = 5*h. Are -15 and k unequal?
True
Suppose -4*p + 3*h = -105, -3*p + h = -89 + 14. Suppo