-3). Do m and p have the same value?
False
Let q = -37/495 - -2/45. Which is smaller: q or 1?
q
Let r(h) = 2*h**2 + h - 1. Let w be r(-2). Suppose -j = -3 + w. Are -1 and j nonequal?
True
Let k(t) = 2*t - 8. Let f be k(7). Let l = -1 + f. Suppose -4*w = 5*j - 21, -2*w - 2*j + 9 = -j. Which is smaller: l or w?
w
Let f = -0.06 - 0. Let b = f + -0.04. Which is smaller: -1 or b?
-1
Let w = 3 + -8. Let z = w + 7. Let f = -2 + z. Which is smaller: f or 2/9?
f
Let d be 6/(-4)*2/3. Suppose j + 3 = 1. Which is smaller: j or d?
j
Let w = -2 + 3. Let y = 3 + -4. Which is bigger: y or w?
w
Let h be (-6)/24 + (-10)/(-8). Do 2/17 and h have different values?
True
Let g = -1244 - -6191/5. Is -6 greater than g?
False
Let p = -54 + 77. Which is greater: p or -2/3?
p
Let v be 4*(-3)/(-6) + -2. Suppose v*r + 2*r - 4 = 0. Is r at most as big as 3/2?
False
Suppose 0*g + 16 = 2*g - 4*h, -g = -4*h - 16. Suppose g = -r + 2. Suppose -4*z - 2 = r. Is -1/3 less than z?
False
Let v = 42 - 39. Let t = 8 - 5. Is v <= t?
True
Let p = -47/20 + 11/4. Let m(n) be the second derivative of n**3/6 - 2*n**2 + 3*n. Let q be m(4). Does q = p?
False
Let u be (2*-10)/(-2) - 2. Let g = 4 - u. Let o be 1/1*g/(-34). Which is bigger: -1 or o?
o
Let p = -8 - -5. Let g = -3 - p. Let t = -749/9 - -83. Do t and g have the same value?
False
Let c(q) be the first derivative of -2*q - 1/2*q**2 + 1/3*q**3 + 1. Let r be c(2). Do r and 1 have different values?
True
Let k = 4.6 - 0.6. Which is smaller: 0 or k?
0
Suppose 2*d - 3*c + 11 = 0, 0*c + 5*c = 3*d + 17. Let k = d - -7. Suppose 2*j = -5*v + 6, v + 3*j = k*v + 9. Is v at most as big as -1/5?
False
Let a be ((-1)/12)/(57/76). Which is smaller: a or 1/5?
a
Let w(i) = 2*i**2 - 4*i - 1. Let b be w(3). Suppose -b*j - 2*k = -18, 2 = 3*j + k - 8. Suppose 0*y + 5*y - 15 = 0. Are j and y unequal?
True
Let o = -104.91 + 105. Do o and 1/6 have the same value?
False
Suppose 3*o - 4*f = -9*f - 8, -1 = -3*o + 4*f. Are -1/44 and o equal?
False
Let n = 56.8 - 57. Let l be (-3)/(0 + 66/(-4)). Which is smaller: n or l?
n
Let h = -7.5 - -10. Let x = h - 1.5. Are 0.4 and x equal?
False
Let x = 33 - 33.94. Let p = x + -0.06. Which is smaller: -0.06 or p?
p
Let h = 3 + -3. Let b be 8/2 + h/(-2). Is b >= -2/3?
True
Let m be 0 - (0 + 1 + -4). Suppose b + 2*v + m = 9, -9 = -3*v. Which is smaller: -1/9 or b?
-1/9
Suppose -15 = 3*d - 3. Let x = 12 + d. Are x and 8 non-equal?
False
Suppose -2*o + 4*o + 4 = 0. Let u be o/(-3)*147/14. Do 7 and u have the same value?
True
Suppose -2*i = 3*i - 4*p + 14, 0 = -2*i + p - 5. Let q(o) = 2*o**2 - 3*o. Let f be q(2). Let d = i + f. Which is greater: 1/2 or d?
1/2
Suppose -5*u - 2 = -2*z, 4*z - 4 = 4*u - 0*u. Suppose n + 0 = -5*v + 5, -2*v + 9 = -n. Suppose -2*w - v*s + 1 = -s, -2*w + 5 = -3*s. Which is smaller: u or w?
u
Let v = 37/66 - 2/33. Let f be ((-1)/(-1) - 1) + 2. Which is smaller: v or f?
v
Let g be 20*2/4 + 3. Are g and 1/2 equal?
False
Let w = 31 + -10. Do 22 and w have different values?
True
Let a(i) = i**3 - 6*i**2 + 4*i + 2. Let z be a(6). Suppose -5*m + 3*s - 38 = 0, 6*s - 2*s + z = -m. Is m not equal to -10?
False
Let w = 0 + 5. Suppose 5*s - s - 3*v + 13 = 0, 0 = s + w*v - 14. Let b = -6 + 4. Is b smaller than s?
True
Let o = -0.106 - -0.147. Is o bigger than 2/9?
False
Let i(n) = -33*n + 1. Let j be i(1). Let z be (-1)/(-3) + j/(-12). Let v be -2*z*2/4. Are -4 and v non-equal?
True
Suppose -2*k - 8 = 6*k. Let a be (-62)/30 + (-4)/(-10). Let z = a + 1. Is z >= k?
True
Suppose 0 = 3*l - 5*y - 25, -l + 2*y + 10 = 3*l. Is 0 greater than l?
False
Let d = 3 - 2. Let o be (d/3)/(2/6). Let k be -4 + 16/6 + 20/6. Is k less than or equal to o?
False
Let u(d) = -d**2 - 6*d + 2. Let q be u(-6). Do -2 and q have the same value?
False
Let u(w) = 2*w**3 - 3*w**2. Let b be u(2). Let m(n) = -n**3 + 4*n**2 + n - 1. Let g be m(4). Let v = g - b. Which is smaller: -2/17 or v?
v
Let g = -2/125 + -23/125. Is 9 bigger than g?
True
Let z = -9 - -19. Suppose -4*a = a - z. Let l be a/(-8) - (-2)/8. Which is smaller: -2/5 or l?
-2/5
Let k = -13 - -9. Let d be 10/(-4)*80/(-100). Are d and k non-equal?
True
Let n be 52 - ((-2)/(-1) + 2). Let h be n/(-26) + (-6)/39. Let q be (-14)/6 - 1/(-3). Is q < h?
False
Let c = 0.01 - 0.31. Which is greater: c or -3?
c
Suppose 0 = w + z + 5, -z = 4 - 1. Let p be (((-12)/(-15))/w)/4. Is -1 at most as big as p?
True
Let h be (19 - 1)*(-3)/(-9). Let i be (8/18)/(0 - h). Which is bigger: i or -1?
i
Suppose 2*q = 7*q - 15. Suppose -a + 5*a - 16 = -4*o, -q*o + 6 = 0. Which is greater: a or 3?
3
Suppose 3*y - 88 = 476. Let q = y + -747/4. Is q less than or equal to 2?
True
Let z = 22552.03 + -22372. Let k = 179 - z. Let d = 0.03 + k. Which is bigger: -7 or d?
d
Let f be ((-6)/9)/((-1)/3). Let m be 2 + 26/10 + f. Let p = 127/20 - m. Is p less than 1?
True
Let g(l) = -l**3 + 3*l**2 + 5*l - 1. Let q be g(4). Suppose 2*i = 2 - 0. Let k = i + 2. Is k less than or equal to q?
True
Let l be -2 + (1 - 1) + 1. Let h be (1 + 0/l)*0. Let s = 23/2 + -47/4. Which is greater: s or h?
h
Let a = -2/73 + 10445/219. Let m = a - 48. Is m > 7?
False
Let u be 9/3*(-2)/(-3). Suppose 5*r - 5*x + 15 = 0, r - u*r = 4*x - 12. Which is bigger: r or 1/15?
1/15
Suppose -21 = 4*r - 5. Let k = 2 + r. Let c = -0.2 - -0.1. Is k less than c?
True
Let b be (-2 + (-26)/(-6))*-3. Suppose 4*f + j = -32, 4*f - f = 4*j - 5. Is f less than b?
False
Suppose 3*s - 3*c + 4*c - 7 = 0, 4 = 3*s - 2*c. Suppose -20 + 4 = -3*m - 5*g, -3*m = s*g - 10. Let k be 6*(-5)/(15/m). Is -3 at least k?
True
Suppose z - 2 = -0*z, 3*z - 8 = -2*r. Let m = 4 - 2. Let a be (r/(-2) - -1)/m. Which is smaller: a or -0.2?
-0.2
Suppose -o - 2*v - 4 - 2 = 0, 2*o - v - 8 = 0. Let s be (o*-1)/2*5. Let k = -16 - -12. Which is greater: s or k?
k
Let l = -11 + 16. Let b = l - 5. Are 0 and b nonequal?
False
Let l = 6 - 6. Suppose 2*t + t = l. Which is bigger: -0.3 or t?
t
Let d(x) = x**3 + 6*x**2 + 5*x + 2. Let a be d(-5). Let b(t) = 3*t - 5. Let v be b(a). Which is smaller: -3 or v?
-3
Let g be (-16)/(-12)*1/(-60). Is -1 bigger than g?
False
Let i(v) = -v + 1. Let w(g) = -4*g - 1. Let c(t) = -3*i(t) + w(t). Let a be c(-3). Let n be 3/(-7*3/(-2)). Does a = n?
False
Suppose 3 = -3*a - 3. Suppose 3*h + h + 128 = 0. Let i be ((-2)/h)/(1/a). Is i greater than or equal to 0?
False
Let o(h) be the first derivative of h**3/3 + 2*h**2 - 3*h - 4. Let q be o(-5). Is q greater than or equal to 0.1?
True
Let o(w) = w - 7. Let k be o(3). Let h be (-14)/k + (-2)/(-4). Let n be 14/(-36) + h/18. Which is greater: n or -1?
n
Let p(u) = -u**3 - u**2 - 2*u - 6. Let m be p(0). Is m < -4?
True
Let a = 6.3 - 6. Let k = -0.4 + a. Suppose -3*d = 2*h - d + 6, -5*h + d - 15 = 0. Are k and h non-equal?
True
Suppose 2*z + 5 = -3. Let i(j) = -j**3 + 3*j - 3. Let p be i(2). Is p smaller than z?
True
Suppose 0*b = -11*b - 77. Is -7 < b?
False
Suppose -a - 12 = -0. Let n be (a/(-16))/(2/8). Is n less than or equal to 5/2?
False
Let a = -11 + 11. Let s be 2/4 + (1 - 1). Which is smaller: a or s?
a
Let h = 2/2099 - 16854/65069. Let t = -198/527 - h. Let j be 22/6 - (9 - 6). Which is smaller: j or t?
t
Suppose -2*o = -9*o - 14. Is o not equal to -1?
True
Let h be 1/(1*(-2)/18). Let p = h - -6. Is -3 != p?
False
Let d be 3/(-7)*(-28)/8. Let u(v) = 3*v**3 + 2*v**2 - v. Let c be u(1). Suppose c*h + 1 = 13. Does h = d?
False
Let d be 44/60*1 + (-1)/3. Suppose 2*g = 4*g - 322. Let n = g - 2094/13. Is d greater than or equal to n?
True
Suppose -12 = -6*d + 2*d. Suppose -d = -5*w - 8. Is -1 bigger than w?
False
Let f = 1 + 1. Suppose k - f = 0, -2 = -3*a - k + 6. Is a < 2?
False
Let s(g) = g + 2 - 2 - 6. Suppose -8*q = -3*q - 25. Let b be s(q). Is -1 bigger than b?
False
Suppose -14*s = -22*s - 16. Suppose y = -3*j - 14, 5 - 26 = 2*j + 3*y. Which is smaller: s or j?
j
Let m(n) = 3*n - 5. Let r(f) = f - 2. Let d(b) = 2*m(b) - 7*r(b). Let q be d(5). Which is smaller: q or -2?
-2
Let k = -46 + 28. Is -19 < k?
True
Let i = -23.9 + 25. Let x = 1 - i. Which is smaller: -3 or x?
-3
Let d = -3 + 2. Suppose -14 = 2*x - 5*p, 5*p = -2*x + 3*p. Which is smaller: d or x?
x
Let o be (-3)/(-6 + 0)*-2. Which is bigger: o or -2/87?
-2/87
Let n(j) = 4*j + 1. Let k be n(-2). Is -7 >= k?
True
Let m = -0.37 + -18.63. Which is smaller: m or -2?
m