 267 or s?
s
Let j = -551 - -448.5. Let b = j - -8.5. Does -2 = b?
False
Suppose -8 = 4*g + z - 3*z, -4*z = -3*g - 1. Let m be 2/g + 261/(-135) - -3. Which is smaller: m or 1.4?
m
Let n be (-5 + -6 + 13)*(-4 + 27/6). Is -14/199 > n?
False
Let i be -10 + 1 + ((-18722)/185)/(-11). Is i != 0.1?
True
Let a(b) = -b**2 - 11*b - 30. Suppose -15*w - 5 = -16*w. Let p be (-22)/1 + w - -5. Let m be a(p). Does -41 = m?
False
Let g = -5633 - -5633.1. Which is smaller: -802 or g?
-802
Let k be (-56)/35*(-775)/(-10). Let t be 93/k*(-26)/3. Let p(b) = b**3 - 7*b**2 + 6*b + 7. Let x be p(6). Is x at most as big as t?
False
Suppose 393*o - 252*o - 1129232 = -347*o. Is 2312 != o?
True
Let a be 59*((1 - 3) + 3). Suppose -160 = 10*n - 2020. Let u be (n/(-9) + 1)/(15/(-45)). Are u and a non-equal?
False
Let o be (-456)/(-40) + -12 - 89642/(-149410). Is -1 != o?
True
Suppose 5*d - 10*d - 2*o = 39, -4*o + 57 = -5*d. Let c be (-1 - d)/(-4) + 112/6. Is 1 <= c?
True
Let g = -55.3 + 31. Let s = 20.3 + g. Let n be 3 + (-50)/14 + 0. Do n and s have different values?
True
Let b = 29 + -27. Let t be (-207)/(-6)*b/(-3). Let c = t + 21. Is c greater than or equal to -24/7?
True
Let y(u) = -2*u**3 + 8*u**2 - 6*u + 8. Let t be (10 - 8)*(-5)/(-2). Let m be y(t). Let p be (6/4)/((-27)/m). Is 3 at least as big as p?
False
Suppose -14 = 13*b - 196. Suppose b = 9*t - 31. Suppose -5*f = -4*f + 3*o - 2, -t*f - o = 4. Is -2/57 smaller than f?
False
Let a = 6114 + -4219. Which is greater: 1894 or a?
a
Let h = -479 - -283. Let i = -1415/334 - -791/167. Which is smaller: h or i?
h
Let f = 8613 - 8614. Which is greater: 2/2489 or f?
2/2489
Let i be 6 - 21 - -8 - (-623)/128. Is i bigger than -3?
True
Suppose 0 = 4*s + 2*x - 127 - 847, 2*s - 496 = 2*x. Suppose -5*p = 3*o - s, 4*p = 2*p - 5*o + 117. Which is greater: 45 or p?
p
Suppose -96*d + 348 = 156. Which is smaller: -114 or d?
-114
Let f(z) = -z**2 + 10*z - 11. Let r be f(9). Let l be (-5)/r*(2 - 14/5). Let j be l + 5 - (13 - 11). Which is smaller: 8/7 or j?
j
Let m = -5486 + 8859891/1615. Which is greater: 1 or m?
1
Let z = 10189 - 10656. Which is bigger: z or -470?
z
Let i = 204 - 201. Suppose 2*c + 0 = 4. Suppose -4*j = -3*j + c*l - i, -5*j - l + 51 = 0. Is -2/7 equal to j?
False
Let j = -3.23 - 138.77. Let v = -142.1 - j. Let l = 0.09 - 6.09. Which is smaller: v or l?
l
Let z be (4/(-112))/(1/3). Let w = 1055 - 1054. Is w at most z?
False
Let j be 606/105*371 - 20. Is j < 2120?
False
Let l = -233/55 + 40/11. Let v = -35.8 + 36.02. Let o = v + -0.3. Do o and l have different values?
True
Let r = 411 - 621. Which is smaller: r or -1?
r
Let g = -1156483/21 - -55046. Let v = g + 3931/161. Is 0.1 equal to v?
False
Let z be (494/(-4))/(8 + (-539)/66). Is z >= 739?
True
Let u(f) = f**3 - f - 2*f**2 + 7 - 3*f + 10*f**2. Let r be u(-8). Let k(h) = 8*h - 10. Let v be k(6). Is v <= r?
True
Let j(m) = -m**3 + 3*m**2 - 2. Let r be j(2). Suppose -3*o + 3930 = r*o. Let k = o - 22791/29. Which is smaller: 0 or k?
0
Let d be (-11 - -13)*(1 - -3). Suppose d*m - 77 = -5. Let n = m - 16. Is -6 at least n?
True
Let i = 162.777 - 162.5. Is 0 less than i?
True
Let d be ((-3)/(-2))/(24/(-6528)). Let u be (-3)/(-15) + d/(-10) + -5. Is u less than or equal to 2/9?
False
Let y = -7/16631 + 166429/282727. Suppose 5*d + 3 = 28. Suppose c - 13 = -d*q, -2*c + 12 = 3*q - 0*c. Which is smaller: q or y?
y
Let n(t) = -2*t**2 + 12*t + 15. Let v be n(7). Let q be (-279)/(-651) + 137/(-287). Is v at most q?
False
Let k = -9113888/9915 + 4596/5. Is k not equal to 0?
True
Let c = 947 - 889.7. Let g = -28.2 + c. Which is smaller: g or 1?
1
Let f = -2.6 + 5. Let b = -109.6 + 108.5. Let y = f + b. Which is greater: 1/3 or y?
y
Suppose 708*i + 23*i - 99416 = 0. Let j(q) = -45*q. Let p be j(-3). Are i and p non-equal?
True
Suppose 0 = 39*d + d + 51800. Let s be 9 + 11015/d - (-2)/(-14). Is 1 != s?
True
Let q = -302974 + 302989. Suppose 0 = -0*t + 5*t - 80. Which is bigger: t or q?
t
Let y be (2/4)/(309/12). Let u be (-6)/(-1) + (-12 - -18) + -9. Suppose 2 - 8 = 3*p - u*b, 4*p - 5*b = -10. Which is bigger: p or y?
y
Let c(k) = -8*k + 54. Let j be c(16). Let f = j + 76. Let p be (4 - 5)*(-3)/(-38)*f. Which is greater: p or -1?
p
Let f(i) = -i**3 - 8*i**2 + 6*i - 44. Let h be f(-10). Let w be ((-28)/16)/((-4)/h*-6). Are w and -5 equal?
False
Let v = 10029 - 6067. Which is bigger: 3961 or v?
v
Let y = -29431 + 29431. Which is bigger: y or -17.93?
y
Let k = -403 - -855. Which is bigger: -1 or k?
k
Let w = 0.3388 + -29.3388. Let v = 28.588 + 0.212. Let n = v + w. Is 3 greater than or equal to n?
True
Let k = -9535 - -7521. Is k < -2018?
False
Suppose -l - 5204 = 2*g, -l - 26044 = 4*l + 2*g. Let y be 3 - 4 - l/(-45). Let w = -117 - y. Which is bigger: w or 1?
1
Suppose -3*y = 4*k + 1739, -21*k = 2*y - 17*k + 1162. Which is smaller: -578 or y?
-578
Let g = 376 - 159. Let z = -222 + g. Which is greater: -9 or z?
z
Let h be ((-132)/2)/(30/45). Let p = -92 - h. Let b(j) = -j**3 + 5*j**2 + 14*j - 5. Let c be b(p). Do -7 and c have the same value?
False
Let y = 12 + -10.9. Let c = y + -1.4. Let d be (18/3)/(2*2). Is d smaller than c?
False
Let i = 0.18 - 1.48. Let q = 158481 + -158481.08. Are i and q equal?
False
Let a(r) = -2*r**3 - 13*r**2 - 6*r. Let g be a(-6). Suppose 0 = -f - 2, g = -4*y + 3*f - 0*f - 798. Is -200 greater than y?
True
Let k = -547.7 - -544.536. Is k at most 0.1?
True
Let m = 10082 + -10080. Suppose l - 3*l + 10 = 0. Suppose 0 = -2*y - 0*y + g - 3, l*y + 3*g + m = 0. Which is smaller: y or -2/63?
y
Let k(j) = -3*j - 4. Let z be k(-3). Suppose 5*x + z*d = 0, -x + 0*x - 4*d - 15 = 0. Suppose x*w = 3*w + l - 3, -l = 5*w + 4. Is w greater than 2/137?
False
Let l = 624 - 9981/16. Suppose 3*k + j - 2*j = -4, 2*k - 5*j - 6 = 0. Is k at most l?
True
Let m(i) = i**3 - 4*i + 3. Let t be m(2). Let k be t/(-1) + -5 + 5. Let h be 0 + (0 - 0/(0 + k)). Is 2/23 at least as big as h?
True
Let a be 193/4*-1 + (-4)/(-16). Let p be (a/15)/((-16)/40). Let h be 5/(-60) - 2/p. Is h bigger than -7?
True
Suppose 5*n - 3*c + 12 = -6*c, -11 = 4*n + c. Let i be n + 4 - 4 - 0 - -3. Let l = -1/500 - -757/3500. Is l less than i?
False
Suppose 2*s + 3*l = 11, 0 = -s - l - 1 + 4. Let j be 3 - (s - 22*-1). Let g(r) = -5*r**2 - 3*r - 4. Let n be g(-2). Is j bigger than n?
True
Suppose 0 = 83*p + 72 + 361 - 101. Which is smaller: p or -117?
-117
Let n(y) = y**3 + 7*y**2 - 31*y + 113. Let j be n(-10). Let v = -93 - -218. Is j != v?
True
Let m = 41 - 39. Suppose j + 3 = 3*y + 3*j, m*j = -5*y + 5. Let q = 16 + y. Is q at most as big as 17?
True
Let o(s) be the first derivative of s**5 - s + 10. Let b(y) be the first derivative of o(y). Let d be b(1). Are 0.1 and d nonequal?
True
Let g(q) = 98*q - 1356. Let d be g(15). Suppose -2*o = -f + 110, -3*o = 3*f + o - 360. Does d = f?
False
Suppose 951 = -2*y + 3*t, -68*y + 63*y - 4*t - 2435 = 0. Let x = 481 + y. Let q be (2/(-15))/((-2)/3). Which is smaller: q or x?
x
Suppose 5*t + v = -4375 - 1917, 4*v = 3*t + 3766. Let y = -81774/65 - t. Is y > 0?
False
Suppose -4*u + 2 = 6. Let h be ((-5)/((-1860)/18))/(u/(-2)). Which is greater: 0 or h?
h
Suppose -4*h + h = 3*l + 372, l - 4*h = -99. Let v = l + 119. Suppose 4*g = -v*g + 5*n - 23, 4*n = g + 3. Does g = -8?
False
Let z = 41.9 - 43.564. Let l = z + -0.336. Which is smaller: l or 78?
l
Let f = 32841 + -32797. Which is smaller: f or 61?
f
Suppose 9*p - 10*p = -2*h + 8, -4*h - 3*p + 6 = 0. Let g = 4 + 0. Suppose -4*o - 144 = 2*w - g, 2*w + 104 = -h*o. Which is smaller: -34 or o?
o
Let l = 5097 - 5894. Is -798 not equal to l?
True
Let x be 1/3*-86*-24. Let b = -0.618 - -0.618. Does x = b?
False
Let x = -29 + 31. Let f be x/12 - (-11)/55. Let n = -3/10 - f. Which is greater: n or 1?
1
Let u = 2447 + -2438. Let t = 0.04 - 0.54. Let i = -0.6 - t. Which is bigger: u or i?
u
Let x = 30 - -41. Let t = x - 50. Let j = -48373/290262 - 2/145131. Is j > t?
False
Let n be (-276)/1012 - 14/(-11). Is n equal to -8/1693?
False
Let a(l) = 3*l**3 + 4*l**2 - 6*l + 17. Let r be a(-7). Is r equal to -773?
False
Let m = -185 - -268. Let a = 83.42 - m. Which is smaller: a or 0.3?
0.3
Let b be (-50)/(-250) - (2 - (-952)/(-540)). Suppose 18 = -v + 4*l + 2, -3*v = 2*l - 8. Is v equal to b?
False
Let v be ((-6)/(-52))/((-552)/553104). Whi