 -51. Which is greater: -15 or j?
j
Let v(f) = -f - 7. Suppose 0 = y + 5*u - 5 - 7, 0 = -2*y + u - 31. Let z be v(y). Do 5 and z have the same value?
False
Suppose -5*p = -3*p - 3*m + 13, -4*p - 3*m = 53. Which is smaller: p or 86?
p
Let s(x) = 2 + 3*x + 13*x - x + 3*x. Let j be s(2). Is j != 38?
False
Let s = -1747 - -1741. Which is bigger: -80/11 or s?
s
Let n = 25 + -26. Let t be 85/(5/n) + 4. Which is greater: t or -12?
-12
Let f be (2/3)/(4/102). Suppose f = -2*t + 3*t. Are 14 and t nonequal?
True
Let l = -575 - -575. Is l greater than 6?
False
Let u(b) = b**2 + 4*b - 2. Let t(m) = -2*m**2 - 11*m + 6. Let l(k) = 3*t(k) + 8*u(k). Let x be l(2). Is 13/2 <= x?
True
Let t be (-1512)/70 + -1 + (-3)/(-5). Let q = 11 + t. Is -12 != q?
True
Let p(q) = q**3 + 7*q**2 + 3*q + 72. Let b be p(-8). Is -12 != b?
True
Let i be (-1)/20*-5*(-6)/159. Which is smaller: i or 0?
i
Let w = 25597/531 + -434/9. Which is smaller: w or 1?
w
Let u(j) = j**2 - j. Let l be u(0). Suppose 3*t - 1 = -4*q, -3*t + l*t = q + 11. Which is smaller: 10 or q?
q
Let u = -3 + 2.5. Let j = u + 0.4. Which is bigger: j or -6/13?
j
Let t = 2135 + -2119. Which is greater: -24 or t?
t
Suppose r = -r - 40. Let b be (6/(-5))/(6/r). Which is bigger: 1 or b?
b
Let z = -2/2903 - -5900/136441. Let v = 55/188 - z. Is 1/4 less than or equal to v?
True
Let h be 3 - (-4)/(-2) - -12. Suppose 0 = -15*w + h*w - 36. Let g = 20 + w. Which is smaller: g or 3?
g
Suppose 163*z = 162*z + 3. Is 20/9 less than or equal to z?
True
Let i(o) = -2*o**3 + 3*o**2 + 15*o + 21. Let n(r) = r**3 - 2*r**2 - 10*r - 14. Let w(y) = -5*i(y) - 7*n(y). Let h be w(-2). Which is smaller: -24 or h?
h
Suppose 3*h + 4*w + 452 + 370 = 0, 2*h - 4*w + 528 = 0. Which is smaller: -269 or h?
h
Let m = -12515/8 - -1564. Which is smaller: m or -80?
-80
Let t = 24774093/2165 - 11443. Which is smaller: 0 or t?
t
Suppose 66*j - 55*j - 869 = 0. Is 2 >= j?
False
Suppose 2*a - 4*n - 20 = 0, 10*a - 5*a + 4*n - 22 = 0. Suppose -14*s + a*s + 64 = 0. Which is greater: s or 3?
s
Let p = -1361 - -1433.1. Let r = 72 - p. Is r < -42?
False
Let u be 0/(-4 + -3 + 8). Is u greater than -5/4?
True
Let j(l) = -l + 11. Let b be j(9). Let c = 7/3 - b. Are 10 and c equal?
False
Suppose 0 = -4*d + 2*b + 170 + 54, -d - b = -62. Which is bigger: d or 55?
d
Let a = -276 + 380. Which is smaller: a or 102?
102
Suppose -7*f = -11*f + 48. Suppose -14*l = -f*l. Is l <= 14/11?
True
Let c be ((-8)/(-6) - 1)/(-1). Let l(y) = -3*y + 4. Let h be l(1). Let b be (3/(-4) + (-1 - -2))/h. Is b not equal to c?
True
Suppose -12*z - 37 = -349. Which is smaller: 14 or z?
14
Let i(u) = u**3 - 7*u**2 - 1. Let w be i(7). Let r be (-140)/(16/4) - (w + 3). Is -39 less than r?
True
Let v = 8 - 8. Let g = -0.41 - -0.43. Which is greater: g or v?
g
Suppose -4*h = -15 - 1. Let r = -397 - -401. Do r and h have the same value?
True
Let g(i) = i**3 - 3*i**2 - 4*i. Suppose 4*p = 15 - 3. Let x be g(p). Let y be (-8)/x + 4/12. Is 2/21 <= y?
True
Let m(f) = 4*f**2 - 9*f - 3. Let j be m(0). Which is smaller: j or -53/19?
j
Let c(p) = 5*p + 4. Let k be c(0). Let t be (10/(-4)*k/5)/(-2). Is -1/21 at least as big as t?
False
Suppose -4*s = -31 + 11. Suppose 0 = 5*v + s*y + 125, 4*y + 58 = 4*v - 6*v. Which is smaller: v or -22?
-22
Suppose 0*x - q + 8 = -2*x, -5*x + 3*q = 21. Let b(n) = n**2 - 58*n + 665. Let r be b(16). Which is smaller: r or x?
r
Let b = -42.088 - -0.088. Let v = 43 + b. Does 1/20 = v?
False
Let x = 0.752 + -0.752. Is x less than or equal to 142/7?
True
Let g be ((-1)/(2/(-147)))/3. Suppose -3*n = -19 - 56. Which is smaller: g or n?
g
Let d = -609 + 609. Are d and 7 non-equal?
True
Suppose -5*l - 50 + 250 = 0. Suppose 0 = -2*b + 3*j - l, -2*b - 2*j - 11 = 9. Suppose 6*t = 3*t - 39. Which is smaller: t or b?
b
Suppose 2*a = -0*a. Let m(c) be the third derivative of c**5/60 + c**4/4 + 4*c**3/3 + 2*c**2. Let y be m(-4). Is y less than or equal to a?
True
Let j = -0.011 - -0.661. Let y = j - 0.74. Is 0 at most as big as y?
False
Let w = -1.5 - -1.58. Let k = w - -2.82. Let o = k - 2.8. Which is smaller: o or -0.24?
-0.24
Let c = -2.7 + 13.7. Let i = 75.75 + -0.75. Let f = i - 74. Is c at most as big as f?
False
Suppose -4*s + 3*s + 5 = 3*y, 0 = 4*s - 3*y + 10. Is -3/74 less than s?
False
Let p = 26363/18 + -2923/2. Let r(u) = -u - 1. Let d be r(-3). Which is smaller: d or p?
d
Let f = 22 + -30. Let r be (-222)/30 + f/(-20). Which is bigger: r or -6?
-6
Let s be 3 - (2 + -41)*6/9. Suppose -24 = -33*f + s*f. Which is bigger: 50/9 or f?
f
Suppose 6*c = 24*c + 18. Is -1/68 at most as big as c?
False
Let q(h) = -h**3 - 5*h**2 + 8*h + 12. Let g be q(-6). Is g smaller than 7/40?
True
Let b = -0.269 - 9.703. Let x = b - 0.028. Let p = -2 + 2.2. Which is greater: p or x?
p
Let n = 9 + -11. Suppose 23*c = 5*c - 54. Which is smaller: n or c?
c
Let m = -276 - -276. Is 2/83 not equal to m?
True
Suppose -1110 - 8 = -2*u. Which is greater: 556 or u?
u
Let c = 0.09 - 0.19. Let b = 14 - 14.5. Let z = 0.8 + b. Is c > z?
False
Suppose -4*y + 305 = y. Let v = 2435 - 2373. Are y and v unequal?
True
Suppose 67 = -3*k + 49. Let j be ((-4)/(-10))/((-13)/(-65)). Suppose -2*p + 3*d = p + 30, -5*p + j*d = 38. Is k < p?
False
Let m = 34.078 - 0.078. Which is smaller: m or 0.4?
0.4
Let k be ((-3)/(-6))/(2/(-144)). Suppose 4*b - 7*b = -b + 74. Which is greater: k or b?
k
Suppose -150 = 72*x - 57*x. Let q be (5/(-4))/(1/8). Are q and x nonequal?
False
Let c(f) = 3*f. Let d be c(1). Suppose 43 = 4*y - g, d*y = 4*g + 17 - 1. Let z be ((-2)/(-6))/(2/y). Is z >= -0.1?
True
Suppose 2*g + 6 = -0*g, 2*d = -g + 5. Let y be (-2)/d*4 + 2. Suppose k + 0 - 1 = y. Is k smaller than 5?
True
Let r = -671.9 + 672. Which is smaller: -5/14 or r?
-5/14
Let a = -144.9 - -145.2. Is a at least as big as -0.051?
True
Let a be (192/56)/((-2)/(-7)). Suppose 0 = a*k - 5*k - 7. Which is smaller: k or 2/3?
2/3
Let d(y) = -y**3 - 9*y**2 - y - 10. Let h be d(-9). Suppose -z = -5*o - 19 - 9, 3*z = -2*o - 1. Is h greater than z?
False
Let l(c) = -123*c - 12 + 108*c - 2 - c**2. Let f be l(-14). Are f and 0.1 non-equal?
True
Let o(t) be the third derivative of -t**6/120 - t**5/12 - t**4/8 + 2*t**3/3 - 11*t**2. Let a be o(-4). Which is greater: a or -4/7?
a
Let y(n) = 49*n - 258. Let g be y(5). Let r = 167/4 + -42. Is g not equal to r?
True
Let x = 204 - 206. Is x smaller than 12?
True
Suppose 0 = -w - 1, 2*w + 154 - 20 = a. Which is bigger: -3 or a?
a
Let b(g) be the first derivative of -g**4/4 - 2*g**3/3 - g**2/2 - 2*g - 1. Let m be b(-2). Let x(h) = 32*h - 225. Let s be x(7). Which is smaller: s or m?
s
Let g = 8 - 9.8. Let c = 1.85 + g. Is c smaller than 2/5?
True
Let r = -1541/480 + 16/5. Let u = r + -21/32. Let t(i) = -i**3 + 11*i**2 - 11*i + 5. Let n be t(10). Is n at least as big as u?
False
Suppose -l = i - 4*i + 5, 3*l - 5 = -i. Suppose -3*y - j = -9, -y - 5 = -0*y + 3*j. Suppose d - 13 = 5*v - d, 4*v - y*d = -8. Is l bigger than v?
True
Let q = 583/84 - 48/7. Is q >= 1/12?
True
Let y be ((-2)/1)/(7/(-14)). Let h(l) = 3*l**2 + 4*l - 2. Let x be h(-2). Suppose 0 = s - q - 0*q - x, -y*s + 12 = -2*q. Is 2 at least s?
False
Let a = 74/1251 - 1/278. Which is smaller: a or -1?
-1
Let v be 564/(-90) - (-45)/27. Which is smaller: v or 0?
v
Let v be 1/(-3*3/(-45)). Let d(x) = 10*x**2 + 5*x - 2. Let q be d(-3). Let g = 78 - q. Is v bigger than g?
False
Let s(f) = 3*f**3 - 40*f**2 + 47*f - 2. Let p be s(13). Is p at most 439?
False
Let a(b) = 3*b + 10. Let y be a(-5). Let q = y + 5. Which is greater: q or -3/7?
q
Let v(y) = y**2 - 3*y - 2. Let i be v(3). Let d = 3 + i. Which is greater: 6 or d?
6
Let z = -1 - 0.7. Let g = z + 1.73. Let c = g - 0.23. Which is bigger: -0.4 or c?
c
Let k = -13 - -18. Suppose -b - k*y - 10 = 4*b, 3*y = -5*b. Suppose -2*n - b*n = -z + 20, 4*z + 2*n = 14. Which is smaller: z or 6?
z
Suppose -v + 273 = 3*v + r, -4*v + 4*r + 268 = 0. Which is smaller: v or 73?
v
Let s = -1/14 + 37/616. Is s equal to 0?
False
Let y be ((-105)/(-14))/(3/4). Suppose 0 = m - 6*m + y. Suppose -m*n + 0*n = 0. Does 1/10 = n?
False
Suppose -4*a + 9*s - 5*s + 3604 = 0, 2*a - 1784 = -4*s. Is a < 898?
False
Suppose 0 = 4*t + 4*f + 56, 3*f = -t - 2 - 4. Let s(p) = -2*p**2 - 14*p. Let w be s(-7). Suppose 5*z = -w*z - 90. Is t at least z?
True
Let o =