maller: t or 1/4?
t
Let n(y) = y**2 + 11*y - 8. Let m be n(-13). Which is bigger: 17 or m?
m
Let k be (-1)/(-5) + 216/(-30). Which is smaller: k or -6?
k
Suppose w + t + 4*t - 7 = 0, 5*w - 4*t + 23 = 0. Suppose u = 24 - 5. Let m = -20 + u. Which is greater: w or m?
m
Let v be 0*((-9)/(-6) + -1). Is v at most -3/4?
False
Suppose 5*j + 13 = 3*g + j, -2*g - 2*j = 10. Let l(c) be the first derivative of c**3/3 - 3*c**2/2 + 2*c - 2. Let h be l(2). Is h at most as big as g?
False
Let o be (-96)/18*2/4*-3. Which is smaller: 31/4 or o?
31/4
Suppose 3*b + 3 = -0. Let d = 341/9 - 358/9. Let m = d - -7/18. Which is smaller: m or b?
m
Suppose o = a + 58, -2*a - 20 = 3*a. Suppose -j - o = -4*j. Which is bigger: j or 19?
19
Let p = 7 + -12. Do -60/11 and p have different values?
True
Suppose 48 = 6*b - 2*b + 3*j, 3*b - 43 = -4*j. Let y be 39/(-12) - b/(-3). Is 0 < y?
False
Suppose -y - 2*i = -3*i + 3, -2*i = -y - 2. Do y and -2 have the same value?
False
Suppose -3*w + 2*w = -p - 10, -4*p = -5*w + 51. Which is bigger: w or 9?
w
Let x = 12 - 16. Which is smaller: x or -9/2?
-9/2
Let y be (-1032)/(-360) + (5 - 2)*-1. Suppose 5 = -3*w - 2*w. Is y equal to w?
False
Let j be 46/8 + -5 + 1. Are j and 1 equal?
False
Let z = 7 - 3. Suppose -f = 4*i + 10 + 4, -2*i + 2 = -z*f. Is -2 < i?
False
Let l(b) = 3*b**2 + 14*b + 15. Let x(v) = -4*v**2 - 15*v - 16. Let h(m) = 5*l(m) + 4*x(m). Let f be h(11). Which is greater: 3/5 or f?
3/5
Suppose 10 - 2 = -8*i. Is -0.1 less than i?
False
Let q = -44.8 - -45. Which is smaller: q or 0.05?
0.05
Suppose -4*q + 3*q - 2 = 0. Does -4 = q?
False
Suppose -2*c + 10 = 3*o, 0 = -o - 5*c + 2 + 10. Suppose -1 = -3*g - 0*g + 4*t, -3*g = -t - 7. Let n be 1/(g/6 - o). Do n and -2 have different values?
True
Let i = -0.1 + 1.1. Let v(a) = -a + 2. Let z be (3 + -1)/((-1)/(-1)). Let o be v(z). Is o at most as big as i?
True
Let f be ((-2)/5)/((-3)/(-569)). Suppose 3*a - 2*a = 2*h + 153, 0 = -2*h - 4*a - 148. Let x = h - f. Is -1 > x?
False
Let h = -20 - -12. Let p be 2/h + 25/20. Let z(k) = -k**2 + 6*k. Let y be z(6). Is p < y?
False
Let j = 6 - 21. Let s be (1/j)/((-4)/(-8)). Let f be (-1 - (-3)/3)/1. Is s equal to f?
False
Let j be 2 - 12/(-3 - 0). Suppose g = 3*g + j. Let v be 0/1*1/(-2). Is g at most as big as v?
True
Let q = 1 - 0. Suppose 3 = 4*m - q. Which is smaller: 4/5 or m?
4/5
Let d = -0.162 - -0.062. Are 1/5 and d nonequal?
True
Let r be -4 + (25/(-2))/(-5). Do 2 and r have the same value?
False
Let k = -5/2 + 3. Let b = -1.35 + -0.05. Let n = -8.4 - b. Which is greater: n or k?
k
Suppose 13*d - 10*d = 102. Is d != 34?
False
Suppose -2*x = k + 29, 14 = x - 4*k + 51. Is x at most -17?
True
Let z = -2/7 - 3/14. Is z at most as big as -0.03?
True
Let a be (-2)/9 + (-33)/(-27). Which is bigger: 1/14 or a?
a
Suppose f - 2*c + 3 = 0, 5*f - 37 = -2*c - c. Suppose 0 = -i + x + 5, i = f*x + 18 + 7. Let y(a) = -a + 4. Let q be y(i). Which is smaller: 3 or q?
3
Let v = 1 + -3. Let y be (-1 - v)/(-2 - -3). Let g be y/2*(-2 - -4). Which is greater: 1/4 or g?
g
Let v(z) be the first derivative of z**3/3 - 3*z**2/2 + z - 4. Let j be v(3). Is -2/5 != j?
True
Let r = 10.07 + -0.07. Let g = -10 + r. Let i = -2/249 - 488/1245. Which is greater: g or i?
g
Let w = -1912 - -177812/93. Is 1 less than or equal to w?
False
Let s be -1*-1*2 - 9. Let h = 0.049 + 0.051. Are s and h equal?
False
Let m(p) = p + 3. Let d be m(7). Suppose z + d = 6*z. Suppose z + 0 = 2*h - 4*j, -2*h - 4*j = 6. Which is smaller: h or -2?
-2
Let p = 8857468/30635 + 147/2785. Let w = p - 289. Which is greater: -1 or w?
w
Let b = 17 + -18. Is 0 greater than b?
True
Let x = -2 - -6. Suppose 5*s = d - 3, -3*s - d - 1 = -x. Is -3/7 greater than s?
False
Let t be ((-4)/(-16))/((3/4)/3). Which is smaller: t or 4/15?
4/15
Suppose -2*j = -5*l + 2, -5*j - 5 = 3*l - 2*l. Suppose 4*b + 806 = 2*f, -4*f + 8*f = -4*b - 776. Let w = -1789/9 - b. Are l and w non-equal?
True
Let a(i) = -i**3 - 8*i**2 - 6*i + 8. Let d be a(-6). Let p be 6/(-27) - d/45. Which is greater: 1 or p?
1
Let b = 1.3 + -1. Let h = b - 0.3. Let d = -2/39 + -11/39. Is d < h?
True
Suppose -k = 9 - 3. Is -8 equal to k?
False
Let i(p) = p**3 + 16*p**2 + 13*p - 30. Let j be i(-15). Are -1/11 and j unequal?
True
Suppose 0 = -2*g + 6, -4*x + 0*x + 309 = -g. Suppose z = 4*y - 1, 3 = 2*y + 4*z + 25. Let o be (4 + y)/(x/(-4)). Which is bigger: -0.1 or o?
-0.1
Let h be (0/(0 - -2))/(-2). Let g = 304 - 7598/25. Which is smaller: g or h?
h
Let p = 39 + -67. Let a be (-22)/8 - (-7)/p. Let y be (0/1)/(-1 - a). Is 1/3 at least y?
True
Let n be (1/2)/(8/(-16)). Is n greater than or equal to 0?
False
Let s = -52 - -31. Let b = s - -19.9. Let u = 0.1 + b. Is u at most -1/3?
True
Let w be (-1)/(-5) - 4/2. Let a be (6/(-20))/((-9)/66). Let x = w + a. Which is greater: x or 1?
1
Let b(h) = -h**3 - 5*h**2 - h - 5. Let y be b(-5). Suppose y = -12*x + 15*x + 3. Is x != -3?
True
Suppose -2*v - 2*v = 0. Which is smaller: v or 1/8?
v
Let k = -2.5 - -3.5. Which is smaller: k or 7?
k
Let k = -0.026 - 161.974. Let g = -160.97 - k. Let o = g - 0.03. Which is bigger: 4 or o?
4
Suppose 0*y = -5*y. Suppose -3*i = m - 5, -4*m + 3*m - i + 5 = y. Suppose 2*w + 3 = m. Which is bigger: -3/7 or w?
w
Let q = -0.03 - -0.33. Let j(v) = v**2 + 8*v + 6. Let p be j(-7). Let i be (-8)/12 - p/1. Is q smaller than i?
True
Let u = 8 + -4. Let f be (10/u)/((-1)/(-2)). Suppose s = -3*g - 3*s - 2, f*g = -2*s - 8. Which is smaller: g or 0.1?
g
Let i = -0.51 + 0.5. Let d = 0.07 - 0.07. Let v = d - -1. Is i at most v?
True
Let r = 14/11 - 148/99. Is r greater than 3?
False
Let c = 80/3 - 27. Is c equal to -11?
False
Let z = 17 + -20. Let k = 1 + -0.8. Do k and z have the same value?
False
Let v = -14 - -16. Suppose 0 = -v*u, 5*u = 5*q + 2*u + 5. Which is greater: q or 1?
1
Let t be (68/(-16))/(1/(-4)). Let q = -17 + t. Is q smaller than -2?
False
Let d = -134 - -940/7. Let y = -2/15 - -44/105. Is d greater than or equal to y?
True
Let x be 0 + 1/(-3*(-3)/144). Which is smaller: 18 or x?
x
Let o = -10 - -8. Is 12 at least o?
True
Let l be (-6)/(-12)*(-1)/(-2). Let m be (2/(-2) + 2)/1. Is m at most as big as l?
False
Let g = 30 + -18. Let m = -12.2 + g. Which is bigger: 0.4 or m?
0.4
Suppose -4*n + 2*n = 0. Let g = 8 + -4. Let y be (-192)/(-330) + g/(-22). Is n smaller than y?
True
Let n be (-8)/68 + (-4370)/425. Which is greater: n or -9?
-9
Suppose -x = 2*x - 6, -x = 5*p - 7392. Let h = -28090/19 + p. Let u = 5/57 + h. Is u < -1?
False
Let d = -16.19 + 16.2. Which is greater: -2/5 or d?
d
Let s = -3 - -5. Suppose -s*u + 2*j = -8 - 2, -5*j = -3*u + 23. Suppose 0 = 4*i - 11 - u. Which is smaller: i or 2?
2
Let k = -5 - 2. Let o(w) = -w**3 - 6*w**2 + 7*w - 1. Let v be o(k). Which is smaller: -1/3 or v?
v
Let u = 68/5 - 2944/215. Does -1 = u?
False
Suppose 0 = -4*h + 20, 2*s + h - 1 - 6 = 0. Let b be 8/(-6) - 2/(-6). Let t = s - b. Which is greater: t or 3?
3
Let p be (-6)/174*(-2)/1. Let w = -68/145 + p. Which is smaller: w or 2/5?
w
Let d(u) = u**2 - 2*u + 3*u - 6 - 49. Let k be d(0). Let s = 274/5 + k. Is -1 smaller than s?
True
Suppose -4*d - 3*o - 18 = -6, 0 = -d - 5*o - 20. Let h be (-1)/3*(-1 + d). Let c = -2 + 1. Is h greater than c?
True
Suppose 3*u - 3*x = -x, -4*x = 4*u. Which is greater: 2/63 or u?
2/63
Let k = 2.2 + 0.8. Let a = k + -2. Are -0.1 and a unequal?
True
Suppose 0 = 3*v - 0*v + 141. Is v > -46?
False
Suppose 8*l - 3*l = -4*o + 13, -3*o = -l - 5. Is 0 > l?
False
Let w = -56 - -42. Do -13 and w have different values?
True
Suppose -2*r + 35 = -5*t, 5 = -0*t + 3*t + 4*r. Let q = 7 + t. Let p = q + -3. Is 1/4 less than or equal to p?
False
Suppose 12 = 6*t - 18*t. Which is smaller: t or 2/379?
t
Let f = -0.8 - -1. Let g be -8 - (0 + -1 - -1). Let l be -2 - g/6 - -1. Do f and l have the same value?
False
Let w(u) = -u**2 - 2*u + 2. Let q be w(-3). Let i be (-10)/(-3) - 2/(-3). Suppose 0 = -i*l + 3*l. Are l and q unequal?
True
Let d = 7 + -4. Let c = 8 - d. Suppose -b = -5*v - 9, 4*v - c*b = -4 + 1. Is v bigger than -2?
False
Let y(h) = 5*h + 2*h - 4*h + 0*h. Let t be y(3). Which is smaller: 10 or t?
t
Suppose 2*f = 3*f - 17. Suppose 0 = 5*v + f - 47. Are v and 5 non-equal?
True
Suppose 0*s + s - 4 = -5*l, 3*s = 3*l + 12. Which is bigger: 5 or s?
5
Let h = 0 + 0. Su