lue?
False
Let c = -3 - 0. Let q be (3/(-2))/(189/36). Which is smaller: c or q?
c
Suppose -12*d = -9*d + 18. Let q = -1 + d. Is -5 less than q?
False
Let b = 1.42 + -1.72. Do b and 0.36 have the same value?
False
Let m = -171 - -139. Which is bigger: -30 or m?
-30
Let c = -4 - -2. Let r = c + 0. Let t = -1 - r. Is t at most 0?
False
Let y = -0.71 + -0.09. Let a = 0.8 + y. Is a >= 0.1?
False
Let c = 0.3 + 0.7. Let o be ((-64)/(-80))/((-3)/5). Is o less than or equal to c?
True
Suppose -2*p = -c + 3*p - 27, 5*c - 4*p = -93. Is -16 at most c?
False
Let r = -3/5 - -41/10. Which is bigger: r or 5?
5
Let p = 99 - 692/7. Is p at least as big as 1/5?
False
Let j(b) = -3*b - 4. Let y be j(-7). Let f = y - 12. Is f at most as big as 5?
True
Let l(v) = v**3 + 6*v**2 - 8*v - 7. Let p = 10 - 17. Let m be l(p). Is 1/2 equal to m?
False
Suppose -2*k + 4*n + 94 = 0, 5*k + 2*n - 360 = -65. Let c = -286/5 + k. Let o = -0.5 - -0.4. Is c > o?
False
Let k be -5 + 1 + 315/81. Suppose -5*d - 2 = 3. Do d and k have different values?
True
Let d = 37/15 - 8/3. Let m = 4 + -24. Let t = m + 21. Which is greater: d or t?
t
Let d = -29 - -29. Suppose 2*k + 2*g = 14, -4*k + 3*g = -6*k + 19. Which is smaller: k or d?
d
Let j be 4 - (-2 - -2)/(-2). Suppose -4*u + x = 5*x + 28, 0 = 5*u + j*x + 31. Let i be -3 - (3 + u) - 1. Is -4 < i?
False
Let n be 2/(-6) - 201/(-657). Let h = 128/657 - n. Is h greater than 1?
False
Let j = 4.97 - -0.03. Which is smaller: -1 or j?
-1
Let l(r) = r**2 + 5*r - 9. Suppose -4*k + k = -4*g - 19, 5*k = 4*g + 13. Let a be l(g). Suppose 3 = -4*t - a. Is 0 not equal to t?
True
Let x = -1.2 + 10.2. Let f = x - 9.1. Let l = f + 0.2. Is -3 >= l?
False
Let c be 1 + 0 + 7 + -5. Which is smaller: c or 4?
c
Let f(a) be the second derivative of 0 - 2*a**2 + 0*a**3 - 3/4*a**4 - 2*a + 1/20*a**5. Let j be f(9). Is -3 bigger than j?
True
Let n = -1 - -1. Suppose 12 = 4*t - 8. Suppose -t*j = -8*j. Is n at least j?
True
Let f = -377/672 - 1/96. Is f bigger than -1/2?
False
Let a(g) = g + 4. Let f be a(-3). Suppose 6*t - 2*t + z = 82, -5*z - 10 = -t. Let v = t + -222/11. Which is bigger: v or f?
f
Let o(r) = -2*r - 13. Let y be o(-6). Are 0 and y nonequal?
True
Let p = 13 - 7. Suppose -10 = 4*m - p*m. Suppose 3 = 2*t - m, -2*r + 20 = 5*t. Which is smaller: r or 0.2?
r
Let l = 2.6 - 2.5. Let q be (8/(-6))/((-2)/3). Is q <= l?
False
Let h be (3 + 7/(-2))/((-1)/(-3)). Is h < 3/14?
True
Let b be (14/10 - -4) + -2. Which is bigger: b or 3?
b
Let c = -65/7 - -1871/203. Which is bigger: c or -1?
c
Let g = 32 + -34. Does g = 0.3?
False
Suppose 5*p + 63 = 5*l - 12, -2*p = 3*l - 20. Suppose 6*y - 5*y + l = 0. Let x be ((-4)/y)/(2/(-10)). Which is greater: -1 or x?
-1
Let x = -70 + 68.05. Let y = x + -0.05. Let o = y + 2. Is o greater than -2?
True
Let d = -3 + 2. Suppose 2 = n - 2*m, 1 = 5*n - 4*m - 3. Is n less than d?
False
Let z(a) = a + 1. Let k be z(-10). Suppose b + 4*b = -5*o + 415, 4*b + 3*o - 336 = 0. Let y be (-2)/k - b/27. Is y greater than -3?
False
Let k = -33/2 + 20. Let m = 13/4 - k. Let q = 44 + -48. Do q and m have the same value?
False
Let n(b) = -2*b - 12. Let o be n(-5). Is o equal to -1?
False
Suppose -t + s = -4*s - 15, -3*s = t + 17. Which is greater: t or -3?
-3
Suppose 2*h = 0, 0*n - 4*h + 72 = 2*n. Which is greater: 2 or n?
n
Suppose t = -3*t - 16. Does -4 = t?
True
Let k(q) = -3*q**3 - 8*q**2 - q + 5. Let n(h) = 13*h**3 + 33*h**2 + 5*h - 20. Let t(m) = -9*k(m) - 2*n(m). Let w be t(-6). Which is smaller: -3 or w?
-3
Let w be (8/(-12))/(2/6). Let r be ((-3)/(-6))/(1/(-2)). Is r > w?
True
Let q(b) = 6 + b + 0 - 2. Let v be q(-6). Suppose -1 = d - 5*n, d + 6*n - 3*n + 1 = 0. Is d smaller than v?
False
Suppose -3*l - 1 + 4 = 0. Let o be 3 - l*3/(-3). Suppose -o = w, 3*g + 2*g - w + 1 = 0. Is g not equal to -2?
True
Let y = 0.01 - -0.1. Let m = 1.11 - y. Suppose 2*p = 3*u - 7, 3*p + 0*p - 18 = -5*u. Is m smaller than p?
False
Suppose 3 = 3*z - 4*z. Let p be 28/30 + z + 2. Are p and 0 nonequal?
True
Let g be (7 + (-3 - 5))/((-1)/(-3)). Suppose -14 = -0*k - k - 4*y, 0 = 4*k - 5*y + 7. Let j be 3/k*(-4)/6. Is g at most j?
True
Suppose -4*o - 13 = -5. Suppose 2*u = 6*u - s + 8, -2*s - 14 = 2*u. Is o not equal to u?
True
Suppose -4*y + 2*y = -6. Suppose 0 = -4*o - 5*m + 3, y*o = 2*o - 4*m - 2. Suppose 2*h + 12 = -o*h. Which is smaller: h or -7/4?
h
Let d be (-4)/(-16) - (-2)/(-16). Let m(p) = 2*p - 13. Let f be m(6). Is f at most as big as d?
True
Let a be -3 + 2*3/2. Suppose a = 3*y - 3*q, -q - 2 - 2 = -3*y. Which is smaller: 0 or y?
0
Let o = 2743 + -167319/61. Is -1 less than o?
True
Let h(f) = -3*f + 5. Let c be h(5). Let m = c + 13. Is m greater than 3?
False
Suppose 5*a - 10 = -5. Suppose 0 = 50*n - 9*n + 41. Which is smaller: n or a?
n
Suppose -3*t + 3*r - 10 = 11, -4 = -2*r. Let p = 3 + t. Is p smaller than -1?
True
Suppose -z = 4*u - 13, -4*u + z + 2 = -17. Let n be 1089/242 - -2*3/(-4). Is n at most as big as u?
True
Let r = -3 - -3.1. Let m = -445.8 + 447. Is r greater than m?
False
Let m = 0 + -1. Let w = 1/3 + -11/15. Which is smaller: m or w?
m
Let q be (((-15)/9)/(-5))/(-1). Let o = 5.3 - 5. Is q > o?
False
Let t = 0 - 0.4. Let g = t - -0.4. Which is greater: g or -1/4?
g
Let b(j) = -j**3 - 6*j**2 + 7*j + 3. Let a be b(-7). Let w be 1/(-3*a/(-9)). Let n be w*-4 + (-4 - -5). Does -3 = n?
True
Let k = -0.4 + -1.8. Let v = k - -0.2. Is 0.1 at most as big as v?
False
Let n = 2/145 + -163/1305. Let u = n + 1/3. Is u < 1?
True
Let h = 30/11 + -131/44. Which is greater: h or 8/11?
8/11
Let l be 52/72 + 2/(-9). Let r be (0 - 6/3)/(-2). Let z be (4 - 3)/(0 - r). Is l smaller than z?
False
Let m be (2 - -3)*(-1 + 2). Suppose -2*j + m*j = 9. Let h = -4 + j. Is 0 >= h?
True
Let l = 3 + -1. Let p = l - 2. Do p and 0.1 have the same value?
False
Let b be (7/14)/((-50)/8). Which is greater: b or -0.1?
b
Let k = -1.13 + -0.82. Let v = k - -2. Let x = v - 0.07. Which is bigger: x or -1/4?
x
Suppose -25 = 5*s - 5*u, -4*s + 0*s + 5*u - 25 = 0. Let f = 1 - s. Let y(z) = -z + 3. Let d be y(4). Is d equal to f?
False
Let f(h) = -2*h + 2*h**2 + 2*h + 5*h - 3*h. Let r be f(-2). Which is smaller: 3 or r?
3
Suppose u - 5*y = 19 - 7, -4*u + 16 = -4*y. Are u and 12/11 unequal?
True
Suppose 2*y - n + 19 = -2*n, y + 4*n = -20. Is -8 smaller than y?
False
Suppose -2*h + 3*h = 0. Are 11 and h equal?
False
Let k = 12 - -1. Which is smaller: 15 or k?
k
Suppose 8 = 4*s, -s - 2 = b - 2*s. Is b < -27?
False
Let x be ((-1)/(-2))/((1/(-14))/1). Suppose -5*o - 24 = -o. Which is greater: o or x?
o
Let v(p) = -p**3 + 5*p**2 - p + 4. Let s be v(5). Suppose 3*d - 4*f = 3, 0 = -2*d + 2*f + 2*f + 2. Suppose 4*q + 7 + d = 0. Which is smaller: q or s?
q
Let k(j) be the second derivative of 0 + 1/2*j**2 + 5/6*j**3 + 1/12*j**4 - j. Let p be k(-5). Are 1/8 and p unequal?
True
Let z = 25 + -25.4. Is -3 at least z?
False
Suppose x = -0*x - 1. Let c(d) = -d + 1. Let m be c(x). Which is greater: 1 or m?
m
Suppose 0*d + d = 4*n - 17, 4*d - 12 = 0. Suppose n = -2*u - 5. Are -6 and u nonequal?
True
Suppose -2*m = -10 - 2. Let g(d) = -d + 10. Let l be g(m). Suppose f + 20 = -l*f. Which is bigger: 0.1 or f?
0.1
Let c = -0.12 + 0.02. Let y = -0.2 + 0. Let n = 0.2 + y. Is c bigger than n?
False
Suppose w + 0 = -3*q + 6, w - 2*q - 1 = 0. Suppose -w*b + 3 = d + 2, -4*b + 5*d = 24. Is 1/10 not equal to b?
True
Let p = 2 - 1. Is p < 12?
True
Let a(k) = -k**2 + 6*k. Let n be a(5). Let s = n + -6. Which is smaller: s or 1/5?
s
Let o(a) = -6*a - 2. Let h(g) = 2*g + 1. Let k(j) = -7*h(j) - 2*o(j). Let v be k(3). Which is smaller: v or -10?
-10
Suppose -3*t = 3*c + 48, 0*t - t + 20 = -c. Let j be c/(-4) + 2*-1. Which is smaller: 4 or j?
j
Suppose -4*h = 3*h - 4*h. Let t be (-4)/(-8) + 1/(-2). Is h less than or equal to t?
True
Let v(x) = -x**3 + 12*x**2 + x - 8. Let m be v(12). Suppose -5*d + m*c - 4 = 0, -4*c = 3*d - 2*c - 2. Let u = d - 0. Which is smaller: u or -0.4?
-0.4
Let s be ((-2)/(-5))/(8/5). Let r(o) = o + 2. Let g = 3 - 6. Let q be r(g). Which is bigger: q or s?
s
Let c be -2 - 3*4/6. Which is smaller: c or -13/5?
c
Suppose -5*f + 4 = -k, 16 = -f - 3*k - k. Which is smaller: f or -5?
-5
Suppose -8 = -3*u - 2. Let x be u + 195/(-42)*74. Let o = x + 341. Which is smaller: -1 or o?
-1
Let l(h) = -5*h 