s p not equal to l?
True
Let j be 24/(-9)*9/(-6). Let d be j/6 + (-152)/57. Let i = 577/63 + -68/7. Which is smaller: i or d?
d
Let c = 0.06 - 1.36. Let k = c + 1.4. Suppose 6*h - 72 = -2*h. Which is smaller: h or k?
k
Suppose 125 = -5*b + 4*b. Let q = b - -115. Do -9 and q have the same value?
False
Suppose -4*k + 2423 = -1385. Let n = k + -26659/28. Is n not equal to 0?
True
Let w(l) = 11*l**3 + 17*l**2 + 18*l + 1. Let p be w(-1). Which is greater: -74/7 or p?
-74/7
Let v(r) = r - 4. Let c be v(6). Suppose -c*a - 15 = -7*a. Let l be -3 + 1/((-1)/a). Is l smaller than -6?
False
Let b be (-295)/(-11) - (-14)/77. Let q = b - 31. Which is smaller: q or 0.06?
q
Let k = -91 - -82.9. Let b = k - -9. Let g = -1 + b. Which is greater: g or -6?
g
Suppose 1045 = -3*p - 860. Let u = p + 10801/17. Which is smaller: 0 or u?
0
Let d(w) = 2*w - 5. Let v(k) = -3*k + 4. Let c(s) = 3*d(s) + 4*v(s). Let h be c(4). Let j = h - -47/2. Which is bigger: 3/4 or j?
3/4
Let v = -0.42 + 0.02. Let b = 0 + 0. Which is smaller: b or v?
v
Let p = -1245 - -1251. Let g = 20 - 12. Which is smaller: g or p?
p
Let a = 3398 - 10502/3. Which is greater: a or -102?
-102
Let j = -0.1 + -0.1. Let o = 1715 - 1742. Which is smaller: j or o?
o
Suppose -8 = 4*b - 0*b, -2*b = 3*s + 394. Which is smaller: -657/5 or s?
-657/5
Let c = 324 - 313. Let g = 15 - 27. Let j = g + c. Is -10 not equal to j?
True
Let d be (-4)/(-16)*6*(-10 - -8). Is -2 less than or equal to d?
False
Suppose -a + 0 = -4*u - 2, 0 = u - 5*a - 9. Let v = 10 - u. Let k = 0.2 - 0.3. Which is greater: k or v?
v
Let o be (24/32)/(9/48). Suppose u = -o*b - 16, 3*b + 3 = 2*b. Let l be 3/45*(u - -3). Is l greater than -1?
True
Let a(w) = -w**2 + 34*w + 429. Let g be a(-10). Let p(z) = -z - 4. Let l be p(6). Are g and l equal?
False
Suppose s = 0, 4*u - 8*s + 220 = -4*s. Is u bigger than 2?
False
Let a = 51.581 + -1.581. Is -1.4 <= a?
True
Let r be (-4*3/2740)/((-2)/(-10)). Which is greater: r or 0?
0
Suppose 0 = 7*n - 3*n - 8. Suppose n = -5*s + 142. Which is bigger: s or 27?
s
Let a be 4 - 5 - (-1770)/(4 + 2). Are 1468/5 and a unequal?
True
Let w(z) = 36*z - 36. Let a be w(7). Suppose 0 = -5*s + 3*t + a - 29, 3*t - 41 = -s. Is s != 38?
False
Let a be (12/(-8) - -2)*(25 + -3). Let n = 24 - 10. Which is smaller: n or a?
a
Let m = -3658/77 - -330/7. Suppose 4*x = 2*u - 14, -3*x = 15 - 3. Which is smaller: u or m?
u
Suppose 7*a - 4*a - 12 = 0, -2*a - 6 = -2*x. Suppose 2*w - 5*y - 10 = x*w, 5*w + 4*y = -6. Suppose -3*h = j + j - 13, 4*h - 16 = -w*j. Does h = 3?
True
Let a be ((-1)/(-21)*-3)/(-3). Let w be (-2)/10 + 20/(-25). Is a > w?
True
Let t be 16/88 - (-6)/264*29626. Is t greater than 673?
True
Suppose -5*q = -5*b + 75, 3*b = 4*q + 44 + 5. Suppose 0 = 2*d - g - g - 16, g = -5*d + 10. Suppose d*k - 34 = -4. Is b greater than k?
True
Let l = -1219/53341 - 2/1301. Which is smaller: l or 1?
l
Let w = -23 - -18. Let q = 8 + w. Suppose q*y - 3*l = -6, 4*l = 2*y + y + 7. Does y = 2/63?
False
Let v be ((-21)/(-70))/((-588)/(-20)). Let i(l) = -l + 5. Let w be i(5). Is w smaller than v?
True
Let w be 15/12*26/10. Suppose 4*c - 20 = -c, p - 1 = -c. Let r = p + w. Does r = 1?
False
Let a(p) = 21*p - 1. Let c be a(-1). Let s = -31 - c. Suppose 14*l + 70 = 7*l. Which is smaller: l or s?
l
Let b = 0.77 - 0.7. Let x = -8 + 1.93. Let h = b + x. Which is smaller: h or 1?
h
Let m be (-4)/10 - 6342/70. Let z be (m/78)/((-2)/(-4)). Let c = -0.06 + 0.06. Which is smaller: c or z?
z
Let t be (-30693)/(-10218) + 0 + -3. Which is bigger: t or 1?
1
Let s(u) = u**3 + 4*u**2 - 4*u - 2. Let x be s(-5). Let h = x + 8. Let f be (10/30)/(h/3). Which is greater: -1/21 or f?
f
Let k = 31/14225 - -157356361/270275. Let i = k + -582. Suppose 2 - 3 = m. Is i at most as big as m?
False
Let l = -0.2 + 1.2. Let f = 0.396 - 0.37. Let j = 0.034 + f. Is l < j?
False
Suppose u = -2*u - 2*b + 8, -u + 4*b - 16 = 0. Let m = u + -8. Suppose v = -7 - 1. Is v at least as big as m?
True
Let z(f) = -6*f - 46. Let t be z(-6). Let v be (3/9)/(2/18). Suppose 0 = -6*n + n + v*g - 65, 5*g - 75 = 5*n. Do n and t have different values?
False
Let o = -72 - -294. Is o > 222?
False
Let q(v) = -v**3 + 3*v**2 - 1. Let f be q(2). Suppose -2*c - 2 = 0, 0 = -4*m - c + 4*c + 7. Which is greater: f or m?
f
Let n be (-1 - -5)*6/24. Suppose -h + n + 7 = 0. Which is bigger: 7 or h?
h
Let p(z) = z**2 + 17*z - 17. Let v be p(-18). Let h = v - -1. Suppose h*x = -x - 3. Is -3/4 > x?
True
Suppose 241 - 241 = 2*i. Suppose -3*v + 59 = -q + 5*q, 3*q + 24 = 3*v. Let d be (6/(-15))/(v/5). Is d equal to i?
False
Let z = 1171.9 + -1172. Which is smaller: z or -673?
-673
Let v be -2 + (-3 - -4) - (6 - 5). Let b be 4/(-14) + (-4)/7. Which is greater: b or v?
b
Let x = 602 + -645.9. Let w = x + 44. Which is bigger: 2/5 or w?
2/5
Let o(x) = 24*x**2 + x - 2. Let j be o(1). Suppose j = 2*q - 3*q. Let k = q + 22. Which is smaller: k or 1/10?
k
Let p be ((-24)/16)/((-6)/8). Suppose p*m + 5*a = 8, 5*m + 3*a + 2 = 3. Which is smaller: 3/19 or m?
m
Let c = 1.7 + -2. Let s = 128 - 189. Let m = -62 - s. Which is smaller: c or m?
m
Let c = -99.052 - -0.052. Let v = 100.74 + c. Let a = 0.26 + v. Which is smaller: a or 0.03?
0.03
Let k be ((-27)/558)/(3/4). Suppose 80 = -4*n - 68. Let c = n - -36. Which is smaller: c or k?
c
Let p = 1181 + -1212. Are -181/6 and p unequal?
True
Let b(v) = v**2 + 8*v + 2. Let p be b(-6). Let u = -5 - p. Suppose 0*o + u*o = 0. Does o = 3/11?
False
Let u = -1 + -1. Let n = -1 - u. Let s = 139.8 - 140. Which is smaller: s or n?
s
Let j be (-13)/3*-3*(4 - 5). Which is smaller: j or -0.3?
j
Let q = 59 - 27. Suppose -4*c - 5*a = q, 4 = 2*c + 5*a + 10. Suppose -3 - 11 = d. Is c at least as big as d?
True
Let j be -3 - ((-266)/(-200) + -4). Let n = j + 2/25. Is n > -14?
True
Let p be 2/(-10) - -144*66/1020. Let n(v) = -v**2 - 7*v + 3. Let q be n(-6). Let l = q - p. Is -0.1 not equal to l?
True
Suppose 1657 = 7*s + 89. Are 224 and s nonequal?
False
Let b = -2 + 0. Let c = -9505/9 - -1055. Is b <= c?
True
Let r = 1461 - 1671. Which is bigger: -213 or r?
r
Let f = 230.87 + -232. Let t = 2.93 + f. Which is greater: 0 or t?
t
Let z(x) = -2*x + 4. Let h be z(2). Let d = h - 0. Let a be d - 1 - (1 + 0). Which is bigger: -7/5 or a?
-7/5
Suppose 3*m = -13*m - 720. Which is greater: -0.1 or m?
-0.1
Suppose 0 = -74*c + 78*c - 60. Which is smaller: 7 or c?
7
Suppose -4*c + 9 + 14 = 3*y, y + 4*c = 13. Suppose -v = 3 - y. Suppose -3*t + 0*q = 2*q - 1, 2*t - v = -q. Which is greater: 5 or t?
5
Let j be (-3)/(-2)*2/24. Let f(w) = 3*w + 76. Let q be f(-25). Which is smaller: q or j?
j
Suppose 3*i + 370 = 4*z - 573, -3*z = 5*i - 671. Let q be z/20 - (-2)/5. Which is smaller: 9 or q?
9
Let c be (5 + -18)/(0 - -1). Let t(f) = f**2 + 11*f - 8. Let m be t(c). Is 17 greater than m?
False
Suppose -8 = 5*k - 3. Let f be (-21)/4*(-34)/408. Is f at most as big as k?
False
Let d = 3 + -23. Let n be 0/5 + 2/d. Let i be (1/(-5))/(12/60). Is n smaller than i?
False
Let q(c) = -c**2 + 2*c + 11. Let r be (-9)/((1/(-2))/(6/18)). Let a be q(r). Is -61/5 greater than a?
True
Let l be (-12)/14*28/44. Let y = -4.1 + 4. Which is greater: l or y?
y
Let t be (-4492)/(-7520) - 3/5. Which is smaller: 1 or t?
t
Let s be ((-6)/(-4))/(13/364). Let f = s - 72. Let m = 29 + f. Which is greater: -6/5 or m?
m
Let w = 40 + -47.2. Let x = w - -7. Is 0.03 less than or equal to x?
False
Let v be (56/(-424))/(6/12). Which is smaller: 1/4 or v?
v
Let y(d) = d**2 - 11*d - 114. Let m be y(22). Which is smaller: 127 or m?
127
Let a = 1130 - 1111. Suppose -5*q + 5*h + 104 = 14, -5*h = -4*q + 71. Is q at most a?
True
Let b = -10.73 + 6.53. Is -0.07 != b?
True
Let p(g) be the first derivative of 8 - 1/2*g**2 + 2*g. Let c be p(6). Which is smaller: -1 or c?
c
Let r = 59 + -55.2. Let i = r - -7.2. Which is smaller: -1 or i?
-1
Let r(y) = 65*y - 7. Let g be r(-7). Let c be (-12)/(-2)*g/(-12). Let s = 1613/7 - c. Which is bigger: 0 or s?
0
Let j(p) = 4*p**2 - p - 4. Let u be j(2). Let d be (-27)/180 - (-4)/u. Is d not equal to 1.2?
True
Suppose -8*q + 322 = 6*q. Which is bigger: q or 0?
q
Let q(x) = 6*x**3 - 49*x**2 + 21*x - 1. Let p be q(6). Is p >= 0?
False
Suppose 1 = d - 0*d. Let o be ((-204)/5)/((-6)/15). Let m be -1*(-2)/(-6)*54/o. Is m less than or equa