42. Does k = 0.7?
False
Let m = -28 - -27. Which is smaller: 3 or m?
m
Let z be 2/(-12) + (-12 - (-123)/(-18)). Which is smaller: z or -1/13?
z
Let i = -0.317 - 0.013. Let f = -0.03 - i. Are f and 0.01 nonequal?
True
Let o be (7/(343/70))/(4/224). Does o = 75?
False
Let c be 50*((-45)/10)/3. Is 2 less than or equal to c?
False
Let s be (-30)/80*(-52)/3237. Which is smaller: s or 0?
0
Let a = 287 + -724. Which is greater: a or 0.1?
0.1
Suppose 2*u - 4 = p - 2*u, -p + 12 = 4*u. Let v(s) = s**3 - s**2 - 1. Let i be v(0). Is p not equal to i?
True
Let o = -91 + 457/5. Suppose s = 1 + 2. Suppose 4*c + 6 = -j + 2*j, 2 = -4*j + s*c. Which is smaller: j or o?
j
Let u = -31 + 30.83. Let z = 1.17 + u. Let t = 9 - 5. Which is smaller: t or z?
z
Let r = 125/41 - 455/82. Let z = 3 - 7. Which is greater: z or r?
r
Suppose 5*m - 196 = -p - 534, 0 = -m - 4*p - 79. Do -67 and m have different values?
False
Let u = -41 - -62. Let n = u - 20.95. Which is smaller: n or -0.3?
-0.3
Let y be (-147)/(-238) + 6/(-51). Do y and 7 have the same value?
False
Let a(w) = 10*w**2 - 2*w. Let h be a(2). Let r = -40 + h. Is -18/5 not equal to r?
True
Let o = -340 - -520. Let s be (o/25)/(-1) - -2. Is -4 at least as big as s?
True
Suppose -78*o - 345 = -75*o. Let b = o + 73. Is -1 smaller than b?
False
Let n = -2 + 2. Let o = 5 + 72. Let x = 845/11 - o. Which is smaller: x or n?
x
Let u = 1567 + -1651. Which is greater: u or -75?
-75
Suppose -2 = -3*i + s, -i - 10 = 2*i + 5*s. Let h = 34193/6 - 5677. Let g = h - 22. Is g at most as big as i?
True
Let n(h) = 5*h**2 + 13*h - 5. Let o be n(6). Suppose 8*b + s = 3*b - 241, -5*b + 2*s - o = 0. Which is smaller: b or -47?
b
Let k(c) be the first derivative of c**4/4 - c**3/3 + c**2/2 - 13*c - 1. Let l = -310 - -310. Let m be k(l). Which is bigger: m or -12?
-12
Let l = 174 + -108. Let j = -67 + l. Is j > -1/24?
False
Suppose 3*l = 2*i - 0*i, i - 5 = 4*l. Let d be -2 - (3 + -3)/i. Let s be ((-3)/(-12) + -1)*20/18. Is d >= s?
False
Let h be (21/42)/(2/(-12)). Let z be h*19*(-3)/(-9). Let t = -22 - z. Is t at most -3?
True
Let b be 5*4/(-100) + (-129)/5. Let u be (b/(-6))/(2/6). Is u smaller than 12?
False
Let w(c) = c**2 + 13*c - 5. Let j(a) = -a**2 + 5*a. Let q be j(7). Let z be w(q). Are z and -2/9 unequal?
True
Let a = -9 + 17. Let c = a - 8. Suppose c = 3*t + 16 - 4. Is -4 less than or equal to t?
True
Let y(n) = n**3 - 6*n**2 - 54*n - 9. Let x be y(11). Which is smaller: 7/5 or x?
7/5
Let p be (-8)/(8/(-21)) + 2. Suppose 0 = h + 4*z - 16, -p = -3*h - 3*z - 2. Which is smaller: h or 5?
h
Let x(a) = a**3 + 7*a**2 - 11*a - 20. Let i(u) = u**3 + 2*u**2 + 2*u + 7. Let l be i(-3). Let y be x(l). Is y greater than or equal to 5?
False
Let l = -300/11 - -15834/583. Is 1 not equal to l?
True
Let b(n) = n**2 - 13*n + 11. Let j(o) = -o + 26. Let f be j(14). Let d be b(f). Let x be (-6)/(-4) - (-1 - d). Does x = 1?
False
Let t(x) = 4*x**2 - 8*x - 11*x + 12 + 23*x. Let a be t(-2). Are 21 and a equal?
False
Suppose -23*i + 91 + 116 = 0. Let r(n) = -n**3 - 8*n**2 + 2*n + 7. Let t be r(-8). Let c be 2/t + (-101)/(-9). Are c and i non-equal?
True
Let z = 4.1 - 4. Let c = -12.9 - z. Let h = 12.99 + c. Which is greater: 0.2 or h?
0.2
Suppose -40 = -3*s + 4*h, 0*h = -s - 3*h + 9. Let r = s - 24. Suppose 2*p = o - 24, -2*p - o = -0*p + 24. Are r and p unequal?
False
Let f = 0.2236 - 0.2236. Does 198 = f?
False
Let w = -1875 + 106859/57. Let f = -1/19 + w. Let s = 527 - 522. Is s <= f?
False
Let o = -36 - -41. Suppose -y - 2*y = z - o, 3*z + 12 = 0. Suppose -3*w = -15, p + 2*w - 19 = -5. Is p less than or equal to y?
False
Let s be (-20)/(-18)*27/72. Let h(l) = -l**3 + 5*l**2 + 8*l - 13. Let c be h(6). Which is smaller: s or c?
c
Let x = -3.36 - -19.36. Is 0.1 at least as big as x?
False
Let f be (-2)/((-4)/6) + -1. Suppose 12 = 4*z + d + f, -14 = -5*z - 2*d. Let c be ((-9)/(-8) - 1)*z. Is c at most as big as 1?
True
Let v be (5 + 64/(-8))*(-8)/6. Is 23/6 > v?
False
Let s be (-60)/16*(3 - (-436)/(-12)). Is 125 < s?
False
Suppose -3*g + 7 = -b, 3*b = -0*g + 5*g - 13. Let l be g + -4 - 96/(-52). Let t(d) = -d**3 + 7*d**2 + 6*d + 15. Let u be t(8). Which is smaller: l or u?
u
Suppose 0 = 5*y - 7*y + 6. Suppose 3*u - 120 = 2*i, y = -2*i - 3. Are u and 37 unequal?
True
Suppose 3*t = h + 36, -5*t - 4*h + 51 - 8 = 0. Let c(d) = 8*d + 6*d**2 - 2 + d**3 - 3*d**3 + d + d**3. Let m be c(7). Which is bigger: m or t?
m
Suppose 0 = -924*f + 916*f - 32. Which is greater: 3 or f?
3
Let s = -0.052 + -13.948. Let d = s + 13. Are 67 and d non-equal?
True
Let b be (3 + -49)*1 + -4. Is b not equal to -50?
False
Let n = -40.31 - 0.09. Let l = -40 - n. Let u = 6.9 - 7. Which is smaller: u or l?
u
Suppose 5*w - 4*p + 7*p = 28, -5*w + 48 = -2*p. Let s = -5 + 6. Is s less than w?
True
Let n = -176/4221 + 2/201. Suppose 6 = 4*h + 2*h. Which is smaller: h or n?
n
Suppose 2*m - 3*x + 18 = 0, -4 = 4*x + 12. Let n be (-64)/14 - m/(-35). Is n <= -7?
False
Let m(d) = 37*d - 57. Let n be m(2). Which is smaller: 1.4 or n?
1.4
Let u = -66 + 22. Let d = -44.4 - u. Which is bigger: 0.1 or d?
0.1
Let b(c) = -3*c - 19. Suppose 0 = -12*h + 7 - 91. Let z be b(h). Is z equal to 11?
False
Let j be ((-9)/(-12))/(2 - 7/2). Is j bigger than -82?
True
Let u(p) = -2*p - 4. Let s be u(-4). Suppose 1943 = 578*a + 608 - 977. Is s at most a?
True
Let r = 11/71 - -1436/355. Is r smaller than 5?
True
Let b be (14/(-4))/(2/(-4)). Let p(w) = 3*w**2 - 18*w - 20. Let f = 95 + -88. Let u be p(f). Which is smaller: u or b?
u
Suppose -2 = -9*o + 16. Suppose 0*w + 3*w = 2*z - 129, -5*z = -o*w - 328. Is z != 67?
True
Let u be ((-9)/((-378)/12))/((-10)/205). Which is smaller: u or -5?
u
Let n be ((-37)/(-3))/1 + (4 - 6). Is n less than 9?
False
Let w = -61.82 - -61. Let p = w - -0.02. Which is smaller: p or 2?
p
Let t = -210 + 121. Let k = 88 + t. Is k greater than or equal to -61/3?
True
Let v be 4/6*204/(-68). Are -13/4 and v nonequal?
True
Let w(z) = -20*z**2 - z - 8. Let f be w(2). Is -90 bigger than f?
False
Let b(a) = -57*a + 6. Let v be b(-4). Let k be (-232)/(-882) - 13/(v/4). Which is smaller: k or 0?
0
Let m be ((-28)/35)/((-3)/(-3*5)). Let h be 12/(-333)*6/m. Is h less than or equal to 0?
False
Suppose 50*p = -17*p + 1340. Let z be 1 - 20/(-2 - -1). Which is greater: z or p?
z
Let h = -1 + 6. Let f = -2.8618 - 0.1382. Is h at least as big as f?
True
Let h = -105 + 104. Which is smaller: 50/7 or h?
h
Suppose 7*o + 78 = 22. Let j be 1*(3 + o + 8). Which is smaller: j or 32?
j
Suppose 5*f + 3786 + 1034 = 0. Let a = -4727/5 - f. Is 2/5 > a?
False
Let o = -2 + 0. Let b = 1.98 + o. Let w(t) = t**2 - 8*t + 1. Let c be w(8). Which is smaller: c or b?
b
Let z be -3 + (1010/(-10098))/(14/(-420)). Are 1 and z unequal?
True
Let b be -31*2*8/16. Which is bigger: b or 2?
2
Let l(k) = -2*k**2 - 16*k - 8. Suppose -f = 2*o + 11, 0*f = -3*o + 3*f - 30. Let y be l(o). Suppose -y*n = -n. Which is smaller: n or 1/9?
n
Suppose 3*v + 20 = 4*b + 7, 0 = 3*v - 5*b + 17. Is v greater than or equal to 7/12?
True
Let f = 5 - -5. Let j = f + -25. Let a = j - -16. Is -7 less than a?
True
Suppose 0 = 5*o - 2*c - 2793, o - 560 = 8*c - 9*c. Which is smaller: o or 560?
o
Let l be -2 + 3 + 2 - (48 - 118). Is l bigger than 78?
False
Let w = -619 + 30949/50. Are w and 0 nonequal?
True
Let b be (8/(-12) - 0)/((-53)/(-3)). Suppose 4*t = 7*t. Is t at most as big as b?
False
Let g(b) = b**2 + 4*b - 4. Let c(v) = v**2 - 14*v - 5. Let i be c(14). Let l be g(i). Let d be -3 + 2/(36/62). Which is smaller: d or l?
d
Let y = -8401 + 30554435/3637. Which is smaller: y or 0?
y
Let i = 8.46 - 0.46. Let x = 6 + -15. Let b = x + i. Which is smaller: b or -2/5?
b
Suppose 5*b = -3*l + 261, b + 2*l - 259 = -4*b. Is 53 at least as big as b?
True
Suppose 2*l + 106 = -66*z + 63*z, l - 4*z = -75. Which is greater: l or -55?
-55
Let u = -5279/44 - -483/4. Is 0 at most as big as u?
True
Let q(y) = y**2 - y - 8. Let v be q(-4). Suppose 10*t = v*t - 26. Suppose -t = 3*d - 58. Is 14 at most as big as d?
True
Let v be ((-112)/113 + 1)*-52. Let p = v - 12859/2260. Let z = -23/4 - p. Is 1/3 at most as big as z?
True
Suppose -56 = 1217*w - 1221*w. Are w and 11 equal?
False
Let l = 1 + 1. Let c be 9/6 - 1/l. Let g be (0 - 1)/(((-44)/8)/(-11)). Is c <= g?
False
Let b = 