
Suppose -13*n = -14*n. Is n < -4/43?
False
Suppose -19*v + 17*v = 8. Are v and -1/18 non-equal?
True
Let u = 7 + -58. Let t = 50.6 + u. Let a be 51/(-15) - 4/(-10). Is t smaller than a?
False
Suppose -b - 255 = 2*b + t, -t - 170 = 2*b. Let r be 330/b - (0 - 4). Which is smaller: r or 0?
0
Suppose s = 2*h - 23, 3*h - s - 51 = -h. Let u(q) = -q**2 - 5*q + 8. Let a be u(-6). Let p be 104/4*1/a. Which is smaller: p or h?
p
Let s = -161 + 169. Which is smaller: 2/13 or s?
2/13
Let w be (-4)/(-18) - 7/(-9). Let s be (-1)/w - 275/(-5). Let r be (3/(-8))/(s/312). Is r <= -1?
True
Let t = 0.1 + -1.9. Let f = -0.2 - t. Let q = 1.7 - f. Do 0.19 and q have the same value?
False
Let v be -7 - 40/8 - -434. Is v less than 418?
False
Let w be ((-3)/6 + 1)*8. Suppose 0 = -5*p + 2*p - w*d + 6, -d + 1 = p. Are p and 0.1 unequal?
True
Let g(i) = -i + 4. Let f(s) be the second derivative of s**3/2 - s**2/2 - 3*s. Let o be f(1). Let n be g(o). Which is greater: n or 1/2?
n
Let v = 310 + -310. Which is smaller: -4/15 or v?
-4/15
Let d = -135.1 + 148.03. Let p = 0.07 + d. Let c = 23 - p. Are 1 and c unequal?
True
Suppose -153 = 5*v + 4*d - d, -v - 3*d = 33. Let s be v/(-20)*10/3. Which is bigger: 6 or s?
6
Let u(p) = p + 3. Let l be u(-4). Let j be (1/6)/((-18)/((-4536)/(-20))). Is l bigger than j?
True
Suppose n = 4*q + 164, 2*q - 2*n - 3*n = -64. Let p = 55 - 96. Is p smaller than q?
False
Suppose -4*q - 4*k + 9 = 5, 2*k - 2 = -3*q. Suppose 0 = -q*u + 2*u + u. Which is smaller: -3/44 or u?
-3/44
Let y be -1 - ((-1221)/405 + 2). Let n = 11/135 - y. Is n greater than -1?
True
Suppose -x + 0*x + 85 = -2*o, x - 85 = o. Which is smaller: 82 or x?
82
Let l be (-15)/5 - (2 - 11). Suppose i + i = l. Suppose -q = 2*q + i. Is 0 at most q?
False
Suppose 3*m + 2*o + 8 = -9, 5*m + 25 = -4*o. Is m at most as big as -7?
True
Suppose 0 = -3*d + 10 + 2. Suppose p - d*p = -18. Let h = p - -5. Is 11 bigger than h?
False
Let z(x) = -x**3 - 12*x**2 + 13*x + 19. Suppose 2*i + 0*i = 2*s + 20, 0 = -2*s + 4*i - 14. Let c be z(s). Is c at most as big as 19?
True
Suppose -13*q - 44 = -17*q. Suppose -2*k + 36 = -3*f - f, -f = -k + q. Let v be (1 + 4)*-1 + -1. Is f at most v?
True
Let v = 1 - 1. Suppose 5*q + 32 = -2*k + 81, v = -3*q - k + 30. Let r be (2 + -30)/(181 - 185). Which is smaller: r or q?
r
Suppose -9*q + 3*c + 14 = -4*q, 2*c - 8 = -q. Which is bigger: q or 50/11?
50/11
Let p = -318471024 + 573884805967/1802. Let y = p + 2/901. Which is bigger: 13 or y?
13
Suppose -2*o = -5*l - 163, 0 = -2*o - 0*l + 4*l + 164. Let d be 134/14 + (-48)/o. Let u = d - 8. Which is smaller: u or 2/45?
2/45
Let t(i) = -23*i - 5. Let s(u) = 68*u + 16. Let f(m) = -4*s(m) - 11*t(m). Let h be f(-4). Which is bigger: h or 68?
68
Let i = 12885 - 14882222/1155. Let o be -4 - (-2294)/616 - (-3)/12. Let q = i + o. Is q not equal to 0?
True
Let s be ((-7)/(-46))/7*5*-102. Let r = s + 11. Which is smaller: 1 or r?
r
Suppose 4*j = -503 + 167. Let c = 2228 + -6434/3. Let g = j + c. Which is smaller: g or -1?
-1
Let z(r) = -r**3 + 4*r**2 - 3*r + 1. Let w be z(3). Let t = 902 + -895. Which is greater: w or t?
t
Suppose -4*r - 6 = -5*b, b - 2*r = 3*r - 3. Let y be ((-3)/b)/((-7)/14). Let w be y/5 + 140/(-275). Is w bigger than 0?
True
Suppose 8*p - 4 - 4 = 0. Which is bigger: p or -2/835?
p
Let q = -612 - -614. Is -22 <= q?
True
Let z be 5*(-2)/(-10) - 0. Let f be (z/(-2))/((-7)/14). Is f less than or equal to 5/3?
True
Let i be (148/(-75) + 2)*-10. Do -2.6 and i have the same value?
False
Suppose -2*s - 2*z = 2*s + 18, 3*s + z = -13. Is s at most -3?
True
Let w(n) = 64*n - 321. Let s be w(5). Suppose -5*v - 5*p = -30, -p = 4*v + v - 26. Is v at most s?
False
Let x(n) = n**3 + 11*n**2 + 9*n - 9. Let v be x(-10). Let q be 161/84 - 2/v. Let y = -5 - -5. Is y != q?
True
Suppose 0*o = -5*o - 10, 4*o = q - 19. Let y = q + -17. Let c be (-3)/5*4/y. Which is smaller: 9 or c?
c
Let t = -144 + 142. Which is smaller: 0.038 or t?
t
Suppose -3*d + 98 = 17. Suppose -40 = d*i - 22*i. Which is bigger: i or -9?
i
Let w = -816 + 815.9. Which is smaller: 909 or w?
w
Let b = 72 - 48. Let r = -19 + b. Which is smaller: 2 or r?
2
Let r(u) = -2*u**2 + 9*u - 1. Let m be r(4). Suppose -5*f + 2*j = 4*j - m, 5*f = j - 9. Suppose a = -4*a + 15, -x - a = -1. Is x <= f?
True
Suppose 5*x + 0*d - 15 = -4*d, -9 = -3*x - d. Let s be 0 + x - (-7 - 0). Suppose a - s = -9. Which is smaller: -15 or a?
-15
Let c be (9/6)/((-1)/(48/(-90))). Is 1.2 not equal to c?
True
Let v be (-2)/((-4)/(-6)) + -1. Let h be 2/8 - 27/v. Suppose 0 = 4*w - 2*u - 12, -u - 2*u - h = 5*w. Is w at least 3/10?
True
Suppose 7*q + 68 = 3*q. Let v = q - -13. Which is smaller: -8 or v?
-8
Suppose 0 = -0*d + 4*d - 32. Let k = 27 + -26. Let x be (4/(-24))/(k/(-6)). Are x and d non-equal?
True
Suppose -399 = -5*t + 2*s, -4*t - 5*s + 312 = -3*s. Which is smaller: 77 or t?
77
Suppose 7*m - 4*m = 4*q + 86, -3*q - 68 = -4*m. Is q < -20?
False
Let j be -1 - ((-43)/(-2))/((-2)/(-4)). Let v = j + 11. Are -33 and v non-equal?
False
Let m be -3 + 273/(-6) + 0. Let s = -47 - m. Which is smaller: 0.2 or s?
0.2
Suppose -4*s + 284 = 88. Let w = 7816 - 7815. Do w and s have the same value?
False
Let w(z) = -z + 10. Let x be w(7). Suppose x*o + 3*n = 3, 6 = -4*n + n. Suppose 0 = -o*g + 3*v - 48, 2*g + 5*v = -0*g - 53. Which is smaller: -20 or g?
-20
Let u(i) = -2*i**3 - 5*i**2 - 2*i - 3. Let y be ((-9)/6)/((-6)/8). Suppose -y = v - 0. Let q be u(v). Is q greater than -3?
False
Let u be (3/12)/((-60)/(-96)). Let d(s) = -3*s - 5. Let p be d(-4). Which is smaller: u or p?
u
Suppose -299*m = -306*m. Is m bigger than 2/581?
False
Let w = 62 + -249/4. Is 4.9 > w?
True
Let o = -775 + 774.847. Which is bigger: -2/3 or o?
o
Let c = 20051/41 - 489. Let r = -4.9 - -5. Which is smaller: c or r?
c
Let v = -6/55 + 28/55. Suppose y = 5*i - 51, -5*i + 2*y = -0*y - 52. Let u = i + -16. Is v at most u?
False
Let z be (1 - 1) + (3 - 1). Suppose 40 = 6*b - z. Which is bigger: 8 or b?
8
Let a = 27 - 31. Are 1/6 and a non-equal?
True
Let r be -5*(2*1 + (-13)/13). Suppose 0 = 5*p + 3*i - 30, 5*p = 2*i + 38 - 8. Suppose p*v = 2*v. Which is greater: v or r?
v
Suppose -3*t = 2*z + 488, 2*t + 231 + 81 = -4*z. Is -166 at least t?
True
Let g = 8 - -58. Let j = 63 - g. Is j at least as big as -7?
True
Let n be (4/6)/(2/(-6)). Let r(l) = l**2 + 19*l. Let k be r(-20). Let v = k - 21. Is v at most n?
False
Suppose -5*l + 12 = -l, -5*d - 5*l = 735. Which is bigger: -151 or d?
d
Suppose -15*m + 0*m = -840. Which is smaller: m or 54?
54
Let k = -361 + 358. Is 154 at least as big as k?
True
Suppose -5*u + 135 = -5*h, h + 3*h - 3*u = -112. Let t = 12 + h. Which is bigger: t or -18?
-18
Let a(x) = x**3 - 11*x**2 - 2*x + 27. Let r be a(11). Let c be ((-36)/10)/((-8)/20). Let f be 57/c + (-2)/(-3). Is f at least r?
True
Let j = 859 - 787. Is 72 less than or equal to j?
True
Suppose 3*f - 1 = 3*p + 2*f, 0 = p + f - 1. Which is smaller: -0.0321 or p?
-0.0321
Let q(b) = b**2 - 44*b - 111. Let y be q(58). Do y and 701 have the same value?
True
Let j = -5 + 8. Let t(z) = -5*z + 3. Let x be t(j). Let h be ((-12)/(-18)*-6)/(10/3 + -3). Is x != h?
False
Suppose 0 = 5*i - 3*t - 9, 3*i - 5*i = -3*t. Suppose 5*h + i*p + 20 = 0, 3*p - 6*p - 17 = 2*h. Suppose 10*m = 20*m - 10. Is h < m?
True
Let z(r) = 12*r - 4. Let s be z(9). Which is smaller: s or 105?
s
Suppose 5*w - 8*w + 33 = 0. Is 11 at most as big as w?
True
Let x(g) = -495*g**3 - 2*g**2 + 1. Let t be x(1). Let i be 4/(-10) + t/(-1040). Which is smaller: i or 1?
i
Let v = -0.04 - -0.77. Let f = v - 0.9. Let d = f + 6.17. Which is smaller: d or -0.1?
-0.1
Let q = -0.127 - -0.527. Let h = -1 - -0.96. Which is bigger: h or q?
q
Suppose 507*x + 121 = 518*x. Do x and 22 have the same value?
False
Let h = 40 + -14. Let i = -26.2 + h. Is 0 not equal to i?
True
Let b = 277 + -276.949. Are b and 1 nonequal?
True
Let z be -4*5/(-40)*(-316)/(-2). Is 76 < z?
True
Let l(r) = r**3 - 4*r**2. Let b be l(4). Let m = 13 + -10. Let z be 468/378 + (-2)/m. Is z at least as big as b?
True
Let b(q) = -q + 1. Let m be b(-10). Let l = 19 - m. Suppose 5*x = -3*t - 2, -4*x = -t + l - 3. Which is bigger: t or 2/19?
t
Suppose 2*k + s + 29 = 0, k + 139 = -2*s + 132. Which is bigger: -12 or k?
-12
Let o = 9 + -1. Let z(r) =