 Suppose 137*p = z*p + 3264. Is p <= 272?
True
Let l(x) = 3*x**2 - 17*x - 1. Let p be l(6). Suppose -p*j - 4*h = -j + 460, -10 = 2*h. Is -110 greater than j?
False
Suppose -4*x + j - 65 - 37 = 0, 0 = -2*x + 4*j - 58. Let q = -43 - x. Let y be 66/(-54) + (-4)/q. Which is smaller: y or -4?
-4
Suppose -5*n = -9*n + 13*n - 44703. Which is bigger: 9931/2 or n?
n
Let k be ((-1)/(-1))/((-1)/(-5)). Suppose n + k = -4*r + 23, 4*r = -2*n + 20. Suppose 0 = r*l - 5 + 1. Is -1 at least l?
False
Suppose 1831 - 553 = -9*c. Let p = c - -153. Is p at least as big as 14?
False
Suppose 6*d = -3*d + 3*d. Let l = 533672/5787 - 830/9. Let f = -1979/16075 - l. Is f at most as big as d?
True
Let n be 876/2028 - (49/7 + -5 - 2). Which is greater: 1 or n?
1
Suppose 4*h + 195 = 1039. Suppose 4 = -4*l, 3*z + 0*l - l = h. Let k be (z/7)/2 - -1*3. Is 11 greater than k?
True
Let m = 36715 - 36781. Let c be 550/(-8) + 2/(-8). Is m less than c?
False
Let o = 101903548/8382847 - 3270/269. Is -1 >= o?
False
Let v(z) be the first derivative of z**3/3 - 25*z**2/2 + 27*z + 25. Let o be v(24). Suppose -o + 30 = 3*p. Which is smaller: 8 or p?
8
Suppose -23 + 30 = 5*f + o, -2*f + 5*o = -19. Suppose -3*h + 5*n + 86 = 0, -50 = -2*h + n - f. Suppose 0 = 4*x + x - 110. Are h and x unequal?
False
Let r = 25 + -79. Let q = r + 77. Are q and 23 equal?
True
Suppose -3*v + 11*v + 2856 = 0. Let b = v + 3211/9. Is b bigger than -17?
True
Let x(v) = -v**2 + 9*v - 40. Let c be 132/13 - (-2)/(-13). Let l be x(c). Is l less than 0?
True
Let o be (-108)/162*(-9)/2. Let l(y) = -y**2 + 7*y - 8. Let f be l(o). Which is greater: 9 or f?
9
Let g = -7293 - -7511. Which is smaller: 0.06 or g?
0.06
Suppose u - 4*u + 3 = 0. Suppose -u = -2*g + 1. Suppose 0 = -m - 0 - g. Which is greater: -14/13 or m?
m
Let i be 2328/84*21/(-180). Which is smaller: -2 or i?
i
Let m = 415 + -904. Let d = m + 494. Is 17/4 equal to d?
False
Suppose -9611*o + 4 = -9613*o. Is -60 less than or equal to o?
True
Let o be 6/(-33) + (-260065)/1859 + 17. Which is smaller: o or -124?
-124
Let a = -887 + 3521/4. Let k(g) = -18*g - 151. Let y be k(-8). Which is greater: y or a?
a
Let g be (6/(-8))/((-12)/80). Let c be 4/(-2) + (-14 - g). Which is bigger: c or -23?
c
Suppose 5*q + 0*q = 3*q. Let x be 77/22*(q + -2). Let h be (-2)/(-21) + (-1070)/630*3. Which is bigger: x or h?
h
Suppose -7*v = -4*v - 3*u - 3, 0 = 4*u. Let j be 0*(1 + v)*(-7)/70. Which is smaller: -30/41 or j?
-30/41
Let l(v) = -3*v - 16. Let j be l(-6). Let d(c) = 187*c + 5. Let a be d(-2). Let k = a - -7747/21. Is j bigger than k?
True
Let a be (3 + -5 + 1)*(6 - 2177/301). Which is bigger: -1 or a?
a
Let z(l) = -10*l. Let s be z(-5). Let h = 20729/410 - 12/205. Let r = s - h. Which is greater: -0.25 or r?
-0.25
Let o(v) = v**2 - 14*v - 32. Let l = 28 - 11. Let j be o(l). Suppose -j*z + 23*z = 16. Is z < -2?
False
Let q(w) = -360*w - 8641. Let g be q(-24). Which is greater: g or 2/43751?
2/43751
Let c = -730 + 731. Let v = -1.33 + 1.4. Which is bigger: v or c?
c
Let z = 405 + -404.22. Let t = z - 0.48. Which is greater: 20 or t?
20
Let q = 24026 - 24025. Let j(b) = -b**3 + 9*b**2 + 10. Let v be j(10). Which is greater: v or q?
q
Let o(i) = 14*i - 18. Let h(m) = 13*m - 19. Let n(p) = 3*h(p) - 2*o(p). Let q be n(2). Is -1/58 greater than q?
False
Let t = 7 - -1. Suppose 3*i + 6 = -2*v + 28, -5*i + 15 = -v. Suppose 15 = u + q, 2*q + 45 = v*u + q. Which is bigger: t or u?
u
Suppose 2*z - 4190 = 3*r + 2*r, -3*z - 3352 = 4*r. Let d = -1243 - r. Let f be 4/(-18) - 1791/d. Which is smaller: 4 or f?
4
Suppose -221*t + 53808 = -103*t. Which is smaller: 4111/9 or t?
t
Suppose -8*k - 25 = -97. Let i be (k - 11)/((-2)/(-1)). Which is smaller: i or 1/51?
i
Suppose 19*j - 3*z - 15 = 14*j, -z - 5 = -4*j. Is -70/193 != j?
True
Let t(j) = 3*j**2 + 52*j + 214. Let h be t(-7). Do 3 and h have different values?
True
Let m(j) = j**3 + 5*j**2 - 4*j - 10. Let p be m(-5). Let q(g) = -g**2 + 6*g + 23. Let i be q(p). Is i greater than -18?
True
Let z = -0.23543 + 0.05543. Are -157 and z non-equal?
True
Suppose -10 = -0*d + 3*d - 5*q, 3*q = d + 6. Let c = 33 + -25. Let n be c*(-6)/(-27) - (-4 + 6). Which is bigger: n or d?
d
Suppose 0 = 2*o + 5*p + 195, -3*o + 844*p - 297 = 847*p. Suppose 106 = -2*y - 94. Is o <= y?
True
Suppose -3*f + 124 = 4*o, -4*f - 3*o + 8*o = -217. Let c be ((-3)/6)/(4/f). Let l be 2/3 - (-10)/c. Is 8/21 greater than l?
True
Let y(c) = -c**3 - c - 85. Let t be y(0). Let k be (3/(-4))/(17/(-68)) + -104. Let o = t - k. Is 18 less than o?
False
Let j(r) = 2*r**3 - 2*r + 2. Let u be j(-3). Let d = 48 + u. Which is greater: d or 32/23?
d
Suppose 11*n - 2740 = 5*w + 6*n, -1648 = 3*w + n. Which is smaller: w or -548?
w
Suppose 1365 = l - 16*l. Are -158 and l non-equal?
True
Let n = -6522 + 6526. Does -76 = n?
False
Let f be 75/15*(-188)/(-10). Suppose -58 = -19*b + f. Which is smaller: b or 10?
b
Let n = -1/3767 + 11468/629089. Suppose -v = 5*x + 31, -3*v = -142*x + 147*x + 33. Which is smaller: n or v?
v
Let j(i) = -7*i**2 + 273*i + 111. Let k be j(10). Is 2141 >= k?
True
Let t(k) = -7 + 24 + 45 - 6*k + 62 - 6*k. Let s be t(11). Are -64/7 and s unequal?
True
Suppose 0 = -11*t + 159 - 104. Suppose 15 = -4*u - t*i, 6*u = 11*u + 4*i + 12. Let b = 76 - 1367/18. Which is greater: u or b?
b
Suppose 22130 - 22179 = 49*r. Is 4/4269 less than or equal to r?
False
Let t = -69/8 + 19/2. Let q(u) be the second derivative of -13*u**3/6 - 109*u. Let z be q(0). Is t smaller than z?
False
Let g = 42266 + -1141180/27. Suppose -4*m = -m. Which is bigger: g or m?
g
Let i be (-422931)/90*16/(-66). Let h = i + -5697/5. Let q = h - -3/22. Which is smaller: 1 or q?
q
Let x = 9275/6 + -1544. Suppose c = 3*f + 5, -c - 3*c - 40 = 3*f. Let m be 3/2*(-5 - c). Which is bigger: m or x?
m
Let b be 22/(-5) + 2 - -2. Let n = 0.034259 - -22.065741. Which is smaller: b or n?
b
Let n = 2 + -4. Let r be 2 + n/1 + -55. Let z = -668 - -612. Which is smaller: r or z?
z
Let o be ((-21)/(-6))/(3/6). Suppose 0 = o*x + 3*x + 20. Let a be (0/20)/((4/2)/x). Which is smaller: a or 2/19?
a
Let d = -569139076/5793 + 98246. Is 1 not equal to d?
True
Let j = 28/55 - 9633/19030. Let q = j + -1395/3806. Let m be (2/2)/(0 - 1). Which is smaller: q or m?
m
Let u be (16/(-264)*1)/((-1)/3). Which is greater: 32 or u?
32
Let k = -2 + -5. Let s = 1 - k. Suppose 2*i = 2*o + 10, 3*o + s = o. Which is smaller: 1/8 or i?
1/8
Suppose 3*k - 3*n + 75 = 0, 172 - 97 = -3*k - 3*n. Suppose -3*j = -j - 5*f + 85, 5*j - 4*f + 170 = 0. Let t = j + 3. Which is smaller: t or k?
t
Let q(g) = 16 + 4 - 9 - 3*g - 5*g + 6*g**2. Let p be q(2). Which is bigger: p or 22?
22
Let d = 1535.2821 - 1534.5. Let q = 0.0021 - d. Which is smaller: q or 0.1?
q
Suppose -5*j + 2*o + 608 = 0, 5*j + 20*o - 632 = 18*o. Which is smaller: j or 101?
101
Let z(h) = -8*h + 29. Let u be (24 + -6)*3/(-6). Let b be -2 + 2*u/(-2). Let s be z(b). Which is bigger: s or 0.1?
0.1
Let x(n) = 2*n**2 - 16*n - 19. Let h(d) = -3*d**2 + 15*d + 20. Let p(o) = 4*h(o) + 5*x(o). Let f be p(-11). Is f less than or equal to -0.2?
True
Let l be (8/20)/(16/40). Suppose -14*m - l = -15. Which is smaller: 4/29 or m?
4/29
Suppose 0 = 2*i + 22 - 32. Suppose -i*w = -3*z - 7, 2*z - 12 = -4*w + 20. Let s be (11 - (1 - -3))*z/21. Is s >= -13?
True
Let v = -0.01473 + 0.11473. Let p be (-2)/4 - (-2420)/(-187). Let a = p - -27/2. Which is greater: v or a?
v
Suppose -4*x + 3*w = 54 - 16, 0 = x - 3*w + 5. Is x <= 75?
True
Let j(x) = -x**3 + 3*x**2 - 4*x + 21. Let t(d) = 1. Let s(z) = -j(z) + 2*t(z). Let y be s(3). Are -29/4 and y non-equal?
True
Suppose -56*u - 3*u = -885. Suppose -5*g = -k - 7, -13*g + 2*k - 10 = -u*g. Is g >= 2?
True
Let b = 5383.155 + -5383. Which is bigger: b or 2?
2
Suppose 0 = 56*u - 49*u + 329. Let j = -157/2 - u. Is -33 smaller than j?
True
Let r = -69737.85 - -69738. Let g = 0.9 + -0.2. Is g equal to r?
False
Let r = 12703 - 36541. Which is bigger: -23837 or r?
-23837
Let l = 228.4 - 175. Is -1 bigger than l?
False
Let w be 1/(-48) - 6/(-8)*(-102)/(-153). Is 0 > w?
False
Let l be -218 + (3/(-10) - 517/110). Which is bigger: -221 or l?
-221
Let f(m) = -8*m + 10. Let i be f(-3). Let p = -377/11 + i. Let d(c) = -c**2 - 2*c + 1. Let a be d(-2). Which is smaller: a or p?
p
Let k = 1392 - 1324. W