ater: n or -38?
-38
Let a = 44 - 14. Let d be 1/a + (-1)/(-5). Let y = d - -1/10. Does -1/3 = y?
False
Suppose 22 = 2*x + 24. Let y be (0 - -2)*x/37. Which is smaller: y or -1?
-1
Suppose 0 = -4*p - i - 25, -5*p + 0*i - 2*i - 29 = 0. Let f = p + 19. Suppose 5*n = -3*s + 10, 5*s + 4*n - f + 4 = 0. Is 1/4 greater than or equal to s?
True
Let r = 32 - 95/3. Suppose u - 3*u = 8, -4*o - 4*u - 36 = 0. Let v = o - -6. Is r > v?
False
Let j be 4 + -2 - 7/5. Let l = 1.9 - 2. Is j at least as big as l?
True
Let l be 7/(-28)*16/(-10). Let r = 1.5 - 1.4. Are r and l equal?
False
Suppose 0 = -3*h - 2 - 4. Let c be 6/(-9) + h/(-3). Let v be (1 + 0)*(-15)/15. Is v > c?
False
Suppose 4*z = 7*z - 3. Which is bigger: z or -6?
z
Let h = -505/6 - -84. Let b(n) = n + 9. Let v be b(-4). Suppose -3*f - v - 3 = -4*s, -10 = -f - 5*s. Which is smaller: f or h?
h
Let b be (-6)/8 - 33/(-12). Let d be (0 + b)*(-28)/(-8). Let j(u) = u - 2. Let p be j(8). Which is bigger: d or p?
d
Let i = 37 + -37. Does -1/68 = i?
False
Let l be (-2)/4 + (-312)/(-688). Suppose 2*u - 4*u = 0. Which is smaller: u or l?
l
Let i(c) = c - 2. Let w be i(-6). Let a = -5 - w. Let t be 0 - (a/(-9))/(-1). Is -1 at most as big as t?
True
Suppose 0*w = 2*w - 26. Let h be 9 - w - (0 + -7). Is h >= -0.1?
True
Let x be 58/12*(-56)/427. Let u = -2/61 + x. Does -1 = u?
False
Suppose -14 = -3*l + 4*l. Which is bigger: l or -15?
l
Suppose 0*a + 5*a - 20 = 0. Let w be (2/(-4))/((-10)/(-10)). Which is smaller: w or a?
w
Let h(x) = 14*x**3. Let c be h(1). Is c equal to 14?
True
Let n = 35 - 35. Which is bigger: 2/41 or n?
2/41
Let b be (-8 + (-3 - -5))/2. Let d be (-12)/b*10/(-8). Let i = 0.4 - 0.3. Is d > i?
False
Suppose 3*b + 56 = 7*b + 4*l, -5*l = -3*b + 10. Let a be (4/10)/((-2)/b). Let z(u) = -19*u**2 + 14*u + 2. Let y be z(1). Which is smaller: y or a?
y
Let b = -2 + 4. Suppose b = l - 0*l. Are l and 1/2 equal?
False
Suppose 5*h - b = 52 - 17, 0 = 3*h + 5*b + 7. Let u(w) = 2*w - 2. Let a be u(3). Suppose -r - 7 = -4*k + a, -5*r + 2*k + 17 = 0. Which is smaller: r or h?
r
Let v = 32 - 31. Is v != -36?
True
Let b = 7 + -7. Is b at least as big as -2?
True
Let l = 21 + -19. Suppose -6 = v - l. Let u = 5 + -11. Which is smaller: v or u?
u
Let c be (-2)/(-6) + 1/(-3). Suppose -4*b = -7*b + 12. Suppose b = -q, -4*d = -5*d + 5*q + 20. Is d less than or equal to c?
True
Let d = -0.2 - 5.8. Let c = d + 5.9. Which is greater: 4 or c?
4
Let p(x) = -x - 7. Let q be p(-13). Let y = -29/4 - -83/12. Which is smaller: y or q?
y
Let r be (6/5)/((-6)/30). Let u be (-22)/r - (2 - 0). Which is greater: 2 or u?
2
Suppose -5*v = -0*v - 60. Suppose v = -2*q - 2*q. Which is smaller: -2 or q?
q
Let t(m) = m**3 + 16*m**2 + 15*m. Let i be t(-15). Let h(l) = l**2 - l - 1. Let z be h(i). Suppose 0 = -g - 1 - 0. Is g greater than or equal to z?
True
Let x = -8/39 + -6/13. Let b = -17 - -11. Let k = -8 - b. Is k less than x?
True
Let t(d) = d**2 - 3*d + 1. Let y be t(3). Let g = 45/7 - 204/35. Is y greater than g?
True
Let p be 4/(-3 - 33) + 2/6. Do p and -1 have the same value?
False
Suppose -4*v - 8 + 30 = 2*z, v = -5*z + 19. Which is greater: z or 0?
z
Let k(u) = u**3 - 5*u**2 + 6*u - 5. Let r be k(5). Is 26 greater than r?
True
Let g(w) = 4*w + 3. Let n(r) = r**2 - 5*r - 4. Let u(y) = -3*g(y) - 2*n(y). Let f be u(-1). Are f and 1/3 equal?
False
Let m be (-12)/(-44)*(-426)/9. Let a = 13 + m. Is a greater than 1?
False
Suppose -4*n = -2*n + 2. Is n less than -1?
False
Let c = -0.11 + 0.2. Let z = -0.31 - c. Let n = 16/15 - 2/3. Which is smaller: z or n?
z
Let s = -5 + 5. Suppose -t + s + 8 = 0. Let d = -4 + t. Is d at least 2?
True
Let z be (2/3)/((-10)/(-57)). Let f = -1/569 - -10247/2845. Let t = f - z. Is 1 at most as big as t?
False
Let a = -2.6 + 2.7. Which is smaller: -0.02 or a?
-0.02
Let h = -3/41 - -109/369. Let g(r) = -r**2 + 5*r - 2. Let a be g(3). Suppose -a*i + 5 = 1. Which is smaller: i or h?
h
Let x(b) = b + 3. Let g be x(-4). Which is bigger: -4/3 or g?
g
Suppose d = -5*s + 105, -9*s = -5*s - 5*d - 55. Which is smaller: s or 21?
s
Let p(d) = 2*d**3 - d**2 + 3*d - 2. Let s be p(1). Which is smaller: s or 6?
s
Suppose -4*p + 3*p = 0. Which is bigger: p or 1/9?
1/9
Suppose -2*s = -4*g + 6, 8*g + 12 = -4*s + 4*g. Let p be 10/(-6) - 2/s. Which is greater: -2 or p?
p
Let c = 4.6 - -0.4. Let n = c + -10. Which is smaller: 0 or n?
n
Suppose 7 = -3*b - 8. Let r be 1 - -7 - (-4 - b). Let g(k) = -k**3 + 6*k**2 + 8*k - 7. Let q be g(r). Which is smaller: 1 or q?
q
Let c(p) = -p + 5. Let i be c(4). Let j be (0/1)/((-2)/i). Let y = 99/5 - 20. Which is greater: y or j?
j
Suppose -6*i = -i + i. Which is smaller: i or 2/27?
i
Let n(g) = 2*g - 1. Let i be n(-2). Let o be 3/i*(-8)/12. Let p = 13.3 - 13. Which is smaller: p or o?
p
Let q = 2.5 - -0.5. Let i = -3 + q. Is i at least -2?
True
Suppose -380 = -5*x + 10*x. Is -75 greater than or equal to x?
True
Let g = 1.2 + -2.1. Let y = 4.1 - g. Which is smaller: -1 or y?
-1
Let d = -3943 - -11656/3. Let u = d + 57. Suppose -3*m + 3 - 6 = 0. Is u less than or equal to m?
False
Let d be 24/(-18)*(-4)/(8/(-6)). Let c = 1 - 0. Which is bigger: c or d?
c
Suppose 20*r + 12 = 16*r. Are 2/31 and r unequal?
True
Let a = -5 + 4. Which is smaller: a or 0?
a
Let o = -233/5 + 1989/40. Which is bigger: o or 1?
o
Suppose 5*l = -5*y + 95, -5*y + l + 95 = -6. Let i be y*310/36 + -2. Let x = 170 - i. Is x <= 2?
True
Let m(r) = r**2 - 22*r - 11. Let n be m(24). Is n greater than 37?
False
Let l = 23 + -23. Is l smaller than 1?
True
Let m(v) be the third derivative of -v**7/2520 - v**6/72 - v**4/12 + 2*v**2. Let o(s) be the second derivative of m(s). Let p be o(-10). Is p less than 0?
False
Suppose -3*k + 3 = -6. Suppose 3*x = w + k + 4, -4 = 2*w - x. Is w less than or equal to 3/11?
True
Let j = -0.063 + 1.063. Which is smaller: 38 or j?
j
Let d be -2 - (44/55 + (-652)/(-10)). Which is bigger: -67 or d?
-67
Let v be (-2 - (0 - 1))*-2. Let u = 1283/3 + -425. Which is smaller: u or v?
v
Let d be 6/(-4)*16/(-12). Suppose -d*h - 5*l = -7*h, -2*h = 4*l + 6. Do 3/8 and h have the same value?
False
Suppose 2*p - 4 = 2. Let d be (8 - 48)*(-1)/12. Which is greater: d or p?
d
Let d = -0.13 + 14.13. Let k = 7 - d. Let r = -8 - k. Which is smaller: 1 or r?
r
Let v = 0 - -4. Let f = v + -2. Let t = -13 - -12. Which is smaller: f or t?
t
Let z be -4 - (-1)/(-1) - -1. Suppose -10 = 2*x, -k + 2*x - 3*x - 2 = 0. Let d = z + k. Which is smaller: d or 2/15?
d
Suppose 3*o + 0*o + 3 = 0. Is -6/11 equal to o?
False
Let b = -12 - -10. Let s(i) = 2 - 1 - i - 2. Let f be s(b). Does 0 = f?
False
Suppose 4*u - 3 = 3*u. Suppose 4*b + 2*k = -0 + 6, 3 = -u*b - 3*k. Which is smaller: 3 or b?
3
Suppose 0 = -u + 2*u - 163. Suppose -3*j = -5*r + 488, 0 = r + 2*j - u + 55. Let v = r - 698/7. Is 0.01 < v?
True
Let j be (-1)/3 + (-15)/(-36). Suppose g - 12 = -4*q, 5*q - 4*q = g + 3. Which is greater: j or g?
j
Let j = 3 + -2. Suppose -s + 1 = -j. Do 2 and s have the same value?
True
Let v(j) = -j**3 + 15*j. Let b be v(-4). Let x(u) = -u**2 - 6*u - 4. Let n be x(-5). Suppose 1 + n = 4*h - 5*f, 5*h = 5*f + 5. Is b > h?
True
Let t be -1 + (13668/(-3411))/(-4). Let x = t - -6800/12507. Let i = 18 - 17. Which is smaller: i or x?
x
Let y = 101 + -138. Is y > -37?
False
Let r be (-1 + 84/81)*-2. Which is bigger: r or -1/2?
r
Suppose -5*j = -j. Is -1/9 != j?
True
Let j = -3 - -2. Suppose -2*r - 3*f = -32, f = 5*r - 14 - 32. Let c be (-2*1)/(r/2). Which is smaller: c or j?
j
Suppose 3*r + f + 3*f - 12 = 0, 0 = 3*r + 2*f - 6. Let n be (-174)/(-1020) - (-2)/(-10). Which is bigger: n or r?
r
Let f = 33483/62372 + 91/503. Let r = -1/31 - f. Is r < 2?
True
Let r(o) be the third derivative of o**5/60 + o**3/6 + 2*o**2. Let b be r(2). Let k be (2 - -3)*(-2)/b. Which is bigger: k or -1?
-1
Let b be 4/22 + (-14055)/29568. Let r = b + 1/128. Suppose 2*y - 6*y = 0. Is r smaller than y?
True
Let n be 2/3 + 7/3. Let g(l) = -2*l**2 - l + 2. Let w be g(-2). Let f be 0 - n - (w - 2). Does 3 = f?
True
Let c = -2 + -7. Let x be (-11)/9 - 2/c. Is -0.2 at most as big as x?
False
Let o be 12/(-78) - (-72)/130. Are o and -1 nonequal?
True
Let l(f) = 6 + 6 - 3*f - 3 - 4. Let j be l(2). Let w = 1 - 1. Are j and w nonequal?
True
Suppose 4*x = -4*p, 3*p - x + 4 = 5*p. Is 1