: j or -1/37?
j
Let m = 1748.1 - 1748. Is -0.011 != m?
True
Let z = -11 - -4. Let b = -1289 - -1284. Is b at most z?
False
Let k = -140.4 + 140.2. Is k > -3?
True
Suppose -3*k = -4*x + 5, 0 = -3*k - x - 6 - 4. Let j = -8 + 10. Suppose -3*s = -4*r - 0 - 5, -j*r + 5*s + 15 = 0. Is r at most k?
True
Let v(p) = p**3 + 7*p**2 - 2*p - 9. Let w be v(-5). Which is smaller: 50 or w?
50
Let f(p) = p**3 - 3*p**2 + 2. Let i be f(1). Let u(z) = z**3 - z**2 + z - 1. Let m be u(1). Let k = m + i. Is k bigger than -6/5?
True
Let f = -0.06 - -0.1. Let k = -17637/35 + 2521/5. Are k and f non-equal?
True
Let x be -3 - (3 + 72/(-11)). Suppose -c = -2*g - 4*c + 8, -4*c + 11 = 3*g. Suppose y + g = -u, -4*y = -y + 2*u. Do y and x have different values?
True
Let x = -18 + 25. Let k = 17 + -12. Let l = x - k. Which is smaller: -1 or l?
-1
Suppose 3*k + 5*j = 258, 5*k - 430 = -13*j + 10*j. Is 87 bigger than k?
True
Suppose 103 = -5*l - 2. Let a = -12 - l. Let h = 0.3 + -0.2. Which is greater: h or a?
a
Let y = -0.6 - -0.1. Let p = -0.58 - y. Let q = p + 0.08. Which is smaller: q or 3?
q
Let v = 280 + -279. Is v at least as big as 0.019?
True
Let d(p) = -p**2 + p - 17. Let a be d(0). Let n(k) = -k**3 - 12*k**2 - k + 2. Let o be n(-12). Let t = -2 - o. Which is bigger: a or t?
t
Let v(x) = 5*x - 26. Let b be v(5). Is -3/364 smaller than b?
False
Let f = -15926 + 159041/10. Are f and -23 nonequal?
True
Let a = -1232 - -80076/65. Which is greater: a or 1?
1
Let w be 5 - 2 - 14818/(-310). Is w bigger than 51?
False
Let y(f) be the third derivative of -f**6/120 - 3*f**5/20 + 3*f**4/8 - 5*f**3/3 - 9*f**2. Let u be y(-10). Which is smaller: 3/16 or u?
u
Let a = -776 + 787. Does 3 = a?
False
Suppose -3*f + 5*n + 343 = -0*n, 0 = f + 2*n - 129. Suppose -5*w + f = -159. Suppose 0 = -8*q + q - w. Which is smaller: q or -11?
-11
Let u = -282911/103515 - 2/6901. Let o = 8/3 + u. Let d be ((-6)/(-2))/(14/(-2) - -4). Which is smaller: o or d?
d
Let p(j) = -j**2 + j + 1. Let g be p(-2). Let a be (6/(-5))/(g/25). Let l = 8 + a. Is 14 at least as big as l?
True
Suppose 2*v = 2*s + 2, 6*v - 8*v + 7 = 3*s. Is s less than -1/130?
False
Let o = 60 - 132. Let c = -50 - o. Which is smaller: c or 0.2?
0.2
Let a(s) = s - 1. Let n be a(0). Let b = n - -14. Suppose 5*l - 54 = 4*h, -2*l - 2*h = -l - 22. Is l smaller than b?
False
Let g = -45 + 43. Let q = 4.28 - 5. Let r = 0.6 + q. Is r equal to g?
False
Suppose -5*u + 0*u = -25. Suppose -u*y + 10 = -10, 4*s - y + 16 = 0. Let q(m) = 3*m**2 + 4*m - 1. Let h be q(s). Is h > 14?
False
Suppose 4*y + 4*o + 140 = 0, -41 = -4*y + 2*o - 193. Which is smaller: y or -147/4?
y
Let o(a) be the first derivative of -2*a**3/3 - a**2/2 - 2*a + 1. Let h be o(-2). Let k = -6 - 1. Is h less than or equal to k?
True
Let n(v) = -3*v - 8. Let l be n(6). Let x be (-294)/(-245) - 5/25. Which is greater: x or l?
x
Let a = -2969 - -2903. Which is bigger: a or -9?
-9
Let i = 229 - 134. Let x = i - 94.9. Which is smaller: x or -0.15?
-0.15
Let k be ((-1)/2)/((-1)/22). Let d(u) = -u**2 - 11*u - 15. Let z be d(-7). Are k and z equal?
False
Let f = 0.108 + -87.108. Let r = f + 90. Is -1/4 at most as big as r?
True
Suppose 4*b = -0*b. Suppose i + b = 21. Let a be i/14 + 34/4. Do 11 and a have different values?
True
Let j = 5.5 + 19.5. Let a = 27.2 - j. Let c = a + -4.2. Which is smaller: c or 1?
c
Let k(t) = t - 8. Suppose 1 = o - 10. Let z be k(o). Which is bigger: z or 0?
z
Let h = 18.9 + -172.9. Let f = -156 - h. Let o(x) = x**3 + 5*x**2 + 2*x + 7. Let q be o(-5). Is f >= q?
True
Let j(o) = -o**2 + 26*o - 28. Let n be j(25). Does -6 = n?
False
Let m be 6/(-2)*(5 - (-350)/(-21)). Suppose c - m = -6*c. Is c less than -1/2?
False
Let z be (1 + 15/(-18))*(-3 - 0). Let c(j) = -j**2 + 3*j + 4. Let v be c(5). Let n = v - -4. Which is bigger: n or z?
z
Let q(j) = 2*j**3 + j**2 - 3*j. Let m be q(-3). Let w be (-150)/m + (-2)/12. Suppose w = -2*z - 0. Do z and -1 have the same value?
False
Let g = -3 + 4. Let n = -20 - -19. Let w be 30/22 - n/(2/(-2)). Do w and g have the same value?
False
Let q be 0 - ((-65)/(-32) + -2). Suppose 15*w + 588 = -6*w. Let s(u) = u + 29. Let b be s(w). Are q and b non-equal?
True
Suppose 14472 = -58*t + 3742. Is -184 at least as big as t?
True
Suppose 2*g + 20 = -0. Let n be (-1)/(6/g)*-3. Suppose -180*m + 178*m = -5*s + 21, 0 = -m - 4*s + 9. Which is smaller: m or n?
n
Let o(m) = m**2 + 14*m + 28. Let n be o(-12). Suppose 4*d + 16 = 2*q + n, -5*d - 15 = 2*q. Which is bigger: -34 or q?
q
Let v = 34 - 22. Let k(o) = -o + 14. Let m be k(v). Suppose m*h = h + 11. Are h and 11 equal?
True
Let r = -16994683/663 + 25633. Do r and -1 have different values?
True
Let t = -16 - -21. Let n(r) = -r**3 + 6*r**2 - 7*r + 1. Let x be n(t). Let g be x*1/(-99)*-6. Is g equal to 2?
False
Let i = 1/191 - 393/2101. Let k(a) = -a**3 + 18*a**2 - 18*a + 19. Let n be k(17). Suppose 0 = 4*q - n*q. Which is smaller: i or q?
i
Suppose -3*b + 5*c - 31 = -0*c, -4*c + 22 = -b. Which is greater: b or -32/13?
b
Let r = 17012/5 + -16206/5. Let g = -162 + r. Are 0 and g non-equal?
True
Let p be -1 - -17*(-2)/(-10). Let v = 5442 + -5440. Is v at most as big as p?
True
Suppose -4*f = -2*f - 38. Let u = 1460 + -1460. Which is bigger: f or u?
f
Let o(h) = -h**3 + 13*h**2 - 28*h + 11. Let m be o(11). Let w be (88/m)/(((-2)/(-10))/1). Is -9 less than or equal to w?
True
Suppose -k - 121 = -3*y - 0*k, 5*y - 199 = k. Let b be ((-2)/(-27))/(1*y/(-9)). Is b smaller than 0?
True
Let c = 262 + 141. Is c != 402?
True
Let d(c) = c**3 - 6*c**2 + 3*c + 7. Let a be d(8). Is a less than 161?
True
Let r be ((-86)/(-1204))/(2/28). Are 69 and r nonequal?
True
Let x be (-1)/2 + 777/(-14). Let i be 116/(-42) - 24/x. Let k be (-4)/(4 + -1 - 1). Is i equal to k?
False
Suppose 260 = 4*o - 0*o. Suppose 5*f = -15, -2*r + 7*r + 5*f + o = 0. Let m be 11/44*r/(-4). Is 0 less than m?
True
Suppose m + 15*x = 11*x + 12, 3*m = 2*x + 8. Which is smaller: -4.9 or m?
-4.9
Suppose -38*p + 308 = -31*p. Is p <= 45?
True
Suppose 130 = 2*l + 112. Let o(i) be the first derivative of i**3/3 - 5*i**2/2 + 2*i - 3. Let u be o(6). Which is smaller: u or l?
u
Let i be (9 + -9)/(-1)*1. Is i bigger than 5/43?
False
Let s be (-14)/(-4) - (-7)/14. Suppose 2*w = 6*w - s*z - 44, 2*w = -5*z + 8. Suppose 4*m - w*m = 0. Is 0 < m?
False
Let h = 28/25 - 1279/1075. Let z = -29/817 + h. Let s(l) = l**3 - l**2 + l - 1. Let p be s(0). Do p and z have the same value?
False
Let d = -327 + 225. Is -102 less than or equal to d?
True
Let c(j) = 3*j - 8. Let s be c(-5). Let y = s + 30. Is y greater than 7?
False
Let h(l) = -27 + 0*l - 17*l + 17*l**2 - l**3 + 18 + 25. Let u be h(16). Is u < 4/19?
True
Suppose 7*u = 6*u + 5. Suppose -4*p = u*w - 7*p - 131, 0 = 3*w - 5*p - 85. Is 25 at most as big as w?
True
Let a = 1.75 + -1.78. Let t = -12 + 10.7. Let j = t + 1. Is a <= j?
False
Let b = -152.78 + 149.1. Which is greater: b or -2?
-2
Suppose 4*k - 8*k + 20 = 0. Let h be k/16 + 0/14. Which is greater: -1 or h?
h
Suppose 33 = v - 4*v. Suppose -14 = -16*h + 17*h. Does v = h?
False
Suppose -4*l + 5*f + 120 = 0, -3*f + 47 = -0*l + l. Suppose 13 + 22 = q. Is q >= l?
True
Suppose -5*u - 5*b - 92 - 113 = 0, 2*u + 3*b = -77. Is u greater than or equal to -41?
False
Suppose b - 30 = -2*b. Suppose -8*s = -b*s. Let j be (-2)/(-6) + (-14)/(-66). Which is smaller: j or s?
s
Let m(i) = i**2 - 6*i + 7. Let z be m(6). Suppose o = -1 + z. Let n be (-9)/6*(-28)/6. Which is smaller: n or o?
o
Let x(r) = 7*r + 11. Let f(i) = i + 2. Let v(t) = 6*f(t) - x(t). Let k be v(-2). Is k greater than or equal to -19?
True
Let f = -37 + 54. Suppose f = g - 2. Does 2/5 = g?
False
Suppose 0 = 4*f - 3*t - 701, -353 = 5*f - 7*f + t. Is 179 less than f?
False
Let i be 2/28 - (-24656)/(-224). Are i and -108 non-equal?
True
Suppose 4*a = -3*d - 2*d - 108, -60 = 2*a + 4*d. Let b = a + 23. Which is smaller: b or -6?
-6
Let q = 23 - 27. Let s = 12 + -8. Suppose -2*h + 10 = s*t, -t - 5*h + 4*h + 4 = 0. Which is smaller: q or t?
q
Let l = 0.1446 - 0.1946. Which is bigger: l or 5.2?
5.2
Let s be 58/(-116)*0/2. Does 2/625 = s?
False
Let m = -10576 + 10576. Let h = -0.2 + 0. Which is bigger: m or h?
m
Let i = 153/5 + -152/5. Is -12/7 smaller than i?
True
Let v be ((-6)/(-8))/((-11)/(-44)). Let b(y) = 0 + 