42. Let c be (-5)/(-2)*(-14)/10. Let i = b + c. Which is smaller: i or -1?
-1
Let v(a) = a**3 + 4*a**2 - 5*a + 2. Let m be v(-5). Let h be m/(-4) - (-22)/4. Suppose 0 = -h*d + 2*d - 3. Which is smaller: -2/9 or d?
d
Let p = -3 + 5. Suppose 0 = 42*o - 38*o - 8. Are o and p equal?
True
Suppose 27 = 2*y + 29. Is 1 less than y?
False
Let s = 6 - 11. Let k be (-1)/((-10)/(-4))*s. Suppose a - 6 = -k*a. Which is greater: 1/5 or a?
a
Let q be (-1 + 1)/(-2 + 4). Let f = 3/209 + 53/10868. Let o = f + 81/1196. Which is smaller: o or q?
q
Suppose 2 = -5*k - 3. Let c be (-1)/1*k + 1. Let s = 0.2 + 0.8. Which is smaller: c or s?
s
Let d(k) = -k**3 + 6*k**2 + k - 7. Let r be d(6). Is 2/37 smaller than r?
False
Let l(z) = 0*z - 2*z + 4 + 3*z. Let d be l(3). Suppose -4*a - x + 1 = -4, -d = -4*a - 3*x. Which is bigger: -1/6 or a?
a
Let q = -1 + 0. Let u = -670/1197 - 2/171. Which is bigger: u or q?
u
Let o = -6 - -6.3. Let u = -0.07 + 0.17. Which is smaller: u or o?
u
Let r(q) = q**2 + 4*q - 5. Let n be r(-3). Is n less than or equal to -12?
False
Suppose -o + 5*a = -133, -5*o + 3*a + a + 644 = 0. Which is bigger: o or 127?
o
Let f be ((-1)/(-2))/(8/1424). Let w = 891/10 - f. Is w >= 0?
True
Let v = -0.2 - -0.4. Let x = -9 + 11. Which is smaller: x or v?
v
Let x = 1 - 0. Let a be x/(6/(-8) + 1). Let f(h) = h**3 - 5*h**2 - 7*h + 9. Let q be f(6). Is a greater than or equal to q?
True
Let p = -16 + 16. Is -2/19 < p?
True
Let b(s) = -s**2 - 7*s - 7. Let c be b(-5). Let r be ((-21)/(-2))/(0 + c). Is r < 3?
False
Let p = -0.3 - -0.28. Let n = 1.98 - p. Is n bigger than 2?
False
Let r be 6/(-12) + (-9)/(-10). Which is smaller: 0 or r?
0
Let n be 1/2*0/27. Is -8/45 < n?
True
Let b be (1 - 0)*(-5 + -1). Suppose 3*n - z - 20 = -2*n, -4*n - 5*z = 13. Suppose v + 5*o = 6*v + 10, -v + n*o = -4. Are v and b nonequal?
True
Let j = 4 - -1. Suppose -a + 10*c = 5*c - 15, 3 = j*a - c. Which is smaller: 2/3 or a?
a
Let b = -0.15 - -3.15. Are -1/5 and b equal?
False
Let i be (-5)/(-12) + (-7)/(-28). Is -1 smaller than i?
True
Let r be (1*-2)/(0 - 2). Let f = -2/21 - -1/6. Is f greater than r?
False
Suppose -7*s + 35 = -12*s. Which is greater: -5 or s?
-5
Suppose -176 = 12*l - 16*l. Is l at least 43?
True
Let o be 2 - 3/6*8. Let z be (o/(-14))/((-6)/(-14)). Which is greater: -2/5 or z?
z
Let w = -0.3 + -0.1. Which is bigger: 4 or w?
4
Let k = 18 + -15. Is k equal to 3?
True
Let a = -4/7077 - -1861271/35385. Let u be (106/(-2))/(-1 + 0). Let v = u - a. Which is bigger: 0 or v?
v
Suppose 4*r + u = 3*u + 22, -4*r + 4*u + 32 = 0. Let i = r - 1. Let v be (1*i)/(7/(-1)). Which is smaller: v or -1?
-1
Let b be 2*(-3)/(3/(-2)). Let a be 1/b - (-44)/(-16). Is a less than or equal to -2?
True
Let n = 2 + -4. Let y = 1 - 4. Let z = -2.9 - y. Is z at most as big as n?
False
Let a be 4 + -6 + (-3)/(-4). Is a smaller than 0?
True
Suppose 4*b + 5*z = -259, -7*z = 5*b - 10*z + 296. Is -61 < b?
False
Suppose -4*y - r + 12 = -5*r, 0 = y - 5*r - 7. Let j be 2/(-8) + 63/12. Suppose j*w = 3*k - 1, 4*w = y*k - 2 - 0. Is -1 at most as big as w?
False
Suppose -4*v = -3*v. Let y(s) = s**2 - 2*s - 2. Let n be y(4). Suppose -n*d = -3*d + 6. Is d at least as big as v?
False
Let v be (-1)/(-2) - (-2)/4. Which is smaller: 27/2 or v?
v
Suppose -9*f = -10*f - 21. Is 1 equal to f?
False
Suppose 4*r + 30 = -4*w - 58, -2*w = -4*r - 58. Which is bigger: -18 or r?
r
Let i = -13 - -11. Which is smaller: i or 1/6?
i
Let q = -225 - -1578/7. Which is bigger: 1 or q?
1
Let v(m) = -2*m. Let q = 3 + -2. Let h be v(q). Let d be 0*(-1)/(-4)*h. Are d and -0.1 equal?
False
Suppose -30 = 2*d - d. Let w = 51 + d. Let k be (-6)/w - 32/(-14). Are k and 4/5 non-equal?
True
Let g(x) = -11 + 4*x**2 - 13*x - 3*x**2 + 4*x. Let t be g(10). Is -3 at least t?
False
Suppose -4*l - 5 = -9*l. Which is smaller: l or -9/2?
-9/2
Let p be (-297)/105 - 5/((-75)/6). Which is bigger: -2 or p?
-2
Let u be 25/9 + (-6)/(-27). Suppose 0*t = -u*w - t, 2*t = -4*w. Suppose 4*x - 5 - 3 = w. Which is bigger: 1/2 or x?
x
Let t be (-2)/(9 + 2 + -1). Let q(w) = w**3 + 3*w**2 + 3*w + 3. Let j be q(-2). Let o be j*(-1 + (2 - 0)). Is t equal to o?
False
Suppose -3*z - z = 0. Suppose 5*v = -3*j + 2*v + 9, -3*v = 0. Let d be 2/j*6/16. Is d at most as big as z?
False
Let y be (-270)/3 + 8/(-4) + 0. Which is greater: 0 or y?
0
Let f = -1818/77 + 260/11. Which is greater: f or -1?
f
Let s = 11/6 - 5/2. Which is smaller: 1/31 or s?
s
Let y be (-2)/(-5) + (-42)/30. Let u be 3 - (5 + 0 - 0). Is y at most as big as u?
False
Let p be -1*0*3/(-9). Let x = 31/28 + -6/7. Are x and p nonequal?
True
Let a be (-3)/(-8)*144/3996. Is -1 <= a?
True
Let f = -265/4 - -66. Which is greater: f or -1/2?
f
Let o(b) = -1 + 1 - 4*b + 0*b - b**2. Let y be o(-5). Is y <= -4?
True
Let d(x) = -x. Let o be d(-4). Suppose o*m = m + 6. Is 1 not equal to m?
True
Let t = 13327/62 + 792/31. Let v = t - 247. Which is smaller: v or -7?
-7
Let u = -5.3 + 5. Let l = 7.2 - 7. Is l greater than u?
True
Let w be (-4)/(-12)*6/62. Which is smaller: w or 0?
0
Let o = -4 + 20. Is o > 16?
False
Let i(w) = 19*w**3 + 1. Let j be i(1). Suppose -3*k - k + j = 0. Suppose -4*o = -2*f - 3 + 21, 0 = 3*f - k*o - 22. Which is smaller: f or -3?
-3
Let i = -19 + 56/3. Suppose 5*z - 20 = 2*m, 2*m + 0*z = 4*z - 16. Is i at least as big as m?
False
Suppose 1 = 3*w + 19. Let u(s) = -6*s. Let c be u(1). Are c and w nonequal?
False
Let a(v) = v**2 - 11*v + 3. Let r be a(13). Is r at least as big as 28?
True
Let n be (-1448)/(-174) + 1/3. Let w = -11028/145 + n. Let h = w - -67. Do h and 1 have the same value?
False
Let a be 80/(-100) + (-17)/(-15). Are 0.4 and a non-equal?
True
Let b = -12.1 - -12. Is -2 <= b?
True
Suppose -a - 2*v - 3 = -2*a, 3*a + 3*v - 9 = 0. Let x be (1/2)/(6 - (-426)/(-72)). Let q be (2/(-4))/(a/x). Do q and -1/2 have the same value?
False
Let v = 0.169 + -9.069. Let c = v - -8. Let q = -1 - c. Is -0.2 equal to q?
False
Let p = 0.1 - -2.9. Let t = -3 + p. Suppose 0 = u + 4 - 6. Which is greater: t or u?
u
Let d = 26 - 23. Let f(h) = -4*h + 10. Let q be f(d). Let j = 4 - 7. Which is bigger: q or j?
q
Let g(l) = 2*l - 4. Let c be g(4). Suppose 3*a + 6 = 3*t, c*t - 3*a + a + 2 = 0. Let j be 0/((t + 4)*-1). Which is smaller: -1 or j?
-1
Suppose k + 38 = 5*u + 4, -4*u = -4*k - 40. Suppose u + 12 = 4*q - 3*t, -4*t = 2*q + 2. Let n(i) = -i**2 + 2*i - 3. Let v be n(q). Which is bigger: -7 or v?
v
Let u = 0.34 - -20.66. Let q = u - 21. Which is smaller: 9 or q?
q
Let y = 2 + -2. Suppose y = 3*a - a + 6. Is -4 >= a?
False
Suppose 2*z - 24 = -2*z. Let w = -30 - -30. Let x be z + -2*(w + 1). Which is bigger: x or 5?
5
Suppose 0 = -4*n, 2*n + 3*n - 15 = -3*w. Which is greater: 6 or w?
6
Let p = 6 + -7. Are -2/47 and p equal?
False
Let o = 7.2 + -9.2. Is o != -4/27?
True
Let g be (4/3)/(4/6). Let h be (8/(-5) - -2)*30. Let i be h/(-20) + g/2. Which is smaller: i or -1/4?
-1/4
Let q = 12.3 - 13. Let x = -0.72 - q. Is x >= 1?
False
Let l(k) = -k**3 + 8*k**2 - 7*k - 2. Let d be l(7). Let t = 0 + d. Let z = t - -5. Which is smaller: z or 4?
z
Suppose m + i = 5, -m - 9 - 1 = -2*i. Let x be (-2)/2 - (2 + m). Suppose 4*u - 2*u = -4*z + 2, -3*u = -2*z + 13. Is x less than u?
False
Let t = 45 + -59. Is t > -14?
False
Let o(d) = 2 + 2 - 6 + d. Let y be o(2). Suppose 5*n = 2*c + 7, y = -2*n + c + 3. Which is smaller: -2 or n?
-2
Suppose 1 = 5*d + 6. Is 9/4 > d?
True
Let j = 0.01 - -0.19. Do 5 and j have the same value?
False
Let t be -4 + (0 - -2) - -1. Let i = 1 + t. Suppose -4 = -4*l, 2*l = -i*f - 2*f + 4. Is f equal to 2?
False
Let q(x) = -x - 8. Let p be q(-12). Let k = 3 + 2. Which is smaller: k or p?
p
Let w be (54/24)/(6/(-16)). Let q = w - -7. Which is greater: q or -2/13?
q
Suppose 14 = -6*q + 4*q. Let n = -12 + 5. Is n != q?
False
Let d(s) = s**3 - 14*s**2 + 13*s + 12. Let t be d(13). Let a = t + -7. Suppose 5*r = -2*g - g + 25, a*g - r = 23. Which is smaller: g or 4?
4
Let g = 31 + -44. Let i = 20 + g. Is i less than or equal to 7?
True
Let o be (-2)/(-4)*(-2)/(-4). Suppose -2*a = a + 15. Let s = 4 + a. Which is bigger: s or o?
o
Let o = 4 - 3.7. Let r = -0.05 + -0.25. Let l = r + o. Which is smaller: l or 2?
l
Suppose -4*n + 46 = -5*c + 2*c, -c + 2 = 0. Let k be 2 + n*3/(-24). Which is smaller: k or 0.1?
0.1
Suppose 