 be ((-20)/30)/((-4)/(-24)). Is y bigger than 0?
False
Let q = -4369 + 4441.96. Let l = -73 + q. Is -8 at most l?
True
Let y = -1.706 + -94.394. Let s = y - -96. Is s less than or equal to 1.8?
True
Let w be 3/(-4) + (-158)/(-8). Let i = -30 - -24. Let a be w/(-33) - 4/i. Which is bigger: -1 or a?
a
Let f = -22 + 58. Let j = f + -35. Which is smaller: j or -0.5?
-0.5
Let b(q) = -7*q - 7. Let t(o) = 3*o + 3. Let g(r) = -4*b(r) - 9*t(r). Let d be g(-1). Which is smaller: -2/19 or d?
-2/19
Suppose -2*b + 20 = -37*l + 41*l, 2*b + 20 = 4*l. Is -156 < b?
True
Let s = -115 - 814. Are s and -930 unequal?
True
Let u(l) = -l**3 + 6*l**2 + 16*l - 5. Let k be u(8). Let i = k + 7. Is i not equal to 4?
True
Let z be -10 + -2 + 0/1. Let d be 1/3 - 260/z. Let y = -21 + d. Is y >= 0.5?
True
Let q = 38.58 - 38. Let w = q - -11.22. Let j = 12 - w. Do j and -1/2 have the same value?
False
Let r = 0.8 + -7.2. Let u = -0.074 + 6.074. Let i = r + u. Is -2 not equal to i?
True
Let n = 24 - 312. Let k be (-2)/8 - 136/n. Suppose -7*m = m. Which is bigger: k or m?
k
Suppose -302*a + 216 = -296*a. Which is greater: 32 or a?
a
Let w(d) = d**2 + 31*d + 219. Let g be w(-20). Which is bigger: 9/148 or g?
9/148
Let p(k) = k**2 + 246*k - 491. Let u be p(2). Suppose 0 = -2*z + 6*z - 24. Which is smaller: z or u?
u
Let j = 618.01 + -623. Let z = j - -5. Let t = 0.01 - z. Does -0.1 = t?
False
Suppose 4*d - 5*y = 153, 59 + 34 = 2*d + 3*y. Are 85/2 and d equal?
False
Let k = -457/10 - -6/5. Let s = k + 44. Is s at most as big as -3/4?
False
Let a be -1 + 5/15 - 24312/(-36495). Let w = a + -29194/4055. Is -7 equal to w?
False
Let p = 1.8593 - -0.1407. Do p and 6.05 have different values?
True
Suppose 4*z - 3*h + 89 - 429 = 0, -2*h - 8 = 0. Let n be z/5 - (-8)/(-20). Let j = 23 - 8. Which is bigger: j or n?
n
Suppose -3*s = 6*d - d - 20, 2*d + 18 = 4*s. Let g = d + -5. Which is bigger: g or 6?
6
Let j(h) = h - 1. Let x be j(4). Suppose 5*z = 5*g - 20, 3*g - 14 = -2*g + x*z. Let d = 2 - 5. Which is smaller: d or g?
d
Suppose -378*h = -369*h + 918. Which is smaller: h or -101?
h
Let r = -2599 + 943441/363. Is r less than -1?
False
Suppose -r - 3*d + 41 = 0, -4*r - 3*d + 209 = -6*d. Let u = r - 90. Is u greater than or equal to -0.1?
False
Let j(z) = -14*z - 18. Suppose 2*c = 4*y + 44, -2*y = 2*y + 2*c + 52. Let o be j(y). Let k be 6/(-21) - o/(-35). Are 4 and k nonequal?
False
Let b(p) = -p**2 + 7*p + 5. Let r be b(7). Suppose 0*z - r*z + 5 = 0. Is z greater than or equal to -3/52?
True
Suppose 80 = 6*r + 86. Which is smaller: -1/130 or r?
r
Let v = 96.89 + -15.99. Let k = v - 95. Let h = k - -2.1. Is -2/3 <= h?
False
Let a = 280 - 279.97. Let b = -3.2 - 0.8. Let w = 4 + b. Is w at most as big as a?
True
Suppose 10*x - 51 = 11*x. Let d be 6/(-9) + x/(-9) + -4. Let y = -2/1461 + -2888/24837. Which is bigger: d or y?
d
Let j = 24 - 22. Let u be 1/(-145)*-4*j/4. Which is smaller: -1 or u?
-1
Let v be (6/(48/40))/(6 - 2). Is -1/3 at least v?
False
Let v(f) = -f**2 + 14*f - 2. Let h be v(12). Suppose l + 3*n - 8*n + 28 = 0, l + 5*n - h = 0. Suppose -o = -2*q - 2*o - 9, 2*o - 12 = 2*q. Are l and q unequal?
True
Let u = -79.5 + 79. Which is smaller: u or 0.1?
u
Let j = -436/801 + -1/89. Is j < -1?
False
Let i = -800/17 - -47. Let f be (0/((-2)/(-2)))/1. Which is smaller: f or i?
i
Let s(f) = f**3 - 6*f**2 - 18*f + 7. Let c be s(8). Let j(d) = -d - 1. Let z be j(11). Is z > c?
False
Suppose 7*u = 45 - 17. Suppose 2*f + 3*b - 4*b + 6 = 0, 4*b = -u*f + 12. Is -1/57 < f?
False
Let l(o) = -o**3 + 6*o**2 - 5*o + 3. Let w be l(4). Suppose 0 = -17*u + w*u + 148. Let z = -51 + u. Which is greater: 24 or z?
24
Suppose -3*i + 23 = 20*i. Is -15 at least as big as i?
False
Let v = -30 - 215. Does v = -249?
False
Let m(k) = 7*k - 71. Let u be m(10). Let x be 12/(-42) - 146/28. Let r = x - -23/6. Which is greater: u or r?
u
Let u = 2 - 1. Suppose 0 = -3*w - 4*o + 35, 4*w - o = 3*o. Let h be (-2)/w - ((-194)/(-90) - 3). Is u <= h?
False
Suppose -3*w - 3 = -m + 2, -2*m - 17 = 3*w. Let c(d) = d**3 + 3*d**2 + 2*d + 5. Let k be c(w). Is k > -1?
False
Let b = 0 - 0.3. Let k = -300 + 237.5. Let l = k + 63. Which is bigger: b or l?
l
Let g = 149 - 148. Which is greater: 1/66 or g?
g
Let v = 1307563/245 - 5337. Is 0 at least as big as v?
True
Let c be ((-2)/(-27))/(4/222) - 4. Is -26 less than c?
True
Let j = -44.39 + 44.19. Let z = -0.1 - -2.9. Which is smaller: j or z?
j
Suppose 0 = 2*d + 3 - 7. Suppose 3*g + d = 2*g. Let y = g - -2. Which is smaller: 0.1 or y?
y
Suppose -10 = 17*s + 7. Which is bigger: -2/389 or s?
-2/389
Let b be 1 - (1/(-1))/(-1). Let v = -275 - -255.7. Let t = -19 - v. Which is smaller: b or t?
b
Let n be 2/(4/(6 - 8)). Is 4/15 at least n?
True
Suppose -2*x = -3*x. Suppose 5*v - 7 - 3 = 0. Suppose 4 = i - m + v, -5*i + m - 2 = x. Which is bigger: i or 1/24?
1/24
Let a = 6 + -4. Let i be (-5)/a*8/310. Is i equal to -1?
False
Let q = -0.154 + 18.154. Which is smaller: -2/5 or q?
-2/5
Let m = -725.8 + 726. Which is smaller: -1/11 or m?
-1/11
Let q be ((-600)/(-63) + -7)*-1 + 1. Which is greater: q or -1?
-1
Let d(t) = t + 11. Let l be d(7). Let a be (-3)/2*6/l. Is a at least as big as -19?
True
Let x be ((-2)/6)/(5/(-615)). Let d = 38 - x. Is d equal to -3?
True
Let j be (-24)/(-15)*3/12. Let u = 0.05 + -0.45. Let o = u + 0.3. Is o less than or equal to j?
True
Suppose -57*k + 9 = -54*k. Let m(g) = g**2 + g. Let j be m(k). Is 12 greater than j?
False
Let v = -6.9489 - 0.0511. Is v at least 15?
False
Let n = -406 + 2838/7. Suppose -2*c - 2*j = -5*c - 9, -15 = -5*j. Which is smaller: n or c?
c
Let n = -139.1 - -139.2. Is 0.578 not equal to n?
True
Let t = -21.43 + -0.57. Let b = t + 22.3. Which is smaller: 2/27 or b?
2/27
Suppose 8*d + 83 - 339 = 0. Suppose d*q - 27*q = -5. Which is smaller: 0 or q?
q
Let k = 104 - 101. Are k and -19 non-equal?
True
Suppose -g + 18 + 29 = -5*s, 5*s = -2*g + 139. Suppose 0 = -17*i + 18*i + g. Is i >= -62?
True
Let l = 244 + -242. Let d(v) = v**3 - 4*v**2 - 5*v + 2. Let n be d(5). Suppose -l*h - 2*u + 4 = 0, -2*h = n*h - u + 2. Do h and 0 have different values?
False
Let b = 177 - 180. Let s = -85 + 333/4. Is s at most b?
False
Let c(z) be the second derivative of z**5/120 + 5*z**4/12 + 7*z**3/6 + 8*z. Let j(g) be the second derivative of c(g). Let h be j(-7). Which is smaller: 4 or h?
h
Let b = -331/20352 + -1/384. Let n(p) = -p**3 + 4*p**2 + p - 3. Let u be n(4). Which is smaller: b or u?
b
Let p be ((-4)/(-5))/(-2) - (-135)/25. Suppose p*y + z = -4, -4*y - 4*z = -3*z + 4. Is y at least -4/17?
True
Let k be -17 + (-988)/(-57) + 0 + -1. Let z(q) = -4*q**2 - q**2 - 2*q**3 + q**3. Let d be z(-5). Is k <= d?
True
Suppose -25 = 4*m + 5*d, 49*m - 13 = 50*m - d. Is -12 >= m?
False
Suppose 0 = -4*p + f + 368, 2*f - 184 = -2*p - 0*f. Which is smaller: 87 or p?
87
Suppose 1 = 8*m - 23. Let b be 14 - (-1*m - (-34)/17). Which is smaller: 10 or b?
10
Let t = -0.11 + 2.11. Let s = 205864899324/5447 + -37794180. Let u = 2/419 - s. Is t at most u?
False
Let v = 0.004 + 2.896. Let g = 1.5 - v. Let t = 2 + g. Are 1/3 and t equal?
False
Suppose 5*u + 4*u = -567. Let i = -251/4 - u. Is i smaller than 0.8?
True
Let v(q) = q + 1. Let c be v(4). Suppose c*t + 16 = 4*t. Which is greater: -17 or t?
t
Let w = -8 + 6. Let y(q) = -2*q + 9*q**2 - 2*q - 4 - 10*q**2 + 0*q. Let f be y(w). Which is greater: f or 2/3?
2/3
Let k = 6 + -3. Suppose -k*w - w = -12. Let x = 193/553 + -5/79. Are w and x unequal?
True
Let c = 7 + -7. Let n be c/(0 + -2 + 3). Does 1/28 = n?
False
Let o(k) = k**3 - 3*k**2 + 3*k - 9. Let i be o(3). Which is bigger: 9/28 or i?
9/28
Suppose -2*o + 18 = 4*a, -o + 6*o = -5*a + 20. Let c be (o + 3 - (9 + -7))*1. Is 11 at least as big as c?
True
Let l = 57.7 + -45.7. Are -1.8 and l equal?
False
Let j be ((-2)/(-4))/(15/30). Which is smaller: -3/119 or j?
-3/119
Suppose 1476 = -21*j - 20*j. Let c = 0.99 + 0.01. Which is greater: c or j?
c
Let t(z) = -2*z - 35. Let m be t(-13). Let i(y) = y - 5. Let q be i(7). Suppose -k - 30 = q*k. Are m and k unequal?
True
Let z(j) = j**3 - 11*j**2 + 18*j. Let q be z(9). Suppose -5*u - 9 + 9 = q. Are -12/13 and u equal?
False
Let z = -10/29 - -109/232. Which is smaller: z or -2/47?
-2/47
Let j = 3.69 - 3.8. Let o = 10.11 + j. Let w = o - 10.3