t r(k) = 6*k + 91. Let i be r(-15). Is i greater than -30.88?
True
Suppose -76 + 10 = -3*c. Let r be (-10)/(-35) + c/(-28). Let y be (-2)/(-10 + (-12)/4). Is r at most as big as y?
True
Let s be (1425/5)/(87/1508). Is s bigger than 4939?
True
Let o be -35*(0 - 1 - 144/(-90)). Let t be -3 + 570/42 + 12/o. Is 13 less than or equal to t?
False
Let o = -157 + 183. Let k be 1 + o/(2/1). Is 12 at most k?
True
Let v(d) = d**2 + 4*d. Let k(c) = c**2 - 6*c + 1. Let u be k(10). Let s = 36 - u. Let n be v(s). Is n greater than or equal to 0?
True
Let r be (50/5 - 4) + -1. Suppose -2*q - 130 = -5*z, -112 = 2*q - z + r*z. Which is smaller: q or -58?
q
Suppose 3*f = -3 + 57. Suppose -8*l + 11*l = f. Suppose l*q - 13 = 23. Does q = 6?
True
Suppose -101*c - 40*c + 0*c = 987. Let z(g) = -g**3 - g**2 - g - 3. Let n be z(0). Let v be (-1)/((-1)/n) - 4. Is c at most as big as v?
True
Let r be 63/(-84) + 35/4. Let k be (22/r)/(18/648) - -2. Is 399/4 at least as big as k?
False
Let a(m) = -48*m + 1559. Let f be a(-7). Is 1895 bigger than f?
False
Suppose 2*x - f - 3*f + 8 = 0, -4*x + 29 = f. Let k be (3/x)/(((-9)/(-282))/3). Suppose -53 + k = -3*c. Which is smaller: c or 1?
1
Let i be 2/(-13) - (-81)/507. Let b = -16129 + 48389/3. Is b bigger than i?
True
Let c be (-1 + -6 + 5)/((-6)/357). Suppose 0 = -3*n - 29 + c. Which is greater: 36 or n?
36
Suppose -56*l + 48*l = 1456. Let x be (-2*21/l)/(-2). Which is bigger: -1 or x?
x
Let h = -1971 + 11797/6. Let m = -72 - -66. Which is smaller: m or h?
m
Let q(i) = -64*i**3 + 19*i**2 + 66*i - 20. Let p be q(-5). Which is bigger: p or 8124?
p
Let h = -19848 - -20123. Is h smaller than 276?
True
Suppose 4*z - a - 7095 - 3564 = 0, 10657 = 4*z - 3*a. Which is bigger: z or -2/5?
z
Let k(t) = t**3 + 36*t**2 - 4*t + 175. Let f be k(0). Let i(j) = -j**3 + 11*j**2 + 3*j + 7. Let p be i(5). Which is greater: p or f?
f
Let y(b) = -3*b**2 + 74*b - 45. Let d be y(24). Suppose -j - 2 = 3*a, -d*j + 18 = 3*a + 48. Which is smaller: j or -17?
-17
Let q be (-1196)/(-199) + 55/(495/(-54)). Which is bigger: -4 or q?
q
Let g = 1 + -1.03. Let u = -0.97 + g. Let y = 530 - 542. Which is bigger: u or y?
u
Let g(c) = 3*c**2 + 13*c + 3. Let a be g(-6). Suppose 6*v - a = 255. Suppose -4*w = -12 + v. Which is greater: -6 or w?
-6
Let d = 1.19 + -1.23. Let z = d - -2.04. Which is bigger: z or -0.02?
z
Let h = 541 + -874. Let y be 1/1 - h/(-327). Let r = -2710 - -2711. Which is bigger: y or r?
r
Let c = 172 - 193.7. Let l = 21 + c. Which is smaller: 1 or l?
l
Let o be (1 + -1)/(-3 + 4). Suppose a + 0*a = o. Let q = -91.97 + 92. Is q less than a?
False
Let r = 29585/585221 + 220/1417. Which is smaller: r or 0?
0
Let v be (8/(-16))/(1/2)*-2. Suppose -22 = v*i + 5*c + 9, -5*c = -15. Which is greater: -6 or i?
-6
Let y = 25246 + -13254146/525. Which is bigger: 0 or y?
y
Suppose -9189 + 28899 = -54*g. Do -367 and g have the same value?
False
Suppose -3*q - z = -9, 7*q - 6*q + 2*z - 18 = 0. Let d be (1*2/(-120))/(-6). Which is greater: q or d?
d
Let s(d) = 6*d - 80. Let t be s(12). Let c be (-1305)/540 - 2/t*1. Is -0.1 smaller than c?
False
Let z = 957 + -814. Which is greater: z or 142?
z
Suppose -3*h - 50 = 2*n + 45, 0 = 5*h - 5. Let i = n - -21. Let u be -1 + (3 - i/(-12)*-4). Which is smaller: 12 or u?
u
Let i be (-58)/(-182149)*2306/4. Let l be ((-6)/(-12))/(571/(-2)). Let y = i + l. Do 0 and y have the same value?
False
Let v(u) = u**3 + 9*u**2 + 18*u + 7. Let j be v(-3). Let n be 2/j - (-1870)/462. Suppose 0 = 2*g - g - 4. Do n and g have different values?
True
Let d = 20892 - 60799/3. Which is smaller: d or 627?
d
Let s = -230.4349 + 0.5349. Let m = -230 - s. Which is smaller: m or -28?
-28
Let k be 5 + (69/(-46) - 2/(-4)). Suppose 7*v = -4*i + k*v - 12, -5*v = i + 20. Which is bigger: -2/275 or i?
i
Let c be (-553)/79 + -107 + 3. Are c and -13 equal?
False
Let c = -62 - -111. Let a = c + -36. Suppose 60 = 5*b + 5*m, 0*m - 5*m = b - 8. Is b less than or equal to a?
True
Let k be -5*(-7)/(-105) - (-4)/(-6). Let p be (k + 2733/2721)*(-9)/18. Does -1 = p?
False
Suppose 4*w - 5*x + 7 = 0, -93*w = -91*w - 4*x + 8. Which is smaller: w or 40/63?
40/63
Suppose 3*f - 8*v = -16*v + 1882, 0 = 2*f - 3*v - 1238. Is 1/2 at least as big as f?
False
Suppose -220 = 56*a - 3188. Let h be (4/2 - 1) + 53. Is a greater than h?
False
Suppose 68 + 51 = -8*p + 127*p. Which is greater: -0.1611 or p?
p
Let r = 32 - 41. Let m be r/(-2)*(8 - 12). Let d = m + 26. Is 10 greater than d?
True
Let g(t) = t**2 + 121*t - 1305. Let z be g(-121). Which is bigger: -1308 or z?
z
Let p = 580 - 337. Let d = -243.0579 + p. Is d equal to 1?
False
Suppose 4 = -4*w, -5*l = -0*l + w - 19. Suppose l*d - 50 - 38 = 0. Suppose r - 21 = -j, 0*r + r = 2*j + 21. Does d = r?
False
Let k(r) = 18 + 3*r + 2*r**2 + 0*r - 8*r**2 + 10*r**2 - 2*r. Let h be k(-4). Is 79 greater than or equal to h?
True
Let r = 684.11 + -687. Let f = r - -3.29. Is f equal to -4/9?
False
Suppose 2*s - 4*p - 2056 = -s, -3*s + 2055 = -3*p. Suppose 0 = -41*g + 47*g + s. Which is smaller: -113 or g?
g
Let r be -10*(1001/55 - 9). Is -110 >= r?
False
Let y(p) = -404*p + 2024. Let q be y(5). Which is bigger: q or 201/41?
201/41
Suppose -5*l - 75 = -5*a + 4*a, 5*a - 259 = -4*l. Let r(f) = -f**3 + 65*f**2 + 126*f + 588. Let h be r(67). Which is bigger: a or h?
a
Let i(x) = 44*x - 2028. Let j be i(-5). Are j and -2246 equal?
False
Let a(w) = 2*w + 21. Let y be a(-8). Suppose u - u = -y*u. Suppose 3*v - 2*v + 1 = u. Which is smaller: v or 0?
v
Let y(d) = d**2 + 7*d + 2. Let a(v) = -v + 2. Let g be a(6). Let z be y(g). Let m be 2*6/(-24) - z/(-2). Which is bigger: m or -6?
m
Let r be 3*(92 - 5)/3. Let o = -84 + r. Let a be (453/(-153) + o)*(-6 + 0). Is a != 1?
True
Let k be 0*((-20)/2 - -9). Which is bigger: k or 1/12645?
1/12645
Let n(j) = 21*j - 65. Let h(s) = 11*s - 33. Let w(a) = 11*h(a) - 6*n(a). Let b be w(9). Which is smaller: b or -21?
-21
Let f = 1074881/42 + -164573/6. Let i = f - -1845. Let h = -75/7 + i. Are h and -3 unequal?
True
Let c be 1 + (-20)/4 - 176/(-8). Let r be 432/(-77) - c/(-99). Which is smaller: -6 or r?
-6
Suppose -60*k = 2516 - 2696. Which is bigger: k or 825?
825
Suppose 2*m - 10 = 3*y, -4*m + 2*m + 10 = 0. Suppose -x + 4*v - 22 = y, 4*x - 8*x - 2*v = 16. Let f be ((-996)/(-18) - 4) + 2/x. Is 51 greater than f?
False
Let m = -7.8 - 64.8. Let z = -72 - m. Let b = 6 - 5. Which is greater: b or z?
b
Let p = 44 + 67. Let a = -93 + p. Suppose 250*t - 249*t = -a. Which is smaller: t or -19?
-19
Let t = -275398/1715 - -18/1715. Which is greater: t or -162?
t
Let s = 5 + -9. Let p = -425.19 + 10.19. Let y = p + 407. Is y smaller than s?
True
Suppose -4*t + 5*p = 381, 88*p + 35 = 83*p. Which is smaller: t or -75?
t
Let s = 10/79 - 14023/316. Is s != -1?
True
Suppose 56 - 54 = 3*p - 4*o, 3*p = 12*o - 6. Which is greater: p or -24?
p
Let l = -24894189 - -5153070817/207. Let c = -1144/9 - l. Are c and -1 equal?
False
Let c = 0.1 - -0.01. Let i = 708 + -659. Let n be 14/i*49/(-91). Are n and c equal?
False
Let n be 39/((-1989)/119) + -1 + (-8)/(-2). Which is smaller: n or 4147?
n
Let j be -1*-9*(2 + -1). Let q be -2 - 284/(-10) - (-6)/10. Let z be -16 - (j/q)/(2/(-6)). Which is smaller: -14 or z?
z
Suppose 0 = s - 3*h + 41, -s - 20 = 2*h + 56. Which is greater: s or -53?
-53
Let n = -5 + 6. Let a be (-67)/40 - (5/40)/n. Which is smaller: a or -2?
-2
Let a(f) = -121*f**2 + 2*f + 1. Let b be a(-1). Let l = b + 125. Which is greater: l or 29/13?
l
Let w = 5348 + -5299. Which is bigger: w or 25?
w
Let w be 4/(-18)*3/4. Let g be -548*(14/(-8))/7. Suppose 0 = -3*o - g + 131. Is o at least as big as w?
False
Suppose -4*n = -4*b - 7*n + 51068, 2*n = -5*b + 63828. Let z = b - 166046/13. Let y = -5788/663 - z. Is y not equal to 0?
True
Let f be ((3 - 1) + (-1309000)/654495)*(56 - 53). Which is smaller: f or 1?
f
Suppose 19*p - 127*p - 6804 = 0. Does -63 = p?
True
Let k(q) = 47*q**2 + 3*q - 3. Suppose -11 = -6*d - 5. Let z be k(d). Suppose 4*t - 5*h = -127, 2*t + 44 = -3*h - z. Which is smaller: -37 or t?
t
Let h = -768.79 + -10.21. Is -0.1 less than h?
False
Suppose o - 9*l - 40 = -5*l, -2*l - 4 = 0. Let a(w) = 3*w - 96. Let c be a(o). Which is bigger: c or 11/8?
11/8
Let y(b) = -93*b - 9. Let a be y(-3). Let o be (-2)/5 - (-198)/