
Let y(b) = -3*b**2 + 3*b - 4. Let j be y(-3). Let i = 25 + j. Let t = i + 16. Which is bigger: t or 2/25?
t
Suppose -9 + 279 = -5*i. Which is bigger: -52 or i?
-52
Let b = 231 - 227. Let o(t) = -t**2 - 5*t - 4. Let a be o(-3). Let q(w) = w + 1. Let j be q(a). Is b less than or equal to j?
False
Let f = -190 - -176. Let q = -6 - 8. Let h = f - q. Which is smaller: h or -0.2?
-0.2
Let s be (-813)/(-30) + -3*8/240. Let m(o) = 6*o + 4. Let q be m(4). Is q not equal to s?
True
Let a = -92312/85 + 1086. Suppose -20 = 4*s - 4*h, -2*h + 3 = -5. Is s greater than a?
False
Suppose -6*v - 45 = -v. Let m be -1*2/2 + -8. Let a = m - v. Is 1/3 bigger than a?
True
Suppose 3*m - 12 = -0*m. Suppose a + 12 = m*a. Which is smaller: a or 11/4?
11/4
Let p be (-43537)/26061 - (-20)/12. Is p at least as big as -1?
True
Suppose 0 = -682*x + 677*x + 175. Is x >= 37?
False
Let m(p) = -p**2 + 7*p + 10. Let d be m(7). Let t = d - 8. Let w be (-9)/9 - 2/t. Is w >= -13?
True
Let x = 0.749 + -1.149. Is x greater than -21?
True
Let j be 0/(2*1/(-1)). Let u be (4 - 6)*(6/(-4) - -1). Suppose j = -3*t + u - 4. Is t at least -2/41?
False
Let y be 1*((140/(-16) - -4) + 5). Which is smaller: 15 or y?
y
Let g = -4.4 - -49.4. Let n = 45.1 - g. Which is bigger: 32 or n?
32
Let d be -93*1/(-63) + 4/6. Suppose 0 = -3*h + 2*x - 0*x - 4, -h = x - 7. Is h bigger than d?
False
Let t = -1020/7 - -146. Let g(b) be the third derivative of -b**4/24 + 5*b**3/6 - 7*b**2. Let f be g(4). Which is smaller: t or f?
t
Let h = -0.08 - -6.08. Let u = -68 + 69. Let s be ((-28)/(-343))/((-2)/(-7)*u). Which is bigger: h or s?
h
Suppose -4*l - 2*g + 1819 = -l, 3*g + 621 = l. Suppose -l = 5*f + q, -3*f = 2*q - 6*q + 370. Is f less than or equal to -121?
True
Let f be 6*-1 + 1 - -2. Let p(j) = -j**2. Let h(t) = 2*t**2 - 4*t - 5. Let d(s) = -h(s) - 3*p(s). Let q be d(f). Which is smaller: 6/5 or q?
6/5
Let z = -679 - -679.015. Which is smaller: z or 2?
z
Let i = -5371/1287 - -46/11. Is -1 not equal to i?
True
Let u = -6 - -4. Suppose 6*c + 8 = 8*c. Which is bigger: u or c?
c
Let l(p) = -p**3 + 10*p**2 + 11*p + 1. Let v be l(11). Let i be (-31)/11 + 2/(-11). Let y = 3 + i. Is v greater than y?
True
Let c be (-7)/(35/15) + (-218)/3. Is c smaller than -75?
True
Let h = 0.25 - -13.75. Let d = h + -13. Suppose f - 2*f = 3*a + 2, 0 = 5*a + 4*f + 1. Which is smaller: d or a?
a
Let d(j) = -j**3 - 8*j**2 + 4*j - 2. Let n be d(-6). Let b = n + 69. Are -2/3 and b equal?
False
Let w be (-7)/42 + 975/18. Suppose -5*x + 4*p = -w, 2*p - 2 = -4*x + 36. Which is smaller: 11 or x?
x
Let z = -11/13 + 101/104. Is z != 0.6?
True
Suppose -2*q = -q + 2. Let c = 96 - 108. Which is smaller: c or q?
c
Let h = 25 + -20. Suppose -5*c - r = -34 - 20, h*r = c - 16. Let v(l) = -l**3 + 2*l**2 + 4*l + 2. Let u be v(-2). Which is smaller: c or u?
u
Let y(r) = r**2 + 5*r + 3. Let b be y(-4). Let z = -6416/11 - -582. Which is smaller: z or b?
z
Let z = -11/155 - 3721/2170. Is 3 at least as big as z?
True
Let p = 0.38 - -0.62. Let v be 5 - -166*8/(-264). Which is greater: v or p?
p
Let f be (-2)/2 + 0 - 1. Suppose 2*u + 2 + 2 = 0. Is u at most as big as f?
True
Let f = 104 + -103. Suppose 4 + f = -j. Which is smaller: j or 6?
j
Let t = 323.9 - 324. Do t and -10 have the same value?
False
Let f be 20/(-6)*12/(-5). Suppose 3*o + 28 = 7*o. Suppose 0 = o*c - 12*c + 45. Is c equal to f?
False
Let g be ((2 - -21) + -2)*10/(-6). Is g greater than -38?
True
Suppose -4*g = -3*g - 2. Let x(z) = z**3 + 14*z**2 - 15*z. Let q be x(-15). Let c be q + -1 - 21/(-18). Is c at most as big as g?
True
Let b = -8 + 12. Suppose 0*z + 2*r + 3 = -z, b*r = -5*z + 9. Suppose -z*c - 2 = 13. Does -3 = c?
True
Let f(c) = -69*c - 8 + 34*c + 39*c - 5. Let t be f(3). Which is smaller: -4 or t?
-4
Let y(w) = -3*w - 43. Let j be y(-22). Which is bigger: j or 1?
j
Let c be (-3)/2*(-2)/6. Let k be 2/(-13) + 3976/(-1365). Let h = -11/3 - k. Which is smaller: h or c?
h
Let q = 10 - 7. Suppose 0 = -2*s + q + 11. Let k = 43/6 - s. Which is smaller: k or 0.1?
0.1
Let d = -3043 + 3043. Is 3/1064 smaller than d?
False
Suppose 1377 + 651 = -26*q. Is q < -79?
False
Let p = -19561/30 + 652. Which is smaller: 1 or p?
p
Let q = -0.362 + -7.638. Are q and 18 nonequal?
True
Let p = -3.52 - 0.88. Let h = p - -4. Do h and 1.4 have the same value?
False
Let b(l) = l**2 + 9*l. Let j be (-1)/2*(-5 - -19). Let w be b(j). Let x(a) = -a**3 - 6*a**2 + 10*a + 7. Let f be x(-7). Are w and f equal?
True
Let t(a) = 18*a**2 - a - 1. Let z be t(2). Let k be (28 + -3)*(-28)/(-10). Which is smaller: z or k?
z
Suppose -a = 2*a. Suppose -7*f + 5*f = 3*r + 142, a = 3*r - f + 127. Let p be ((-2)/r)/((-2)/(-8)). Is p at most -1/4?
False
Let x = -53 - -6. Let g = 48 + x. Which is smaller: -2 or g?
-2
Let p(y) be the second derivative of -y**3/6 - 2*y**2 + 7*y - 2. Let g be p(-4). Is 14/13 greater than or equal to g?
True
Let h be 8/(-8) + 1*8. Let w be 3/(-6)*(1 + h). Which is smaller: w or -3?
w
Suppose 35*k - 26*k = 36. Let v(d) = 4*d**2 + d + 1. Let p be v(-1). Are p and k equal?
True
Let q = -0.532 - -0.132. Let s = 22 - 26. Is s at most as big as q?
True
Let d = 569 + -568. Let v be ((-2)/34)/((-3)/(-6)). Which is smaller: d or v?
v
Let j = -172/267 + -2/89. Let o(s) = 2*s**3 - 21*s**2 - 10*s - 4. Let d be o(11). Suppose -d*u = -10*u. Is u at least as big as j?
True
Let w = -176684775 - -20671914742/117. Let m = w - -1743. Is 1 greater than or equal to m?
True
Let f = -41 + 1639/40. Let i(n) = -n**3 - 3*n**2 - 2*n - 1. Let u be (-28)/21 - 2/3. Let j be i(u). Is f at least j?
True
Let l be 45/5 + -1 + -1. Let q be 5/(-5) + 2 + l. Which is smaller: 9 or q?
q
Let p(h) be the second derivative of h**4/12 + h**3/3 - 7*h**2/2 - h. Let g be p(-3). Which is smaller: g or -21/4?
-21/4
Let a = 2.54 + -2.84. Is a equal to -51?
False
Let c be (5/(-4))/5*10/(-75). Is c smaller than -3/2?
False
Let x = -353 + 380. Let n(q) = q**3 + 9*q**2 - 14*q - 14. Let o be n(-10). Which is bigger: x or o?
x
Let w(t) = -4*t**2 - 2*t + 1. Let z be w(1). Let d(x) = x + 9. Let y be d(z). Suppose 0 = y*s - 7*s - 9. Which is greater: s or -2?
-2
Let z be -3 + (-26)/(-8) - (-114)/(-8). Let c be (4/z)/((-12)/28). Let q be (-2)/(-7) - (-2)/(-7). Which is bigger: c or q?
c
Let k be -4 - 0 - 0/(7 - 3). Let c be (-11 + 47)*(-2)/k. Which is bigger: 16 or c?
c
Let b be -1 + (-55)/(-1755)*32. Is b <= 0?
False
Let f be (2/4)/((25/(-530))/(-5)). Let i = f - 49. Which is bigger: -1 or i?
i
Let s be 4/5*60/24. Suppose 4*n + 28 = -v, 7 = -s*n - v - 5. Is n <= 1/2?
True
Let z = -789 - -790. Is 1/284 less than or equal to z?
True
Let a = -664 - -612. Which is smaller: a or -60?
-60
Let b = -88 - 128. Which is smaller: 2/3 or b?
b
Let u be (-26)/8 + 1/(-4). Let s(n) be the second derivative of n**4/12 + 5*n**3/6 + n**2/2 - 5*n. Let i be s(-4). Is i greater than u?
True
Let c be (-2 + (-30)/(-18))/((-1)/3). Does 10.1 = c?
False
Suppose 74 = -3*w - v + 2*v, 5*v - 32 = 2*w. Let s = -556 - -555.9. Which is smaller: w or s?
w
Suppose 273 - 77 = -4*g + 5*h, 48 = -g + h. Is 1/3 < g?
False
Let k = -45 - -53. Is 11 > k?
True
Let v be 1/(-3) + (-20)/12. Let w be 0/(0 - 5 - v). Let d be 2/(1 + 3)*w. Which is bigger: d or 6/7?
6/7
Let s = 6/39595 - -2413639/10928220. Let f = s + 2/69. Let q be ((-5344)/336 - -16)/(12/63). Which is bigger: q or f?
q
Let s be (-2)/(12/(-279)*1). Is s equal to 46?
False
Let m be 12/(-42) + (-68)/7. Let z = m + 14. Suppose 28 = z*v - 5*h, 0*h - 20 = 5*h. Which is bigger: v or 0?
v
Suppose 0 = 3*x - 8 - 7. Let f = x - 16. Is -9 not equal to f?
True
Suppose -c - 5*c = 1212. Which is greater: -203 or c?
c
Let g be -6 + 105/14 - (-234)/4. Which is smaller: 58 or g?
58
Suppose 3*d + 3*j - 30 = 0, d + 2*d = 2*j + 30. Suppose -3*k - d = 32. Suppose -3*p - 38 = -m, -3*p + 4*p + 2 = 3*m. Is p >= k?
True
Let x be 14/(-399)*2/36. Is x > 0?
False
Let c be 8 - ((-6)/(-3) + -5). Let p = c - 10. Do p and -2/15 have different values?
True
Let v(f) = f**2 + 6*f + 2. Suppose 6*m + 36 = -0*m. Let r be v(m). Suppose -3*y + 4 = l, -2*l + 15 = -r*y + y. Which is bigger: 8 or l?
8
Let v = -36 - 115. Are -152 and v non-equal?
True
Suppose 5*c + 87 + 18 = 5*x, 4*c = 5*x - 80. Which is bigger: -28 or c?
c
Let z(x) = 4*x**2 + 61*x - 26. Let o be z(-14). Which is b