4. Is -42 at least as big as k?
False
Let o = -8/9 + 20/9. Is o < 1?
False
Let w be 2248/364 + -7 - (1 - 1). Let j = w + 7/13. Are 2/11 and j non-equal?
True
Let i(l) = 2*l**3 + 3*l**2 + l - 2. Suppose 5*s + 7 = 2. Let j be ((4 - 2) + 0)*s. Let g be i(j). Is -10 < g?
True
Suppose -22*d = -26*d - 32. Let r be -2*(-2 + 4/d). Which is smaller: r or 6?
r
Let p = -12 - -11. Let l = p - -0.91. Let h = 3 + -2. Is l smaller than h?
True
Let q = 40 + -29. Let c = -110.45 - -111. Let a = c - 2.55. Which is smaller: q or a?
a
Let w(d) = d**3 - 9*d**2 - 73*d - 16. Let h be w(-5). Which is greater: h or 4/103?
4/103
Let g = 0.16 + 0.61. Let v = 0.67 - g. Let m = -83 + 583/7. Are m and v equal?
False
Let i be (33*(-1)/2)/(4/(-72)). Is 297 equal to i?
True
Suppose 0*k + 2*n - 1188 = -3*k, 3*k = -4*n + 1188. Suppose 8*s + k = -s. Is -42 >= s?
True
Let v = 17.027 - 0.027. Let f = -34 - -37. Are v and f equal?
False
Let q = -214 + 214. Let p = 6 + -2. Suppose p*r - 1 = t, 25 = -8*t + 3*t. Which is smaller: r or q?
r
Let m = -32 - -33.5. Let k = -0.5 + m. Is -7 != k?
True
Let u = -22 - -19. Suppose -4*r + 40 = -9*r. Is r <= u?
True
Let n(z) = z**2 - 6*z + 9. Suppose b - 3*v - 1 = 0, 0 = 5*v - 2*v - 9. Let t(j) = 2*j - 16. Let i be t(b). Let x be n(i). Which is greater: 5/7 or x?
x
Let n = 8 + -16. Let b = n + 8. Is b != -26?
True
Suppose -h + 4*j - 20 = 0, 14*j - 9*j = 5*h + 175. Is 1 at least h?
True
Let w = -1.08 + 16.68. Let d = -16.6 + w. Let m = -1.97 - -0.17. Is d less than or equal to m?
False
Let f be 1 + (-3 - -1447)/(-4). Let p be 12/10 - 1 - 168/f. Are p and 0 unequal?
True
Let r = 4 - 4. Suppose r*c - 2*c = 0. Suppose c = 2*u - 9 + 3. Which is bigger: -1 or u?
u
Let u = 60 + -34. Let n = u - 27.7. Let t = 1.3 - n. Are -0.1 and t unequal?
True
Let w(l) = -2*l**3 + 21*l**2 - 10*l + 1. Let c be w(11). Which is greater: c or -229?
-229
Let x = 0.812 + -5.902. Let z = x + 5. Let u = -0.16 - z. Does u = 1?
False
Let j = 881 - 828. Is j equal to 259/5?
False
Let f = 2/619 - 681/19189. Which is smaller: 1 or f?
f
Let k be ((-34)/(-2))/(1/(-2)). Do k and -34 have the same value?
True
Let v(s) = 3*s + 8*s + 3 + 4. Let o be v(13). Let p be (-10)/o*(-5)/2. Which is greater: 1 or p?
1
Let q be 88/(-6)*(-39)/26. Let a be (6/(-18))/(1/(-66)). Do q and a have the same value?
True
Let w be -9*(-1)/3 + (-25)/9. Suppose 2 = -4*f - 2. Is w > f?
True
Let d be 1*86/(-4) + (-12)/(-24). Which is bigger: d or -15?
-15
Let a be (-7230)/(-225) - (-4)/(-30). Let s = a - 33. Let h = 0.03 + 0.27. Is h != s?
True
Let l be 4/(-18) + (-10)/(720/34). Which is smaller: l or -2?
-2
Let p = -84 + 2179/26. Which is bigger: p or -1?
p
Let w = -613 - -63751/104. Is w greater than -1?
True
Let l(u) = u**3 - 7*u**2 + 7*u - 6. Let r be l(6). Let v = -3 - -7. Suppose -v*s - 3 = 1. Is s less than r?
True
Let p = 3/104659 + 431509012/1569885. Let m = 275 - p. Suppose h + h = 0. Which is bigger: m or h?
m
Let d = -68 - -32. Let i = -1976 + 1939. Is d less than or equal to i?
False
Suppose -7*m + 8 = -3*m. Suppose 15 = -m*w - u, 0*w = -2*w + 2*u. Suppose -3 + 22 = -4*t - 5*l, 2*t - 4*l = -16. Which is smaller: t or w?
t
Let d = 362/3 - 121. Which is greater: 62 or d?
62
Let s = -20326/29 + 701. Let k be ((-9)/(-6))/(-3)*2. Which is smaller: k or s?
k
Let w(f) = -f - 3. Let r be w(-4). Let j(x) = -r + 5 - 5*x - 3. Let i be j(1). Is -5 not equal to i?
True
Let n(w) = -4*w - 122. Let p be n(13). Is p bigger than -173?
False
Suppose 3*m - 8 = -4*x, -5*m = 6*x - 5*x - 2. Suppose 0 = 4*d - 2*d - 8. Suppose -y + 5*y - d = 0. Which is greater: y or m?
y
Suppose 7*o - 3*o - 8 = 0. Let y be o/(-4) - (-132)/24. Suppose -9 + y = -2*p. Which is smaller: 1 or p?
1
Let s = -10049/117630 - -10/1307. Which is bigger: 0 or s?
0
Suppose -48*z + 47*z = 30. Is -30 <= z?
True
Let h(m) = -7*m + 15. Let l be h(5). Let k = 40 + l. Is 18 less than k?
True
Suppose -4*a - 2*t + 0*t = 4, 4*t + 16 = 0. Which is smaller: a or -4/117?
-4/117
Let s be 3/(-153)*((-420)/(-36) - 10). Which is bigger: 1 or s?
1
Let m = 20 - 10. Let q be 3*4/m*30. Let h be 4/14 - q/77. Is h less than 0?
True
Let s be 5 - (2 - -3 - 4). Let i be 0 + s + 36/(-9). Let v be (22/14 + -2)/1. Is v <= i?
True
Let m be (-4)/(-6) + 26/6 + -1. Suppose m*j = -3*n - 1, -6*j - 6 = 3*n - 3*j. Which is greater: n or -13/2?
-13/2
Let r = -4 - -5. Let c be -9*(r/10 - 0). Is -1 > c?
False
Let f be 2 + 3 + 4 - 1. Suppose 25 = 7*k - f*k. Is k smaller than -26?
False
Let n = 13.809 + -0.009. Let j = 1.2 + n. Let i = j - 14.92. Which is smaller: -1 or i?
-1
Let k(o) be the third derivative of -o**6/120 + o**5/60 - 5*o**3/3 + 2*o**2. Let z be k(0). Let n = 10 + z. Are 2/17 and n unequal?
True
Suppose 3130*t - 4*h - 42 = 3135*t, 0 = -3*h - 9. Suppose 5*s - 3*s + 2 = 0. Let f be s/(-3) + (-58)/12. Which is bigger: t or f?
f
Let w be 15 + 0/(-1*2). Let l be 129/w + (-2)/(-5). Suppose -3*n - 3*q = -30, -q = n + 3*n - 40. Is n less than or equal to l?
False
Let i = 32522/705349 + -4/3163. Which is greater: 1 or i?
1
Suppose -9*c + 57 = -66*c. Which is bigger: c or -1/262?
-1/262
Suppose 3 = -j + 4. Let n be j*(-4)/(-8)*-1. Is 0 greater than n?
True
Suppose -c = 3*n + 2*n - 15, 0 = 5*n + 2*c - 20. Let l be n/8*(-2)/(-4). Suppose 4*o - 27 = -3*y, 15*y = 18*y + o - 9. Is y less than l?
False
Let z be -10*(-8)/((-160)/(-132)). Let v be ((-9)/z)/((-1)/2). Is v > 0?
True
Let p(d) = -d**2 + 8*d + 2. Let u be p(7). Let v = -351 + 717/2. Which is smaller: u or v?
v
Let l(k) = -k + 6. Let f(i) = -i**3 + 2*i**2 + 3*i - 1. Let q be f(2). Let d be l(q). Let j be -8 - (-2 + (3 - d)). Which is bigger: -9 or j?
j
Let a be (-1)/((-17765)/(-59200)) + 4. Let r = 8/209 + a. Which is bigger: 1 or r?
1
Suppose -2*b = -2*n - b + 55, 64 = 2*n - 4*b. Suppose 2*d + s + s = -n, -4*d + 4*s = 36. Is 1 greater than d?
True
Let l = 621 - 621.031. Which is smaller: -23 or l?
-23
Let v(q) = -q**3 + 11*q**2 + 2*q - 10. Let l be v(11). Let k be ((-2)/(-6))/(2/l). Let i be -3 - (-3 - 5)/k. Is i < 0?
False
Let x = -3117 - -271169/87. Is -1 at most x?
True
Let a = -152 - -605/4. Let u = 0.006 + 0.079. Let o = 0.085 - u. Are a and o unequal?
True
Let l = 8.6012 + 0.1588. Is 1 less than or equal to l?
True
Let c(m) = m**3 - 2. Let o be c(2). Let v = -5 - -6. Let s = -1/2 + v. Are o and s nonequal?
True
Let k(x) = x**2 + 0 - 1 - 5*x - 3. Let c be k(7). Suppose 2*q + 4*t + c = 0, -4*q + 2*t = -0*t. Is 1/3 less than or equal to q?
False
Suppose 0 = 2*x + 5 - 41. Let t = x + -24. Is -2 >= t?
True
Let h = 3969 + -591383/149. Is 2 equal to h?
False
Let l(y) = 5*y - 27. Let s be l(7). Suppose 24 = -h + 4*d, -4*d + s = 3*h - 0*h. Let v = -3 + -2. Is v equal to h?
False
Let i = -46360/31 + 1495. Is i at least 0?
False
Suppose -3*h + 5 - 2 = 0. Let m be -3 + 31/29 - (2 + -4). Which is smaller: h or m?
m
Let h(c) = -c**2 - 5*c - 2. Let d be h(-2). Suppose 7*i - 11 = 255. Let z = i - 35. Is d bigger than z?
True
Let h(x) = 2*x**3 + x**2 + x. Let y be h(-1). Let j = -2 - y. Let u = j - 2. Which is smaller: -3 or u?
-3
Let f = -61521/4 - -15460. Let v = -137 + 58. Let h = f + v. Which is smaller: 1 or h?
h
Let c = 46.938 + -47. Which is greater: 12 or c?
12
Let l be 3/(-6)*0/(-2). Suppose z - 2 + 0 = l. Are -1 and z non-equal?
True
Let q = 560 + -490. Is q smaller than -3?
False
Suppose -3*g + 3*u = -u + 58, -g = -2*u + 18. Let z = 112 - 91. Let y = -43 + z. Is y at most as big as g?
True
Let s = 95097/10 + -9498. Which is bigger: 13 or s?
13
Let p be 6/(-4)*72/(-18). Suppose p*a + s = 5*a + 2, -4*s + 8 = 0. Is 68/5 smaller than a?
False
Let m(s) = -2*s**3 + 7*s - 9. Let j be m(2). Let x be (j/2)/((4 + -13)/90). Which is greater: 53 or x?
x
Suppose 2*y = 12 + 6. Suppose y - 6 = 3*j. Is -20 less than j?
True
Suppose -15*y - 10 = -5*y. Let g be (232/40 + -6)*(-6 - y). Let r be 1/(143/2) - 0. Which is smaller: r or g?
r
Let o be (-4)/(-78) + 0/(-1). Suppose -36 = 3*h - 2*h. Let q = h + 37. Which is greater: q or o?
q
Let y = 1220 - 378. Is 1 greater than y?
False
Let q(k) = -2*k - 6. Let p be q(-18). Which is smaller: 91/3 or p?
p
Let m = -7/758 + 3823/85654. Let a = 2841/452 - m. Let i = -6 + 13. Which is smaller: i or a?
a
Let p = 0.27 + 1.33. Does p = 1?
False
Let n = 12 - 6. Let h = n + -4. Suppose 0 = 3*c - 0 - 3. Which is sma