 most as big as r?
True
Suppose 2*c + l = -c - 140, 0 = 3*c + 2*l + 142. Let i be ((-32)/(-10) + -4)/(c/5). Is i equal to -1?
False
Suppose 22 = -3*q - 11. Let n be -3*(60/9)/2. Let d = n - q. Which is bigger: d or -1/8?
d
Let z(p) be the third derivative of -p**4/8 + 2*p**3 - 5*p**2. Let s(v) = -7*v + 24. Let d(t) = 2*s(t) - 5*z(t). Let m be d(11). Which is bigger: 1 or m?
1
Suppose 0 = 5*v + 3*s, -4*v - 3*s + 6*s = 0. Let j = -5 - -9. Let z be 42/96 - 1/j. Which is bigger: v or z?
z
Let y be (-693)/(-12) + ((-27)/(-12) - 2). Do 59 and y have different values?
True
Let p(g) = 2*g**2 - 5*g - 14. Suppose -84 = 10*k - 24*k. Let z be p(k). Which is greater: z or 29?
29
Suppose -5*f = -3*p + 28, -3*f - 10 = -5*p + 10. Suppose -6*w + 32 = -2*w. Suppose -j + 10 = -5*a + 4*j, w = 4*a + 4*j. Is a greater than p?
False
Suppose -4*d = -13*d - 837. Let a be d/124 + 5/(-4) + 1. Which is bigger: -4/7 or a?
-4/7
Let o(b) = 22*b**2 - 3*b - 4. Let s be o(-1). Let u(h) = h**3 + 18*h**2 - h + 3. Let i be u(-18). Is s at least as big as i?
True
Let v = 13 + -15. Let j be 9 + v + -1 + 3. Let r(f) = f - 1. Let t be r(j). Is t greater than or equal to 8?
True
Let f be (-686)/(-690) - (39 - 38). Is 0.1 at least as big as f?
True
Let f = -77 + -71. Which is smaller: f or 2/5?
f
Let x be (-37*(-1)/(-2))/(2/(-4)). Which is smaller: x or 39?
x
Let p = -994 - -1028. Which is bigger: 37 or p?
37
Let w be (-60)/7 - (-52 - -43). Is -14/3 equal to w?
False
Let p = -1567 - -1356. Is p < -213?
False
Let j be (-8)/12 + 204/9. Let l = -34 + j. Do -14 and l have different values?
True
Let o = 16.2 + -14.69. Let j = o - 0.51. Let s = 0.4 + 1. Which is greater: j or s?
s
Let v = -475703/890 - -1069/2. Does 0 = v?
False
Let q be (-1 - 0)/((-21)/(-81)). Let v(j) = 7*j + 73. Let a be v(-11). Is q greater than a?
True
Let q = -17 + 17.057. Let c = -0.157 + q. Which is smaller: c or -5?
-5
Suppose -5*n + 3*n = -8. Let r be (n/(-21))/((-324)/42). Which is bigger: r or 1?
1
Let o = -2126 + 2127. Let f = -215825/79 + 2732. Is f at least as big as o?
False
Let s(w) = 74*w - 11. Let u be s(1). Which is smaller: u or 64?
u
Let g = 3.039 - 0.039. Let y = 12 + g. Is 2/9 < y?
True
Let c = -0.47 - 1.53. Do 0.005 and c have different values?
True
Let k = -2.8 - -13.8. Let w = k + -11. Which is bigger: w or 13?
13
Let r = -0.905 + -9.095. Are r and -0.9 nonequal?
True
Suppose 3*y = -q + 1, -2*q + 5 = 4*y + 3. Suppose y*i + 2*i - 8 = 0. Suppose 0*m + 5*m = 15. Which is smaller: m or i?
m
Suppose -9*v - 343 = 4*l - 4*v, -5*l - 395 = -5*v. Which is bigger: -81 or l?
-81
Suppose -5*x - 500 = -q + 574, -6*x = 4*q + 1294. Which is smaller: -2 or x?
x
Suppose -n = 3*g - 7, g - 7 = -0*g - 5*n. Do g and 76 have different values?
True
Let d(o) = 23*o + 114. Let w be d(-5). Which is greater: w or -20/51?
-20/51
Suppose -4*g = -4*q + 60, 9 = -g + 5*q - 2*q. Let d = 16 + g. Which is greater: -7 or d?
d
Let j(h) = 4*h**3 + 2*h - 3. Let n be j(1). Suppose 2*v - 4*g + 8 = 0, 5*v - g + 2 = 3*g. Suppose 0 = 4*b + v*r - 40, -4*b + 4*r = n*r - 28. Does b = 9?
False
Let i be 16/4 - (-17 - -15). Let q be 134/24 - (-2)/(-8). Is i equal to q?
False
Let p be (-4)/(-2) + (-1 - 1). Let m = -30 + 32. Suppose m*k + 0 = -2. Which is smaller: k or p?
k
Let l = 0.2 + -0.3. Let b = -23 - -58. Let i be (2/24)/(2 + b/(-21)). Which is greater: i or l?
i
Let d = 1783/3 + -595. Let h be 0 - (-2 + 0 + -11). Suppose -35 = -2*w - w + t, -t = w - h. Is w greater than or equal to d?
True
Suppose -3 = -4*g + 1. Let u be (g/(-3))/(8/(-12)). Let i = -6 + 5.8. Is u bigger than i?
True
Suppose -j - 360 = r + 469, 2483 = -3*j - r. Let t = j - -19024/23. Is 1 at least t?
True
Let r(o) = o**3 - 4*o**2 - 3*o + 10. Let n be r(4). Let v be (4/56)/((-2)/36). Are n and v equal?
False
Let r = 8 - 16. Let c be r*3/(-9)*3. Which is greater: c or 20/3?
c
Let w be 1/1 + (-180)/50. Which is bigger: -4 or w?
w
Let j be (1/(-2))/((-34)/68). Which is greater: -1/488 or j?
j
Let j(x) = -x**2 + 4*x + 3. Let f be j(5). Let c = -41 - -40.67. Let u = 0.13 + c. Is u > f?
True
Let g = -48 - -57. Let q be 0 + 3/(g/6). Which is smaller: 0 or q?
0
Suppose -116 = 4*b - 2*h, -16 = -h + 5*h. Let c = -19 + b. Let r be c/(-30)*4/(-10). Is r bigger than -6?
True
Let z = 4.2 - 28.2. Let b = -0.037 - 23.963. Let j = b - z. Is 0 at most as big as j?
True
Let o be 2/(-19) + (-325)/(-741). Let y(i) = -i + 8. Let a be (-62)/(-10) - (-1)/(-5). Let u be y(a). Is o at most u?
True
Let i = -4 + -3. Let a = -144921 - -60431924/417. Let l = 2/139 - a. Is i >= l?
False
Let o = 65 - 124. Let g = -215 + 157. Is o equal to g?
False
Suppose -10*x + 5*x + 840 = 0. Suppose -3*m - x = -m - 2*s, -3*s = 5*m + 420. Do -84 and m have the same value?
True
Let x = 35 + -552. Let i = -17063/33 - x. Let w = 15 + -15. Is w equal to i?
False
Suppose 4*v + 19 = -w, -3*w - 8*v + 11*v = -18. Which is smaller: w or 15/13?
w
Let a be 18/(-40)*2610/4. Let z = -484 + 190. Let y = a - z. Which is bigger: y or -1?
y
Let a(u) = 2*u**2 - 36*u + 130. Let n be a(12). Which is smaller: n or -22?
-22
Suppose 10 = -4*r - y + 38, -24 = -2*r + 2*y. Suppose -5*h = -24 - 16. Let l be h/16*r/10. Which is bigger: 0 or l?
l
Let b(c) = c**3 + 12*c**2 + 33*c - 8. Let o be b(-4). Let k = -19 + 11. Which is smaller: o or k?
o
Let x be (-2)/(-2) - 1/4. Let k(n) be the first derivative of n**2/2 + 6*n + 4. Let c be k(-6). Is c at least x?
False
Let p = -22.985 + 23. Let f = p - -2.985. Let h = -18 + 16. Which is smaller: f or h?
h
Let d = -13 + 33. Suppose 2*j - d = -0. Do 9 and j have the same value?
False
Let y = 2683 + -6251389/2330. Is y not equal to 1?
True
Suppose -4*p = -86 + 18. Let f = p - 21. Which is bigger: f or -1?
-1
Suppose 2*d = -y + 16, 0 = -3*y - y - 5*d + 61. Let w = -0.173 + 0.273. Is w at most y?
True
Let l be 1160/36 + -7 - (-2)/(-9). Let d be l/19 + (15 + -8 - 8). Is d equal to -1?
False
Let v = -0.4 + 0.3. Let z = 83/33 + -56/33. Is v smaller than z?
True
Let c be 1*(4 - 2 - (-9)/3). Suppose c*r = 2*r. Which is greater: -2/71 or r?
r
Let s = 1161 - 1413. Is 0.1 greater than or equal to s?
True
Let j = 2786/3 + -928. Is j at most -191?
False
Let g = -381/329 - -254839/329. Let w = -771 + g. Is 3 at most w?
False
Suppose k + 2 = 6. Let y be (10/(-180))/((-1)/k). Let s = -6 - -4. Does s = y?
False
Let l = 2.591 - 2.61. Is 1 at most l?
False
Let b = -5 + 3. Let z = -281 + 283. Let d = b + z. Which is smaller: d or -6/7?
-6/7
Suppose 81 = -2*u + 7*u - 4*f, u + 5*f = -7. Let q = 35 - u. Which is greater: 1/3 or q?
q
Suppose 21*k - 722 = -17*k. Is 21 <= k?
False
Let k = 253 + -253.2. Which is smaller: 16 or k?
k
Let d = 745/13 + -202/65. Is 54 less than d?
True
Let y be 4 + 8/(1 + 3). Let q = y - 4. Let v be 0/3*q/(-4). Do -1/32 and v have different values?
True
Suppose 5*t - 21 + 1 = 0. Let i be (-9)/(-2) + -5 + 6/t. Is -2/245 < i?
True
Let u = 19 + 1. Let n = u + -20.09. Let c = -0.11 - n. Is c <= 0?
True
Let k(j) be the third derivative of -j**4/24 - 7*j**3/6 + 10*j**2. Let n be k(-5). Which is greater: 2 or n?
2
Let z = 12 + -10. Suppose 4*b = -z*n + 122, 0*b - 151 = -5*b - 2*n. Suppose 0 = -2*a - 4*v + 3*v - 17, 4*a + b = 3*v. Which is smaller: -5 or a?
a
Let p = -20 - -12. Let z = p - -4. Let t = 1 + z. Is -2/3 equal to t?
False
Let w = 51 - 52. Let p(z) = z**3 + z + 2. Let u be p(w). Which is bigger: -1 or u?
u
Let v be (-26)/(-3) + 10/(-15). Suppose -4 = 4*o - v*o. Let b be o/(-2) - (-25)/130. Which is bigger: b or 1?
1
Suppose -3*h - 2*b - 63 = -5*b, 4*b + 91 = -3*h. Let m = 1147 - 1172. Do h and m have the same value?
True
Let u = 2.43 + 0.17. Let s = 4 - u. Which is bigger: 0 or s?
s
Let a be 6/45 + -37*172/30. Which is bigger: -1/2 or a?
-1/2
Let p(y) = -109*y - 1. Let r be p(-5). Let d be ((-31)/(-5))/(r/24). Let a = 2/85 - d. Which is smaller: -7 or a?
-7
Let g be (-3 - -1) + -40*25/(-10). Is 98 at most g?
True
Let v be (-2010)/4 - (-6)/(-4). Let r = -1532/3 - v. Let i = 21 + -29. Which is smaller: i or r?
i
Let w = 9 + -3. Let b be ((-2)/51)/(2/w). Let g(r) = r**2. Let s be g(0). Which is greater: s or b?
s
Let j be (66 - 1)/((-3)/(-6) - 1). Let w = -1291/10 - j. Is w <= 2?
True
Let t = 7/157 + -813/25277. Which is bigger: t or 1?
1
Let w = -1.1 - -1.1. Let j = -10 + 14. Let f = -3.7 + j. Is w equal