p = 8873396404 - 90934566418471/10248. Let u = p - -1/1464. Is -8 < u?
True
Suppose 4*p + p - 50 = -5*q, -2*p + 5 = -q. Suppose 11 = -4*h - 5*r, -4*h + 12 = -q*r - 7. Let u be (69/(-66) + 1)*2. Which is greater: u or h?
h
Let q(u) = -2*u**3 + 27*u**2 - 14*u + 29. Let d be q(13). Let t be ((-5)/2)/(1/(-6)). Is d bigger than t?
True
Let n = 37 - 20. Suppose n*t - 20*t = -60. Are t and 20 equal?
True
Let n = 1037 + -1036. Do -4/21 and n have different values?
True
Let f(v) = 2*v**3 + 8*v**2 + 20*v + 22. Let t(u) = -u**3 - 4*u**2 - 10*u - 11. Let j(w) = 2*f(w) + 5*t(w). Let c be j(-2). Are c and 1 equal?
True
Let p = 2092 + -1751. Is p at most as big as 338?
False
Let n = -5790/7 - -827. Which is greater: n or 0.1?
0.1
Let b be ((-3)/(-12))/((-43)/(-860)). Suppose 0 = -p + 5*p - 48. Suppose 0*w + 4*w - p = 0. Is b > w?
True
Let x be (-15)/9 - 14/6. Let l be (2/x)/(15/30). Is -2/3 less than or equal to l?
False
Let j = -38 - -39. Let z be ((-15)/(-10))/(9/(-60)) + j. Which is greater: z or -0.1?
-0.1
Let y be -14 + 15 + 88/6. Do y and 16 have different values?
True
Let h = 6 + -4. Suppose -96 = -5*c + 4*l, -16 = -c - h*l + 6*l. Is c at most as big as 20?
True
Suppose -3 = -x - 2. Let g be 6 - 590/55 - -6. Are g and x unequal?
True
Let a(g) = -g**2 + 11*g - 7. Let q be a(9). Let u(w) = 11*w + 4*w - 2 - 8*w. Let l be u(2). Is q at least as big as l?
False
Let t = -166 - 106. Is t less than -272?
False
Let c = 249 + -370. Let y = 84 + c. Which is smaller: -38 or y?
-38
Let l(i) = i**2 - 2*i + 1. Let c be l(1). Suppose 3*a - p - 6 = 0, -4*a + c*p = 2*p - 8. Suppose 3*x = x + 2*v, 0 = -2*v + a. Is 2/5 at least x?
False
Let d be (20746/2585 + -8)*4/(-6). Is 1 at least d?
True
Suppose 2*u + 39 = 7. Let p be (-2*(-6)/u)/(-3). Suppose -3 = -5*r - 8. Which is smaller: r or p?
r
Let i = -152 + 153. Let a be 2/(-6)*-3 + 1. Is i not equal to a?
True
Let b = -1979 - -77185/39. Let d = b - 56/39. Does -2 = d?
False
Let l be ((-1)/2)/((-2)/(-48)). Let r = l + 12. Let x = 7 - r. Is x greater than or equal to 2?
True
Suppose 0 = z + 4*g - 2 - 6, 3*g + 1 = z. Let p be (9/(162/z))/(-1). Let k be 4/(-6) + (-2)/6. Is k > p?
False
Let o(u) = -2*u - 10. Let f(k) be the first derivative of 3*k**2/2 + 20*k - 5. Let q(b) = -3*f(b) - 5*o(b). Let t be q(5). Which is smaller: -3 or t?
t
Suppose -2*g - 136 = 4*n - 6*g, 5*g = -5*n - 140. Let s = -63 + 32. Is s > n?
False
Let u(h) = 2*h - 11. Let m be u(5). Which is bigger: -5/33 or m?
-5/33
Let l = 4870 + -82640/17. Is 8 smaller than l?
True
Let d = -1085/2 + 13001/24. Let v = d - -343/312. Is 0 at least as big as v?
False
Suppose 1 = 2*s - 2*m + 3, -9 = -3*s - 3*m. Suppose 2*k + s - 8 = -3*x, 0 = -x + 3*k - 16. Is x smaller than -3/11?
True
Let z = -150/17 + 2358/221. Let i(c) = c**3 + 7*c**2 + 11*c + 4. Let g be i(-2). Is g greater than or equal to z?
True
Let y be ((-4)/(56/(-63)) + -4)*236. Which is smaller: 119 or y?
y
Let p(s) = 2*s**3 - s**2 + s - 1. Let a be p(1). Suppose 2*j + 6 = -0*f - f, j - 4 = 3*f. Let q be (-105)/28*f*(-2)/(-20). Which is greater: q or a?
a
Let x be ((-60)/(-8))/(84/(-16)). Suppose 7 = -3*g - s, -4*s - 5 - 10 = -g. Is g smaller than x?
False
Let j = -0.6 - -0.3. Let z = j + 1.3. Let k = 1773.4 + -1772.4. Is k smaller than z?
False
Let u be (-128)/(-20) + -6 + 4/(-10). Which is smaller: -1 or u?
-1
Let q = -217 + 210.05. Let c = -0.05 + q. Let a = 6 + c. Are -0.3 and a non-equal?
True
Suppose -11*h + 15*h - 148 = -3*s, 2*h = -3*s + 152. Which is greater: 53 or s?
53
Let g be 32120/(-1540) + 2/(-14). Let t be (-4)/6 - 16/(-60). Which is bigger: g or t?
t
Let h = -504702603214/139531 - -3617136. Let p = -1039645423/4046399 - h. Let v = p + 257. Is 1 at most v?
False
Let g(b) = -b**2 + 3*b - 1. Let u be g(3). Do u and -1/185 have the same value?
False
Let b be (-1 + 24/25)/((-16)/80). Let h be (-1)/86*24/18. Which is bigger: b or h?
b
Let r = 38 + -11. Let t = -30 + r. Are -3 and t non-equal?
False
Let p = -411 - -172. Let r = p - -22229/93. Which is bigger: 0 or r?
r
Let f = 63 - 107. Let x = f - -42. Which is greater: -18 or x?
x
Let c be (8/(-14))/(2/(-7)) + 50. Are 53 and c nonequal?
True
Let z = -0.2228 - 9.7772. Which is smaller: 2/11 or z?
z
Let l(r) = r**2 + 16*r + 13. Let c be l(-15). Let d(y) = -6*y**2 - 4*y + 4. Let u be d(c). Which is smaller: -13 or u?
-13
Suppose -3*g + 18 = 3*k, -22 = 3*g - 2*k - 3*k. Let w be (6/(-45) + 0)/(6/(-20)). Which is smaller: g or w?
w
Suppose -h = -5*z - 106, -z = -3*h - 2*h + 26. Let m be 18/z*1*-2. Which is smaller: m or 1?
1
Suppose 17 - 5 = 2*n. Suppose -3*p - 15 = 3*f, -n - 14 = -3*f + 4*p. Suppose 2*r = -a - 2, -3*a - 2*r = -f*a + 6. Is a bigger than -2?
False
Suppose 114*s = 115*s - 4*w + 2, -4*w = -4. Let k(p) = -2*p**2 + 3*p. Let r = 1 - -1. Let h be k(r). Is h greater than s?
False
Let o = -4.24 - -0.24. Do 0.048 and o have the same value?
False
Let i = 0.067 + -8.667. Let b = -10.6 - i. Is 0.03 less than b?
False
Let r be (-1)/(-5) + (-16967)/1235. Is r at least -15?
True
Suppose 3*z + 103 = 24*j - 23*j, j = 2*z + 67. Is z greater than or equal to -38?
True
Let o = 111 - 110. Let d be (492/(-165) - -3)/(-1). Is d at least as big as o?
False
Let x be 1 - (1 - 2)*-1. Suppose 0 = -2*t + 509 + 167. Let v be -1 - -2 - t/351. Is v less than x?
False
Let i = 52.9 - 53. Which is greater: i or 1/142?
1/142
Let y = -17 - -16.83. Let a = -0.63 + y. Let p = -0.3 + 0.2. Which is greater: p or a?
p
Let n be 143/(-9 + -2) + 13. Let u = 4428/138775 - -2/2275. Does u = n?
False
Let o = 35 - 31. Let n be (o + -8 + 4)/(-1). Which is greater: 0.11 or n?
0.11
Suppose -3*t - 38 = -2*l, 3*t - l + 43 = -0*t. Let x be 14/(-20) + t/(-40). Let h(q) = q - 3. Let w be h(3). Which is greater: w or x?
w
Let f be (-5)/(150/(-117)) + -10 + 5. Which is greater: -1/3 or f?
-1/3
Suppose 0 = f + y - 1, -2*f + 3*f = 4*y + 6. Let r be (-4)/18 + (-2)/(-9). Suppose r = g + 3*h + 7, 9 - 30 = -3*g + 5*h. Is g not equal to f?
False
Suppose 0 = -3*k + y - 154, 4*k + 4*y + 63 = -121. Let r be (12/k)/((-6)/4). Let f = r - 62/75. Is f equal to -2?
False
Let o = 681.9 + -682. Is o at most as big as -183?
False
Let b be 16*(0 + (-207)/(-66)). Let l be (-4)/20 + (-249)/5. Let a = b + l. Is 1 less than or equal to a?
False
Let g be (8 - 2) + -1*3. Let r(p) = -p**3 + 2*p**2 + 4*p + 1. Let j be r(g). Suppose -4*w - 5 = -j*y + 11, -4*w - y = -4. Which is greater: 2 or w?
2
Let r(m) = -m**2 + 7*m + 2. Let k be r(6). Let q = 4 - 3. Let f be 8/((1 + 0)*q). Is f greater than k?
False
Let v = 90 + -48. Let a = v + -127/3. Let m be 24/(-135) - (20/25)/(-2). Which is bigger: m or a?
m
Let s = -81.84 + 82. Let o = s + -2.16. Which is smaller: 37 or o?
o
Suppose -v - 4 = -1. Let l = -7420/9 - -822. Which is greater: l or v?
l
Let w be 56/10 + (40/25)/4. Suppose w*b - 20 = -14. Is b less than or equal to 16/9?
True
Let w = 8 + -4. Suppose -v + b = 1, -4*v - w*b + 6 = 2. Suppose 0 = -5*i + 8 + 17. Is v bigger than i?
False
Suppose 3*g + 65 = 2*y, -5*g - 4*y = -2*y + 103. Suppose 2*p - 6*p = 4*u + 112, -135 = 5*u + 4*p. Do g and u have the same value?
False
Let c = 10.7 + -20.1. Let u = c - -9.5. Is u > 16?
False
Suppose 0 = h + f - 36, -4*h + f + 92 = -67. Let s = 37 - h. Suppose -9 = 4*a - 1. Are s and a non-equal?
False
Let l be ((-3)/9)/(1/3). Let r be (-3 - (-181)/13) + 0. Let i = -11 + r. Is i greater than l?
True
Let n(v) = v**2 + 5*v - 4. Let c be n(-5). Let k = 34 + -38. Let g be (32/12 + k)*(2 + 1). Is g greater than c?
False
Let t = 599 + -590. Which is greater: 32 or t?
32
Let d be (6/(-4))/((-2)/(-20)). Suppose 1344 = -27*z + 20*z. Let g be z/(-430) + 6/d. Is -1 < g?
True
Let u(h) = -9*h - 36. Let l be u(-4). Is 48 bigger than l?
True
Let l be 4/(-8) + (17420/(-8))/5. Let d = 10022/23 + l. Is d < 1?
True
Let k = 137 + -122. Is k greater than 16?
False
Let i = 2/201 + -475/603. Is i at least as big as 1/4?
False
Let i = 701 - 660. Which is bigger: -6 or i?
i
Suppose -171*y + 5*h + 4475 = -176*y, 0 = 5*y - 3*h + 4499. Which is smaller: y or -0.1?
y
Let n = 23.77 + -24. Let a = 5.66 + -4.33. Let g = n + a. Which is smaller: -1 or g?
-1
Let b = -19 + 24. Suppose 0 = -2*c + b - 3. Which is smaller: 1/140 or c?
1/140
Let a(z) = -z. Let d be a(1). Let u(f) = -13*f**2. Let s be u(d). Let n(b) = -b**2 - 12