 -25. Is l at least as big as 1/96?
False
Let k be (-10)/(-8) - (-2)/(-8). Suppose 6*n - 3 = 5*n. Suppose -5*q = -n*q. Which is greater: q or k?
k
Let v = -79 + 79. Suppose -p - 4*p + 15 = v. Is 4 less than p?
False
Let w = 14.5 - 10. Let l = 0.5 - w. Is l != 0.02?
True
Let k = 14 - 28. Let u = 14 + k. Is u equal to 1?
False
Let b be 4/(-7)*7/14. Let o = -7/6 - -29/21. Let w = o - b. Which is greater: -3/16 or w?
w
Let m be (2*(-3 - -1))/(-2). Let l be -4 - (1 + -2) - -11. Suppose 0*h - l = -2*h. Which is bigger: h or m?
h
Let v = 484 - 6773/14. Let i(a) = -2*a**3 + 3*a**2 + a + 1. Let j be i(2). Is v smaller than j?
False
Let t = -13/3366 + -4/765. Which is smaller: -1 or t?
-1
Let c = 16081 + -177071/11. Is -17 < c?
True
Let l(h) = -2*h**3 + 2*h**2 + h + 4. Let g be l(0). Suppose 0 = -o + g*o - 15. Let t(d) = 2*d**2 - d + 1. Let x be t(2). Is o smaller than x?
True
Let g = -692 + 645. Is g >= -49?
True
Let z be (3 - 52/20)*180. Let h be 8/(-44) - z/(-154). Let q = 1.8 + -2. Is h smaller than q?
False
Let v = 575 - 532. Which is smaller: 42 or v?
42
Let h(q) = q**3 + 5*q**2 + 6*q - 3. Let m be h(-4). Let t be (1/2)/(m/132). Does t = -5?
False
Let n = -3.37 + -0.93. Let j = n + -0.7. Let l = 346.9 - 347. Is j greater than l?
False
Let q = -55 + 59. Suppose -4*u + u = -5*j - 25, 10 = q*u - 2*j. Is u <= 4/3?
True
Let o be (0 - -2)*30/12. Suppose -o*z - y + 18 = 0, z + 4*y = -z. Which is smaller: 11/4 or z?
11/4
Let p = 254 + -318. Which is bigger: p or -65?
p
Let w be (12/(-2))/(5 - 4). Let l be ((-24)/135)/(w/(-15)). Are l and 0 equal?
False
Suppose -4 = 3*b + k, 9 - 1 = -3*b + k. Let j(r) = -10*r**2 - 73*r - 79. Let v be j(-6). Which is bigger: b or v?
v
Let o(w) = 25. Let h(f) = -f - 49. Let k(c) = 4*h(c) + 7*o(c). Let d be k(-5). Let x be 13/(-26)*(37 + d). Do -1/4 and x have the same value?
False
Let s = 10.79 - 11. Let w = s + 4.21. Is w <= -1?
False
Suppose 25*a - 63*a - 4598 = 0. Which is smaller: a or -117?
a
Suppose -2*m = -2*r + 384, 5*m + 8*r = 3*r - 1010. Which is smaller: -196 or m?
m
Let q(v) = 5*v**2 + 54*v - 11. Let x be q(-11). Is x equal to -2/7?
False
Let h(c) be the third derivative of -c**4/24 - 5*c**3/6 + 19*c**2. Let v be h(2). Which is bigger: -22/3 or v?
v
Let i = -265 - -267. Which is bigger: i or 20/21?
i
Let g = 265 - 294. Do g and 1/3 have different values?
True
Let x = 42460/741 - 744/13. Which is greater: 1 or x?
1
Suppose -q - 3*q + 2*l + 8 = 0, -q + 20 = -5*l. Let k = -1748/34153 - -2/833. Is q > k?
True
Suppose 4*j + w - 5*w = 0, 2*w = -4*j + 24. Suppose -h = j*h. Let s = -26/9 - -55/18. Is s != h?
True
Let y = -88 + 90. Suppose -s - 3 = 5*f, 2*f + 14 = -4*s + y. Which is bigger: f or -5/8?
f
Let w be (-4 - 0) + 35/(-5) + 12. Does w = -1/277?
False
Suppose -4*q + 6*q = 3*m + 5, 3*q + 4*m - 50 = 0. Which is bigger: q or 0.2?
q
Suppose -5*r - 5*p + 132 - 587 = 0, -3*r + 3*p = 249. Is r less than -88?
False
Let y(z) = 7*z - 368. Let g be y(43). Is g greater than or equal to -265/4?
False
Let f = 1736/345 + -128/23. Which is smaller: f or -2?
-2
Suppose 0 = -a + 3, -3*p - 4*a = -5*p + 1470. Are p and 741 nonequal?
False
Suppose -3*r - 4*x = -17, -4*r - 2*x + 3*x = 9. Let l be 180/(-92) - r - -1. Which is smaller: 0 or l?
0
Suppose 0 = -f + l - 2, -l = f - 6*l + 18. Suppose 2*y + 0*y - 5*p = 38, -y = f*p - 1. Is y > 10?
False
Let c(q) = 27*q - 4. Let y be c(-1). Let f = 33 + y. Which is smaller: f or -2?
-2
Let i be (33/(4 - 1))/1. Let t(v) = v - 2*v**3 + 9*v**3 - 1 + 4*v**3. Let w be t(1). Is w equal to i?
True
Let v(w) = 111*w**3 - 7*w**2 - w. Let t be v(2). Do 859 and t have the same value?
False
Let r(t) = -6*t**2 - 24*t - 12. Let q be r(-5). Let s = q - 13. Is -54 at least as big as s?
True
Let v(m) = -m**2 - 19*m - 36. Let d be v(-17). Let c(g) = -g**3 - 6*g**2 - 3*g + 2. Let y be c(-5). Let o be (d/16)/((-4)/y). Is o > 0?
False
Suppose -2*y = -12 + 18. Suppose f = -5*g - 9, -2*f + 1 = -f. Which is smaller: g or y?
y
Let j = 1 - -2. Let g = 8 + -8. Suppose q = 4*w, 0 = 3*q - g*q - j*w. Which is smaller: q or 6?
q
Suppose 2*w + 4*q = 1 - 73, -2*w - 5*q = 73. Suppose 5*k = 3 + 22. Let r be k/(-15) - w/(-6). Is r at least as big as -7?
True
Let m = -352.89 + 353. Which is smaller: -0.2 or m?
-0.2
Let v = -19 + 18. Let k be -2 + -1 - (v - 4). Suppose 0 = -u - k*u. Which is bigger: u or -1/25?
u
Let i = -3 + 2. Let u = 0 - i. Let m be ((-7)/(175/(-10)))/((-4)/(-20)). Which is smaller: u or m?
u
Let g = 13 + -27/2. Let c(y) = 29*y - 116. Let x be c(4). Which is smaller: x or g?
g
Let x(q) = -q**3 - 7*q**2 - 6*q + 4. Let v be x(-6). Suppose 5 = -7*t + 4*t + 5*y, v*y = 5*t + 4. Which is greater: -1/12 or t?
t
Let w(k) = 23*k - 1. Let f be w(-4). Let b = 8 + f. Let l be b/(-30) - (-1 - -4). Which is greater: l or 2?
2
Let b be (-7)/(-5) - (3 + -2). Let d = -12 + 13. Let f = d + -1.1. Does b = f?
False
Suppose 5*n + h = -0*h, n + 5*h = 0. Suppose n = m + 4*m - 5. Is -4/19 at most m?
True
Let l = -11 + 1. Let h = l + 13. Suppose -i = 2*d + 2*d + 25, 3*i = h*d. Which is smaller: 1 or i?
i
Let d = 88 - 219. Let h be (-6)/(-12) + (-3)/(-6)*d. Which is smaller: -66 or h?
-66
Suppose 20 = 3*g + g. Suppose 0 = -g*q + 2*d - 8, 0 = -3*q + 6*q + 3*d + 9. Let s be (q/(-2))/(1/(-1)). Is -1/9 smaller than s?
False
Let u(m) = -m**3 + 5*m**2 + 3*m - 17. Let j be u(5). Is 72 < j?
False
Let i = 43 + -29. Let d be (-325)/(-35) - (1 - (-5)/(-7)). Let s = 35/4 - d. Is i at most as big as s?
False
Suppose 21*h - 16*h = b - 86, 0 = -4*b + 4*h + 360. Which is bigger: 5 or b?
b
Let z = 3747/40 - 464/5. Is 0 > z?
False
Suppose -3*d - 9 = -6*d. Suppose 2*z + p + 0*p + 94 = 0, 128 = -d*z + 5*p. Is -47 smaller than z?
True
Let h = 16 + -70/3. Let w = -8 - h. Is w at least -3?
True
Suppose 3*h - 5*l - 146 = 5*h, 5*l + 73 = -h. Let g = h + 87. Suppose -q - q + r = -24, -4*q + 60 = r. Is g at most q?
True
Let g be ((42/(-40))/(-7))/(9129/68). Which is smaller: g or -1?
-1
Let s be ((-6460)/16929)/(4/(-42)) - 4. Which is smaller: s or 1?
s
Let v = 22.8 + -23. Let p = 93 - 98.96. Let b = -6 - p. Do b and v have different values?
True
Let z = 6 - 3.4. Let h = z - 2.1. Let o = -2.06 - -0.06. Which is bigger: h or o?
h
Let y = 53 + -29. Suppose -b = 4*q - 9, -y = q - 0*q - 5*b. Is -5/14 at most q?
True
Let h = 8017330/13 + -617355. Let v be 1 - -4 - 648 - -6. Let n = v - h. Is -1 smaller than n?
True
Let y(t) = -2*t**2 + 2*t + 4. Suppose 0 = -4*k + 3*k + 2. Let w be y(k). Which is smaller: 8/7 or w?
w
Let a(n) = -6 - n**2 + 5*n - 4 + 9. Let w be a(5). Do -2/49 and w have the same value?
False
Let p = 49 + -27. Let o = -11 + p. Let l = -14 - -25. Is o > l?
False
Let l be (-2)/4 - (-1)/3. Let q = -1576 + 1576.3. Which is bigger: l or q?
q
Let o be ((-3)/(-12))/((-1065)/3258940). Let u = -765 - o. Are u and 0 equal?
False
Suppose 10*u = 6*u + 12. Suppose 0*l = u*l + 3. Are -4/23 and l unequal?
True
Suppose -4*p = 4*w - 28, 5*w - 3*p - 17 = p. Suppose 3*o + 2*o + w*h = 0, 4*h = 0. Let v be 0 + (1/2)/((-13)/(-2)). Is o > v?
False
Let i(w) = -w**2 + 2*w + 9. Let h be 18/4 - (-4 + (-21)/(-6)). Let s be i(h). Is -19/4 less than or equal to s?
False
Let x be (-24 + 0)/(12 + (-663)/52). Do x and 34 have the same value?
False
Let u = -1/404 - -859/20604. Let z = -2 - -1. Which is bigger: z or u?
u
Let d = -1/10817 - 1471099/140621. Is -10 > d?
True
Let x = 86 + -85. Suppose -7*j = -2*j - 10. Suppose 2*t - 4*t = -j. Is x at most t?
True
Suppose 10*a + 528 = 26*a. Is a greater than 31?
True
Suppose 6*z - 2*z - 84 = 0. Let u = z - 19. Let r = 4 - 2. Do u and r have different values?
False
Let g be 24/96 - (-234)/(-8). Is g at most as big as 2?
True
Let t = -6 + 10. Suppose 1450 = -13*v + 3*v. Let i be v/(-50) - 2/5. Which is smaller: t or i?
i
Let o = 517 + -516. Which is smaller: 93 or o?
o
Let k = 8 + -7.1. Let n = k - 0.9. Let f = -0.1 - n. Are 3 and f non-equal?
True
Let v be 4 + (1840/84 - 0). Let i = v - 26. Is i not equal to 0?
True
Suppose 1625*i + 968 = 1614*i. Which is smaller: i or -92?
-92
Let m = 665 + -611. Do 56 and m have the same value?
False
Suppose 3 = 4*u + 7. Suppose -m = -4*i - 6*m + 101, -3*m = -5*i + 80. Is u less than i?
True
Let q(w) = 4*w - 30. Let s be q(6). Let b be s*2/(-4) + 1/(-3). Which is smaller: -1 or b?
-1
Suppose -11 = -4*k + 