ler: n or -19?
n
Let k = 0.6 - -0.4. Let s = -3 + k. Let d = s + 2.1. Which is smaller: 1/2 or d?
d
Suppose -2*y = 5 + 3. Let q = -3 - y. Are 3/8 and q non-equal?
True
Let s be 2*-1*(-1)/(-7). Suppose -p = 3 - 6. Let d be (-3)/(-2)*(-2)/p. Is d at least as big as s?
False
Let u = 52 + -573/11. Let y be 2/(-3) + (-2)/(-3). Is u at least y?
False
Let b(z) = z**2 - 13*z - 15. Let r be b(14). Let x be r/15*27/6. Which is bigger: x or 2?
2
Let o = -1.3 + 0.3. Let u = -69 + 68.96. Which is smaller: u or o?
o
Let n be 26/(-13)*6/(-28). Is -1 at most n?
True
Let x = 82 + -82. Is x greater than or equal to -2/7?
True
Let h be (0/(-1))/(-3) - 66/3. Which is smaller: h or -23?
-23
Suppose 0 = -3*x + 1 - 7, -d + 3*x = -3. Let v be (d/(-9))/(0 - -1). Is v at least as big as 0?
True
Suppose -f + 0*f - 16 = 0. Let s = -49/3 - f. Let z = 1.03 + -0.53. Is z bigger than s?
True
Let v = -9 + 19. Suppose 2*p = 6 + v. Suppose -a = a - p. Are a and 5 equal?
False
Let x = 14 - 14. Let m = -184/7 - -2010/77. Is x not equal to m?
True
Let o(x) = -x**2 - 14*x + 48. Let h be o(-17). Is -1 >= h?
True
Suppose q + 3*w + 16 = -3*q, -5*w - 16 = 4*q. Is q at least -4?
True
Let b(a) = a**2 - 7*a + 3. Let r be b(6). Which is greater: r or -9/4?
-9/4
Let k(q) = 4*q + 11. Let w be k(-14). Which is greater: -46 or w?
w
Suppose -l = 6*l + 4*l. Which is greater: 5/41 or l?
5/41
Let j(b) = b**2 + 7*b + 6. Let w = 0 - 6. Let h be j(w). Suppose -3*d = -h + 3. Which is smaller: -2/11 or d?
d
Let b = -8.3 - -5.2. Let n = 5 + -4.9. Let w = n + b. Which is greater: w or 1?
1
Suppose 448 = -4*a - 4*a. Which is bigger: a or -55?
-55
Let f = 1/22 - -35/198. Let b = 0 - 0.1. Which is bigger: b or f?
f
Let u be 1*(-38)/70 - 0. Let a = u - -621/1015. Let v = a + 25/58. Which is greater: v or -0.1?
v
Let w = -76 - -128. Is w > 2/5?
True
Let t(x) = -2 - 2*x + 4 + 3*x. Suppose 5*g = -7*z + 2*z + 25, -g - 7 = -5*z. Let c be t(z). Are 4 and c nonequal?
False
Let v = -0.6 + 0.6. Let l = -8 - -8.8. Let a = l + -0.5. Is a >= v?
True
Let x = 4 + -2. Let c(y) = y**3 - y + 1. Suppose -4*f + 16 = 0, -4*f = u - 7*f + 11. Let i be c(u). Are x and i unequal?
True
Let r = -300/1099 - 2/157. Let k = 103.4 + -104. Is k less than or equal to r?
True
Let b be (-1 - -1)/((-9)/(-9)). Suppose -z - 2*z + 21 = b. Which is bigger: z or 5?
z
Let o = 475/14 - 34. Which is smaller: o or -1?
-1
Let d(v) = -v**3 + 6*v**2 + 7*v + 4. Let w be d(7). Let p be (-4)/8*(w - 4). Is -1/11 <= p?
True
Suppose -h + 60 = 5*a, a + 2*h - 4 = 8. Let n be (1 - -1)/(8/a). Let s = n + -2. Do s and 3 have different values?
True
Let d = -62 + 63. Let q = -13 - 0. Which is bigger: d or q?
d
Suppose 6*k - 5*d - 80 = k, -57 = -4*k - 3*d. Let x = k + 4. Suppose x = -4*t + 3. Which is smaller: -5 or t?
-5
Let q(d) = d**2 + 8*d + 8. Let o be q(-7). Let c = 5 - o. Suppose 0 = -a + 5*a - c. Are 1/2 and a non-equal?
True
Let q be 2/(-56)*(23 - 26). Is 0 bigger than q?
False
Suppose -w + 13 = -3*u, 0 = 2*w + 2*w + 3*u + 23. Which is smaller: w or 2/11?
w
Let b(u) = u**3 - 10*u**2 - 11*u - 6. Suppose -3*o = 0, -5*o + 27 = 3*t - 6. Let x be b(t). Is -6 bigger than x?
False
Let a = 0.408 - 0.108. Let m(r) = -r**3 - 6*r**2 + 2. Let z be m(-6). Which is bigger: z or a?
z
Let p = -0.55 + 0.53. Which is bigger: p or -3?
p
Let i(m) = -m + 8. Let a be i(5). Let v be (-1)/(0 + 1 + a). Which is smaller: 2 or v?
v
Let q = 0.37 + 55.63. Is 0.1 at least as big as q?
False
Let y(g) = -9*g - 2. Let h be y(6). Let q = h + 166/3. Which is bigger: -2 or q?
q
Let u = -0.4 - -0.7. Let n be (-32)/30 - 57/95. Which is smaller: u or n?
n
Let z be 1 + 4/(-2) + 1. Suppose 3*i - 5*c = -13, -1 = i + 2*c - 4. Let k be (-16)/44 + (-1 - i). Is z less than k?
False
Let q be 4/(-10) + (-6)/(-10). Which is smaller: q or -0.1?
-0.1
Suppose -5*t - 4*m + 3 = 0, 3*t + m - 1 = -2. Let c = -5 - t. Which is bigger: 3 or c?
3
Suppose -a + 0*a = -2*a. Let q = 30 + -61/2. Is q smaller than a?
True
Suppose 0 = x + 2*x - 12. Suppose -3*p + 0*p = 0. Suppose 4 = x*n - p. Is -0.1 smaller than n?
True
Suppose 13*j = 8*j + 5. Is j <= 5?
True
Let a be (-2)/(-16)*(4 - 0). Which is smaller: -3 or a?
-3
Let l = -12 + 14. Suppose 0 = 2*q - f - l, -3*q + 3 = 5*f. Is q at least as big as 2?
False
Let w = -869125/9 - -96316. Let r = 253 + w. Is 1 >= r?
True
Let s(r) = -3*r**2 + 6*r + 14. Let f(l) = l**2 - 2*l - 5. Let c(n) = -17*f(n) - 6*s(n). Let x be c(2). Which is bigger: x or 5?
5
Let g = -50 - -53. Which is smaller: g or -5?
-5
Suppose 5*b = 21 - 1. Suppose -4*r - 4 - 8 = b*d, -5*d + 21 = -4*r. Which is smaller: 2/11 or d?
2/11
Let t be (-8)/14*(-6)/(-8). Let c(s) = -2*s - 1. Let j be c(0). Which is smaller: j or t?
j
Let k = -8 + 10. Suppose -h - k*u - 2 = -5*h, -2*u + 7 = -h. Is -0.2 less than or equal to h?
True
Let n = 11 + -22. Which is smaller: -9 or n?
n
Suppose -5*k - 16 = q + q, 5*q - 30 = 5*k. Suppose q*l + 8 = -2*l. Which is smaller: -3 or l?
-3
Let x(d) = 2*d**2 + 3*d + 1. Let q be x(-1). Do -11 and q have the same value?
False
Let w = 926 + -10194/11. Let p = 2/33 + w. Let q = 1.5 - 1. Which is smaller: p or q?
p
Let o be -1*6/(-105)*5. Let y be 2 + 0/(-1 - 0). Suppose -4*g + 2*u - 3*u + 4 = 0, -3*g - y*u = -8. Is o < g?
False
Suppose 12 = 2*s + s. Suppose h = 2*k - 11, 0*h - h - s*k = -13. Let m = -52 - -48. Is m smaller than h?
True
Let u(g) = 4*g + 15. Let y be u(-4). Which is smaller: 10/39 or y?
y
Let a = 19/3 + -6. Let v = 4 - 8. Are v and a unequal?
True
Let k be (8/(-14) - 0)*-4. Is k greater than 1?
True
Let h(u) = -6*u + 49. Let o be h(6). Which is greater: o or 15?
15
Let i(x) = -x**2 + 6*x + 6. Let g = -6 - -11. Let d be i(g). Is 11 less than or equal to d?
True
Let h = -2/41 + -37/82. Suppose 5*m - m - 16 = 0. Suppose -i - 6 = -m, 2 = 3*t - i. Is h bigger than t?
False
Let q = 10/11 - 92/77. Let d = -1176/23435 + 2/545. Which is greater: d or q?
d
Let l be -3*2*1/3. Let c be l/(-5) + (-12)/30. Is c bigger than 1/8?
False
Suppose 2*j = j - 2*m - 2, 5*j = -5*m. Suppose b - 5*b - j*x + 4 = 0, 4*x - 8 = 0. Is 2/43 smaller than b?
False
Let w(u) = u**3 + 9*u**2 - 2*u - 2. Let n(c) = -1. Let o(y) = -2*n(y) - w(y). Let j be o(-9). Let d be (-1)/j + (-2)/(-4). Are d and 0 non-equal?
True
Suppose 11*b - 3 = 8*b. Which is bigger: 5/7 or b?
b
Let i = 2/417 + 824/2085. Is i at least 7/6?
False
Let g be 5 + -2 + 2*25/(-15). Is g bigger than 4?
False
Let d = -8433/10 + 844. Are d and 2 equal?
False
Let m = 7 + -8. Is m less than -0.3?
True
Let q = -214 - -208. Is q bigger than -9/2?
False
Let p(v) = v + 2. Let i be p(7). Let h = i + -3. Let l be -3 - -5 - h/1. Is l greater than or equal to -4?
True
Let l(y) = 4*y + 1. Let s be l(-1). Suppose 25 = 3*u - 5. Let n(k) = k**2 - 10*k - 2. Let v be n(u). Which is smaller: v or s?
s
Let k(y) = y**3 - 7*y**2 - y + 4. Let q be (-1 - (-1 - 2)) + 5. Let z be k(q). Let u be 21/(-50) - z/6. Is 1 smaller than u?
False
Let b = 0 + 4. Let a be 3/(-6) - 2/b. Let k(r) = -3*r**2 - r - 1. Let d be k(a). Is -3 less than or equal to d?
True
Let b = -9 - -15. Let w(t) = -t**2 - 1. Let g(f) = 2*f**2 + 5*f + 9. Let m(o) = -g(o) - 3*w(o). Let j be m(b). Is 1 at most as big as j?
False
Let l = -10 - -14. Let h = 40 - 41. Is l equal to h?
False
Let t = 51 - -16. Is t at least 66?
True
Suppose -h - 2*p = -7, -4*h - 1 = -3*p - 7. Is h at most -2?
False
Let g = -947 + 1859/2. Let c = g - -18. Is c bigger than 1?
False
Let v = -1.08 - -1. Let a = v - -0.08. Which is greater: -0.1 or a?
a
Suppose 3*o - 2 = 4. Let q be 3*15/18 - o. Which is bigger: 2 or q?
2
Let h(x) = x + 13. Let b be h(-6). Let k be (1/4)/(b/(-4)). Is k less than -1?
False
Let u = 45 - 229/5. Which is smaller: u or -2?
-2
Let d(p) = 3*p**2 - 4*p + 3. Let h(w) = -2*w**2 + 2*w - 1. Let j(f) = -3*d(f) - 5*h(f). Let l be j(-3). Let r = 138 + -1516/11. Which is smaller: r or l?
l
Suppose 0 = 5*r + 6 - 11. Are 1/7 and r non-equal?
True
Suppose -2*w = -5*b + 7, 5*w + 10 = 6*b - b. Let q be 2/((-2)/3) - w. Let i be (-6)/27 - (-4)/18. Is q != i?
True
Suppose 0 = 4*y - 3*k + 1, 0 = -k - 1 + 4. Suppose 3*d - y = 1. Which is greater: d or 0?
d
Let r = -11/21 + 6/7. Let m = 2 + -3. Which is bigger: r or m?
r
Suppose 2*g + 4*a + 12 + 14 = 0, 32 = -4*g - 3*a. Which is bigger: -4 or g?
-4
Let n(y) = -y - 8. Suppose 8*v - 3*