: -6/23 or m?
m
Let v = 39 - 34. Which is smaller: v or 2?
2
Suppose k - 240 = 6*k. Which is bigger: -49 or k?
k
Let q be 3/(-3 - 0)*0. Suppose q + 1 = -j. Let w be (3/18)/(1*j). Which is smaller: w or 1?
w
Let a be ((-1)/1)/(-1)*(-2 + 1). Let i be 2/22*1*-1. Which is smaller: a or i?
a
Let w(d) be the third derivative of -d**4/24 + d**3/6 - d**2. Let m be w(-4). Suppose 2*r - 5*x + 11 = -16, 3*r = m*x - 28. Are -2/7 and r nonequal?
True
Let g(x) = 2*x - 5. Let h be g(4). Suppose h*c - c = -4. Suppose -5 = 3*i + 4. Which is smaller: c or i?
i
Suppose 220 = 12*n + 28. Is 17 less than n?
False
Suppose -15 = 5*g + 40. Which is smaller: g or 1?
g
Let j = 2.41 - 0.41. Which is smaller: j or -0.8?
-0.8
Let s be -3*1/3*1. Which is greater: s or 4?
4
Suppose -w + 13 = -4*w + 5*j, 3*w = -3*j + 27. Let r be w/3 + 25/15. Are r and 2 unequal?
True
Let c be (-1)/(-2) - 1/(-2). Let o = -0.4 - -0.2. Let g = 0.3 - o. Which is greater: c or g?
c
Let b = -15 - -10. Suppose -c = 2 - 3. Which is smaller: c or b?
b
Let d(i) = i - 6. Let g be (-3)/2*16/(-6). Let l(c) = -c**3 + 4*c**2 + 2*c - 4. Let t be l(g). Let v be d(t). Is -4/7 at most as big as v?
False
Let i be (-24)/(-10) + -2*6/(-20). Which is smaller: i or 11/7?
11/7
Let j be 6/(-28) + 2/(-7). Let n be (-2)/(2/((-2)/(-15)))*3. Is n less than or equal to j?
False
Let a = -0.3 + 0.3. Let k = a - 1. Let y = k + 1.1. Which is smaller: y or 0?
0
Suppose 0 = 2*x - 4. Suppose 0*h - 4*n = 2*h + 4, 2*n = -5*h - x. Let f(o) = o + 8. Let c be f(-6). Which is greater: c or h?
c
Let z = -11/6 + 89/42. Is 63 less than or equal to z?
False
Suppose 0*n + 16 = 4*n. Suppose -4 = -n*p - 8. Let w be (-2 - -1)/(36/8). Does w = p?
False
Let j = 0 + 0.2. Which is greater: -1/2 or j?
j
Let g be (1 + -10)*(-8 - -5). Suppose 4*v = v + g. Suppose 0 = 3*k + v. Are k and -3 equal?
True
Let l = 13 + -14.2. Let t = l + 0.2. Let m = 259/5 + -52. Which is smaller: t or m?
t
Suppose 2*b = -0*b. Which is smaller: 1/11 or b?
b
Let t = 59 + -88. Which is smaller: t or 0.2?
t
Let t be (-16)/56 + 164/(-14). Is -12 greater than or equal to t?
True
Suppose p - 7*p = 0. Are -8/19 and p unequal?
True
Suppose 3*y - 24 = -2*y + 2*w, 5*w = -10. Suppose -3*t + 1 = -5*r - y, -3*r - 3*t - 3 = 0. Let l = 2 - 3. Is l >= r?
True
Let p be ((-3)/4)/(1/4). Let t = p + 4. Which is smaller: 4 or t?
t
Suppose 3*i - 5 = -14. Let p = 2 + i. Let l be (p + -1 - -8) + -2. Which is smaller: l or 1?
1
Let v = -0.114 + 1.094. Let x = -0.02 - v. Let k = x - -1. Is -1 smaller than k?
True
Let r(w) = -w**3 - 7*w**2 - 5*w + 6. Let t be r(-6). Let k = t + -2. Let d be 6/14 + (3 - 4). Which is smaller: k or d?
k
Suppose 0 = -2*s - 2, -4*q - 4*s = -s - 1. Is -5/32 less than q?
True
Suppose -32 = -3*f + 5*j, -4*f = -2*j - 2*j - 32. Suppose -f*r = -5*b - 27, -4*r + 5 = -3*b - 16. Is r less than 4?
True
Let p(z) be the first derivative of -z**3/3 + 3*z**2 + 4*z + 3. Let l be p(6). Is 5 at most l?
False
Let f = 23 - 32. Let z = -7 - f. Let h = -12 - -12. Is h not equal to z?
True
Let v(g) = -g**3 - 4*g**2 - 2*g + 2. Let x be v(-3). Suppose 3*u - 6 = 4*p, 3*u - 6 = 2*p + p. Let c = u + x. Is c < 1/4?
False
Suppose 5*n - 4*r - 3 = 3, 2 = n - r. Suppose 0 = -3*c - p - 2*p + 9, -2*p - 6 = -2*c. Let m be (c*(-3)/(-9))/4. Are n and m equal?
False
Let f = 35.91 - 36. Which is bigger: 0 or f?
0
Suppose -2*h - 3*i = 10, 12 = -h + 2*i - 0. Let c = -5 - h. Suppose -2*m + c*a = -6*m - 3, 3*a + 15 = 0. Is m at most as big as 3?
True
Let q = -64 - -451/7. Let o(r) = -r**2 + 6*r - 5. Let y be o(5). Which is bigger: y or q?
q
Let j be 1 - 4*(-2)/(-8). Let z = 10 + -6. Suppose j*o - z*o = -4. Which is greater: 2/5 or o?
o
Suppose 0 = -5*j - 26 - 4. Let s(b) = -b**3 + 3*b**2 - 2. Let o be s(-2). Let q be (-4)/j - 66/o. Which is smaller: q or -4?
-4
Let c = 7 - 9. Let z = c + 2. Are z and -3 equal?
False
Suppose -3*x + 3 + 4 = f, 3*x + 4*f = 10. Let c = -1 + 4. Which is greater: x or c?
c
Suppose -4*k = -3*k - 5. Suppose -4*f = -k*i, -i = -2*f + i. Which is smaller: f or -1/2?
-1/2
Let r be (-20)/(-60) + 20/3 + 0. Is 2/3 bigger than r?
False
Let b be (-20)/(-12)*(6/4)/3. Which is smaller: 2 or b?
b
Let o be 30/9 + -3 + (-20)/15. Do 1/6 and o have the same value?
False
Let p(k) = 3*k**2 - k + 1. Let o be p(2). Let u(x) = x**3 - 12*x**2 + 14*x - 22. Let s be u(11). Is s greater than o?
False
Let y be (-86)/(-11) - (-2)/11. Which is smaller: y or 2/3?
2/3
Suppose -3*a - 9 - 3 = 0. Let t be (-8)/(-32) + 57/a. Let b be 1 + -1 + t/(-77). Are 1 and b nonequal?
True
Let r = 1.16 - 0.16. Are 0 and r unequal?
True
Suppose 0 = -9*d + 2*d + 14. Which is smaller: d or 3/5?
3/5
Suppose 4 = -c - 1. Let t(u) = u**3 + 5*u**2 + 4*u - 5. Let b be t(-4). Is c greater than or equal to b?
True
Suppose 0 = 3*p + o + 9, -25 = 2*p + 5*o - 6. Let r be (-11)/(-9) + p/9. Is 2 < r?
False
Suppose 3*o + 3 = 6*o. Suppose o = -4*g - d - 2, 4*d - 20 = 0. Is -2 bigger than g?
False
Let d be (4/3)/(6/9). Suppose 0*r - 2*r = -d. Let w be 7/21 + 16/6. Which is smaller: w or r?
r
Let y(c) = c**2 + 5*c + 8. Let q be y(-6). Let l be 4/q + (-20)/70. Is 5/4 <= l?
False
Let m = -68 - -62. Is -12 at most m?
True
Let z = -0.35 + 0.3. Let s = -57 + 57.15. Let o = s + z. Is o at most -0.5?
False
Let v be 646/10 + 9/(-15). Is 0 bigger than v?
False
Let m be 1 - (-3)/(9/(-12)). Let o be ((-6)/(-4))/(m/(-18)). Let g be (2 - 12/o)*-3. Is -2/7 greater than or equal to g?
True
Suppose -p = 3*p + 16. Let h be 0 - 4/((-12)/(-15)). Which is greater: h or p?
p
Let c(d) = -d**3 - d**2 + 4*d + 3. Suppose -5*s + 3 - 27 = 2*w, -16 = 4*s. Let r be c(w). Which is bigger: r or 3/7?
3/7
Let r = -16/13 + 67/65. Is 1/12 bigger than r?
True
Let i = 0.45 - 0.478. Which is smaller: -0.1 or i?
-0.1
Let y(k) = -k**2 + 13*k - 1. Let w be y(13). Let d = 26830/43 - 624. Which is smaller: d or w?
w
Let n be -1*1*2/(-4). Suppose -j + 5*j = 0. Which is greater: j or n?
n
Let r = -2 - 1. Which is bigger: -7 or r?
r
Let j = 178 + -160. Are j and 18 nonequal?
False
Let l be -3*1*(-2)/2. Let n = 3.9 + -3.9. Is n less than l?
True
Let p be (1/(-3))/((-1)/3). Let q be (0 + -1)/(p/(-3)). Is q greater than or equal to 3?
True
Suppose -c + 0 = -7. Let m = 11 - c. Suppose -5*l + 15 = 5*z, -m*z + 2 = -14. Is l smaller than 1?
True
Let y be (-14)/(84/(-35) + (-2)/(-5)). Which is bigger: y or 8?
8
Let w be ((-2)/3)/(4/42). Let l be (-5 - w)/(-12 + -1). Which is bigger: 1 or l?
1
Let g = 81 - 28. Are g and 53 unequal?
False
Let g(w) = 2*w + 20. Let f be g(-6). Which is smaller: f or -0.5?
-0.5
Let y be ((-24)/(-1494))/(2/(-3)). Which is bigger: y or 1?
1
Suppose 0 = 3*b - j - j - 34, 3*j + 31 = 2*b. Let u(t) = 2*t**2 + 1. Let s be u(-2). Is s at most b?
False
Let z(w) = w + 2. Let g be z(-3). Let p be ((-3)/(-6))/(g/(-4)). Which is smaller: 1/2 or p?
1/2
Suppose 1 = 4*x + 5*k - 0, 0 = -5*x + 5*k - 55. Let z be 1/3 - (-32)/x. Is -5 < z?
False
Let n = -29 - -30. Let w = -2 + 1. Which is greater: n or w?
n
Let c = 2 + 1. Suppose 0*w = -c*w. Let p be 2/(-4) + 38/60. Is p > w?
True
Let p(z) = 3*z**2 - 5*z + 5. Let u be p(2). Is 17/3 > u?
False
Let u be (((-1)/(-1))/((-13)/52))/1. Let c = -9 + 5. Are u and c nonequal?
False
Let z(w) = w**2 + 3*w - 5. Let r be z(-6). Let t = r + -12. Do 1/4 and t have the same value?
False
Let h(d) be the third derivative of d**7/2520 - d**6/240 - d**4/8 + 2*d**2. Let k(c) be the second derivative of h(c). Let l be k(3). Are l and -2 unequal?
True
Let o = -45.1 + 45. Is -1/94 <= o?
False
Let r(t) = -t**3 - 2*t**2 + 3*t + 4. Let f be r(-3). Let q = f - 6. Is q smaller than -1?
True
Let y = 0.3 + -1.3. Let o(r) = 4 - r + 5*r + r - 3*r - r**2. Let g be o(3). Which is greater: y or g?
g
Let v be 16/10 + 14/35. Which is greater: v or 1?
v
Let g(d) be the third derivative of d**4/24 - 5*d**3/6 - 10*d**2. Let f be g(6). Is f > 2?
False
Let s = 3 + -3.1. Let m = -25.2 - -25.5. Which is bigger: s or m?
m
Let v = 6 + -11. Let s be (2 - (2 - -2)) + -4. Is s >= v?
False
Let w = -1 - -4. Let b(j) = -j**3 + 4*j**2 - 2*j - 3. Let n be b(w). Suppose h + 0 = 1. Which is smaller: n or h?
n
Suppose -42 = -23*i + 26*i. Which is greater: i or -11?
-11
Let y = -1537/1271 - -39/31. Suppose -5*u = 2*m - 9, 13 = 5*u + 8*m - 4*m. Is u equal to y?
False
Suppose 3*l - 1110 = 2*z + 950, -