eater: p or 130?
130
Let x = 15557/18 + -864. Let z be -1 + -1 + (0 - -1). Is z < x?
True
Let y = -18 + 23. Let d(n) = n - 2. Let s be d(5). Let b = s - y. Which is greater: b or -1?
-1
Suppose 5*s + m - 146 = -0*m, 5*s - 142 = -2*m. Suppose -10*o + 10 = -5*o, -2*v - 5*o - 320 = 0. Let u be (-8)/s + 22/v. Is -2 <= u?
True
Suppose 4*q + 22 = -3*x - 30, -10 = -2*q. Let i be (6/8)/(3/x). Are -6 and i equal?
True
Let q = -14 - -21. Let a = 5.4 - -3.6. Let m = q - a. Which is smaller: 4 or m?
m
Let o(h) = h**3 + 5*h**2 - 8*h + 3. Let q be o(-6). Suppose -25 = -2*x + q. Let f = 550 + -529. Which is smaller: x or f?
x
Let q = 2.129 + -0.329. Suppose -4*l = 3*j + 16, 10 = 2*l - 2*j - j. Is l less than q?
True
Let y = 45 + -45.21. Let z = y - -4.11. Is -1/3 < z?
True
Suppose 4*p - 4 = k, 0 = -5*p - 5*k - 8 - 12. Which is bigger: p or 10/43?
10/43
Let x = -0.01 - 16.99. Let z = -400 - -400. Do z and x have the same value?
False
Let r(z) = z**2 - z + 10. Let y be r(7). Let t be 1 - ((-1162)/y - -2). Let d = t - 43/2. Is d greater than -1?
True
Let y = 121 + -119. Suppose 0 = -o - 4*o - j + 5, -y*o = -j - 2. Is o at least -3/56?
True
Let f(q) = -21*q - 3. Let v be f(2). Let w be (-81)/v - (2/(-10))/1. Let i = -3/43 + 144/215. Which is bigger: i or w?
w
Let h be -27 + (3 - (1 - -3)). Let l be h/72*-2 - 1. Which is greater: 1/2 or l?
1/2
Let g be (6 + 1770/(-294))/(-1). Is g less than -1?
False
Let y = -13 - -17. Suppose -2*d + y*u - 10 = 0, 14 = 3*d + 5*u - 26. Let t be d/(-1)*84/35. Is -11 < t?
False
Suppose -238*g = -247*g - 288. Which is bigger: 1 or g?
1
Suppose -133 + 427 = 3*w - 2*f, 2*w + 4*f = 180. Which is bigger: 193/2 or w?
193/2
Let j = -167945736/451 + 372385. Let o = j - 2/41. Which is smaller: o or 0?
o
Let h(v) = v**3 + 28*v**2 + 2*v + 56. Let y be h(-28). Let g(s) = s - 15. Let o be g(0). Do y and o have the same value?
False
Let b(u) be the third derivative of u**6/120 - 3*u**5/20 + 5*u**4/12 + 4*u**3 - 8*u**2. Let v be b(7). Let p = 11 - 16. Which is bigger: p or v?
v
Let h = 4 - 10/3. Suppose 2*c - 2 - 10 = 0. Suppose 3*r + 2 = -2*p + 8, 2*p = c. Is h equal to r?
False
Let p(d) = d**3 - 9*d**2 + 8*d - 12. Let w be p(14). Let x be (-4)/(-34) + w/(-7446). Is -1 equal to x?
False
Suppose 42 = 4*i + 3*n - 12, -4*i + 5*n + 70 = 0. Is i >= 7?
True
Let v(g) = -3*g**2 - g - 2. Let l be v(0). Let q = -0.02 + -0.02. Let m = 0.13 + q. Which is smaller: l or m?
l
Let z(l) = l**3 - 2*l**2 + 15. Let p be z(0). Let w be (-2)/p - (-68)/60. Which is smaller: w or -3/10?
-3/10
Suppose 47 = 4*w - 3*q, -6*w = -w + 3*q - 52. Which is bigger: 13 or w?
13
Let q(g) = 17*g**2 + 18*g - 36. Let i(j) = 6*j**2 + 6*j - 12. Let v(r) = 8*i(r) - 3*q(r). Let b be v(-6). Is -61 greater than or equal to b?
False
Let x = -0.0482 - -0.1482. Is x less than 0.061?
False
Let i(f) = f**2 + 11*f - 3. Let h be i(-11). Let s be h + 88/12*3. Suppose -5*k = 14 - s. Is k <= 2/9?
False
Let h be (-1 + (-15)/(-18))*(-3)/(-1). Which is bigger: h or 5?
5
Suppose -2*x + 5 = -1. Suppose 10 + 11 = x*w. Suppose 1 = -y - 2*r - 3, -5*y + 50 = -4*r. Which is greater: w or y?
w
Let b(t) = -25*t**2 + 4*t - 2. Let a(h) = 12*h**2 - 2*h + 1. Let q(r) = -5*a(r) - 2*b(r). Let u be q(-1). Which is greater: u or -0.1?
-0.1
Let m = 498561575/429002 - -5/61286. Let i = m - 1169. Do -6 and i have the same value?
False
Let x = -870 - -869. Is -0.21 not equal to x?
True
Suppose -6*l = -9*l + 18. Suppose 6*p = 3*p + l. Which is greater: -1/2 or p?
p
Let r = -0.077 - 40.923. Let a = r - -57. Which is bigger: a or -1/3?
a
Let v be (-1 + -13)*(-14 + 13). Let u(z) = -z**3 + 13*z**2 + 14*z + 9. Let j be u(v). Which is bigger: j or 7?
j
Let t = 1.2 + 1.8. Does t = 0.1?
False
Let y = 11 + -10. Suppose 0 = -0*x + x. Let q be (-2)/16*(3 + x). Which is bigger: y or q?
y
Let a be (-1)/(34/32 + -1). Suppose 0 = -0*j + 3*j - 36. Let z = a + j. Is z at least as big as -4?
True
Suppose 2*y = 5*y + 150. Let s be (-2)/8 - y/8. Suppose s*m - 7 = 4*n + m, 2*n - m = 1. Are 2 and n equal?
True
Let k(t) = 14*t - 24. Let u be k(5). Is u smaller than 140/3?
True
Let m be 9/(-6) - (-354)/204. Does 2/7 = m?
False
Let z be ((-96)/2)/(75/(-20)). Let y be (84/(-60))/(1/(-10)). Which is greater: y or z?
y
Let x be ((-138)/4)/(12/(-16)). Let p(w) = -w**3 - 11*w**2 + 26*w + 2. Let f be p(-13). Let z be ((-4)/x - 2) + f. Do -1 and z have the same value?
False
Let a = 0.06 + 0.54. Let l = 1.6 - 2. Let g = a - l. Which is bigger: -9 or g?
g
Let l = -62 + 65. Suppose 6 = 3*c - l*o, -c - o = -0*c + 4. Is -5/13 at least c?
True
Let h be (4 + -8 + 4)/(-1). Suppose -7*i + 2*i = -15. Let s be 2/(-9) + 1/i. Which is bigger: h or s?
s
Let o = 1023 + -1151. Is 0.5 > o?
True
Let o = 11 + -9. Suppose -3*r + o = -4. Suppose v = 4*f - 19, v - 11 = -0*v - r*f. Are v and 1.1 unequal?
True
Let p(s) = 6*s - 12. Let v = -33 - -35. Let c be p(v). Which is smaller: -5/8 or c?
-5/8
Let v = 68316 - 616486/9. Let t = v + 182. Is 0 less than or equal to t?
False
Let x = 93 + -138. Let r = -45.1 - x. Is r >= -5/13?
True
Suppose 2*y - 2*n - 54 = 0, -3*y = -4*y + 4*n + 15. Let r = 30 - y. Let c = r - 4. Is c <= -11/3?
True
Let t = 640 + -607. Which is smaller: 23 or t?
23
Let s(i) be the second derivative of i**3/3 - 3*i**2/2 + 8*i. Let c be s(2). Let f = 2/119 + -131/714. Is c <= f?
False
Let m be 2/9 + 68/18. Suppose m*k - 16 = 2*k. Let z be 14/k + 8/(-32). Which is bigger: 0 or z?
z
Suppose -5*k - 55 = -0*k + 5*c, 0 = k - 2*c - 4. Suppose -4 = 5*d + 1. Let i = d + -5. Are i and k unequal?
False
Let v(h) = 15*h - 88. Let k be v(6). Suppose 0 = 4*t - k*w + 8, 2*w + 0 = -3*t + 8. Which is greater: -3/4 or t?
t
Let m = -1127 + 4565/4. Is m smaller than 15?
True
Let j be 1/(254/(-328) - 6/(-8)). Which is smaller: j or -42?
-42
Suppose 0 = -2*a + 4*a + 2. Suppose -31 = 3*d + 4*w, -4*w = -7*d + 3*d - 4. Let h be 2/d - (-238)/70. Is a greater than h?
False
Suppose 4*h + 3*c + 978 = 0, h + 0*h + 237 = 3*c. Which is bigger: h or -244?
h
Let i(h) = -4*h**2 - 122*h + 10. Let s be i(-28). Is s at least 290?
True
Let g = 14 + -8. Let x be 32/6 - 2/g. Let p be (-1)/(-5 - -4) + -5 - -9. Is p at least as big as x?
True
Suppose 5*g + 2017 = 477. Let d be (10/(-2))/(g/112). Is 3 less than or equal to d?
False
Let w(f) = f**2 - 8*f + 6. Suppose p = v - 1, v + 6 = 5*p - 1. Suppose 20 = 4*y + p*h, 2*y - 4*y - 2*h = -10. Let d be w(y). Which is smaller: d or 1?
d
Let m(v) = v**3 - v**2 - 2*v + 1. Let w be m(2). Let h = 67 + -68. Let c = 1 + h. Is c at least as big as w?
False
Let y = 708 + -41774/59. Suppose -3*t = 5 - 11. Let c be 3 + -1 - (t + 0). Which is greater: y or c?
c
Suppose 2*l - 28 = -2*l. Let j be 0 + l/(7/3). Let w be j - 9/((-18)/(-40)). Which is bigger: w or 0?
0
Suppose -2 = -a - 4, -5*a - 42 = -4*d. Let i = d + -6. Let w = -901/2 - -2257/5. Which is bigger: w or i?
i
Let q(a) = -2*a**3 + 19*a**2 - 28*a + 11. Let l be q(8). Are l and -17 unequal?
True
Let k(w) = -w**2 - 3*w + 1. Let h = 20 - 8. Suppose h = g - 5*g. Let s be k(g). Which is smaller: -2/13 or s?
-2/13
Let w = 496 - 507. Which is bigger: -26 or w?
w
Let i = -1047.2 - -1047. Which is smaller: 58 or i?
i
Let n(m) = -m**3 - 12*m**2 - 16*m - 56. Let v be n(-11). Is v at most -1/36?
True
Let m be 3/(-8)*(-1216)/(-1064). Let g(y) = -y**3 + 6*y**2 - 6*y + 4. Let d be g(5). Is d not equal to m?
True
Let t(o) = -6*o**3 - o**2 - o - 1. Let x be t(-1). Suppose 3*j + 11 = -n, 2*n + 2*n = -x*j - 16. Which is bigger: 1/3 or n?
n
Let w(u) = 3*u + 124. Let b be w(-41). Which is smaller: -1/74 or b?
-1/74
Let c be ((-7)/((-28)/(-440)))/(-2). Suppose -2*f - 2*f = 4*b - 228, b + c = f. Suppose -f + 8 = 3*d + 2*y, -3*d - 66 = -4*y. Which is bigger: d or -17?
-17
Suppose l - 225 = 6*l. Let j = -1/88 + 4115/88. Let i = j + l. Which is bigger: i or 3?
3
Let m = 36.9151 + 0.0849. Is m >= 1?
True
Let x = -0.107 + 0.107. Let w be ((-93)/15 + 5)/(3/2). Is w != x?
True
Let u be (1/(-3))/(30/9). Suppose 3*f - 2*f + 4*g = 7, f + 5*g - 8 = 0. Suppose 5*m = z - 18 + 3, 3*z + f*m + 9 = 0. Is u at least as big as z?
False
Let f = -2/19 - -33/133. Let j = 17 - 9. Let c = 8 - j. Is f at least as big as c?
True
Let v(m) = -m - 2. Let k(f) = f + 1. Let g(h) = 3*k(h) + v(h). Let y be g(-6). Suppose 4*x + 4*o - 7*o = -28, -o = -4*x - 36. Which i