 Let t be y(-24). Does 2/29 = t?
False
Let b = 333 - 83. Suppose 0 = -3*n - 5*y + 272, 0 = -3*n + 2*y + b - 6. Does n = 84?
True
Let g = 43/8 + -17/4. Let y(r) = -35*r + 54. Let k be y(-4). Let n = k - 194. Which is smaller: n or g?
n
Let d = 4/135041 - 322070/1755127877. Is -1 at most as big as d?
True
Let t be (-6270)/(-76) - 12/8. Let m = -158 - -237. Is m less than t?
True
Let i = -3060 + 4138. Which is smaller: 1077 or i?
1077
Let q be (-2)/263*(6/64)/(45/30). Which is smaller: q or 1?
q
Let k be (2/(64/(-1400)) + -4)*-4. Is k bigger than 19?
True
Let c be 4/10 - ((-38)/76)/((-5)/(-196)). Which is smaller: c or -116/3?
-116/3
Let r(b) = b**3 + 5*b**2 - 2*b - 8. Let m be r(-5). Suppose -h - m*p = 2, 2*h + 5*p - 1 = -8. Suppose h*t = 2*t - 8. Which is smaller: t or -0.3?
t
Let v be -22*((-6)/8 - 8134/56). Which is bigger: v or 3213?
3213
Suppose -23*x + 13 + 48 = 38*x. Which is smaller: x or 4.239?
x
Suppose 7*u = 9*u - f, -4*u - f - 18 = 0. Let q = -163/25 - -359/75. Is u at most as big as q?
True
Let b be ((-10)/3 - (0 - 2))*423/(-564). Is 4/2237 at most b?
True
Suppose -b + 167*h - 168*h = -37, 16 = 2*h. Let l be 0 + (2 - (-16)/(-7)). Which is greater: b or l?
b
Let t = 3274 + -2384. Is 4446/5 equal to t?
False
Suppose 84 = 11*a - 26. Is a smaller than -24?
False
Suppose 3*l - 4*w - 52 = -l, 69 = 5*l - 3*w. Let d(h) = 1. Let m(u) = u - 26. Let f(s) = 10*d(s) + m(s). Let v be f(l). Is v equal to 3/22?
False
Let z be -9*(408/9)/4. Suppose 3*s + 595 = 5*h, -3*h + 33*s - 35*s = -376. Let v = h + z. Which is smaller: 21 or v?
v
Let p = -20832926/583 - -35734. Is 0 != p?
True
Let d be (-5)/(-409)*(-162)/(-1620). Which is smaller: d or 0?
0
Suppose 0*y - 5*y = 5. Let q = -3841203/41 - -93688. Which is bigger: y or q?
q
Let y be (15/(-4))/(15/2000). Let f = 506 + y. Is -2/81 at least as big as f?
False
Let h(i) = -13*i - 46. Let x be h(-6). Let p be 116/6*(x - 14). Do 348 and p have the same value?
True
Let a(s) = 2*s**3 - 44*s**2 + 78*s + 40. Let u be a(20). Which is smaller: u or -1/317?
-1/317
Let j = 1963.6 + -1963.2. Is -6688 less than j?
True
Let j be (-16)/20 + (-4837)/35. Let s = 188 + j. Is 51 <= s?
False
Let x = 0.12062 + -0.39272. Which is smaller: 3 or x?
x
Let k be 2 + (9963/(-6))/((-88)/(-16) + -6). Is k >= 3323?
True
Let v = -32402 + 32402. Let z(i) = i**3 - 8*i**2 + i - 7. Let p be z(8). Let d = 4 + p. Which is bigger: d or v?
d
Let j = 4680 + -3582. Is 1098 greater than j?
False
Let h = -22183 + 55783. Which is smaller: h or 33599?
33599
Suppose -4*z + 63305 = 5*i, 2*i = -14*z + 10*z + 25322. Are 12660 and i non-equal?
True
Suppose h - 2*g + 50 = 0, -3*h + 49*g - 108 = 50*g. Suppose -4*n = -3*a - 86, -5*a - 5*n - 80 = 75. Let u = a - 9. Is u > h?
False
Let z(i) = -24*i**2 + 1. Let f be z(-1). Suppose -471*p + 252*p = -296*p - 2156. Is p >= f?
False
Let d = -17474/3 + 5815. Suppose -2*l + 38 = -0*l - 2*j, 5*l - 4*j - 91 = 0. Suppose -6*m + 5*m - l = 2*v, -m - 4*v = 21. Which is smaller: d or m?
d
Let c = 13626 + -68137/5. Let b(d) = 5*d**2 + 7*d + 6. Let i(f) = 11*f**2 + 14*f + 13. Let s(o) = -9*b(o) + 4*i(o). Let m be s(-7). Is c equal to m?
False
Suppose -9*a = -106*a. Is -2/1219 at least a?
False
Let v(b) = 7*b**2 + 5*b + 14. Let u be v(-3). Let w = 97 - u. Let q(d) = d**2 - 2*d + 1. Let n be q(-5). Is n <= w?
False
Let s(u) = u + 14. Let b be s(-8). Suppose -p - 4*f + 18 = -0, 2*f + b = 2*p. Let x be 4/p - (1983/1179 + -1). Which is bigger: -1 or x?
x
Let n be 397539949*(282/(-15))/(-2) - -1. Let q = -118384216662517/31680 + n. Let d = -1/2880 + q. Is -5 less than d?
True
Let r be (182/(-1001))/(38/(-22)) - (-96906)/(-57). Which is smaller: -1697 or r?
r
Let z be (-2)/(-6)*(-6 - -201). Suppose 5*h + 176 = c, 2*h + 9 = 4*c - z. Are -36 and h non-equal?
True
Suppose 0*q - q = 5*s - 19, 2*q - s = -6. Let g be -4*(38/56)/q. Which is bigger: g or 2?
g
Let u = -2751.4 + 2719. Which is greater: 1 or u?
1
Let l(d) = d**3 - 26*d**2 - 30*d + 64. Let j be l(27). Is j equal to -266/15?
False
Let j be 9/((-27594)/4608 + 1 + 5). Let a = j + -742. Which is greater: a or 0?
a
Suppose -3*p + 1218 = p + 5*q, -2 = -q. Let b = 123 - p. Is -177 > b?
True
Let f(r) = -12*r**3 - 3*r + 2. Suppose 8 - 17 = c + 5*k, -5*k - 13 = -3*c. Let l be f(c). Which is greater: l or -12?
-12
Let c = 471 - 11772/25. Let r = -516 - -515. Is c greater than or equal to r?
True
Suppose -2247 - 7224 = 21*h - 42. Is h at least -1791/4?
False
Let p be 1018/(-10) + 4/10. Suppose -15*c - 9*c = -8*c + 1616. Let k = p - c. Is 3 bigger than k?
True
Let c(d) = 15*d - 7790. Let y be c(124). Which is bigger: -5929 or y?
-5929
Let z(r) = -12 - 4*r + 9 + 31*r. Let t be z(2). Which is bigger: t or 1/4?
t
Let n be (-33)/(-8)*(-3 - (-8)/4). Let i be 36/(-18) + (-4)/(-1). Suppose 3*a = t - 3 - 12, 5*t - 23 = i*a. Is n smaller than a?
True
Let p = -14.15 - -14.26. Which is greater: 64 or p?
64
Let r = 1002.88 - -2.12. Which is smaller: r or 0.2?
0.2
Let b(m) = m**2 + 11*m + 3. Let i be b(-7). Let n(a) = 2*a**2 - 12*a - 2049. Let r be n(35). Is i not equal to r?
True
Let v = -222 - -222.007. Let g = 17 - 15.3. Let n = -1.6 + g. Which is smaller: v or n?
v
Suppose 0 = h - 0*h. Let o be ((-321)/84 - -5)/((-105)/70). Do o and h have different values?
True
Let a = -0.12 - -0.12. Let y = 0.1 + a. Let k be (-1)/(-7) + 0 - (-297)/(-21). Does k = y?
False
Let k(s) = s**2 - 4*s + 19. Let u be k(10). Let c(t) = 11*t - 87. Let r be c(15). Is r bigger than u?
False
Let z be 1 - 2 - (-15)/3. Suppose 2*q + 8 = 2*y - z, 4*q + 2*y = 0. Suppose 5*o = 5*d + 15, 4*d - 10 = -2*o + 7*d. Which is bigger: o or q?
o
Let v = 44254 + -7736. Let c be 3/(-15) + v/(-210) - 3. Let h = c - -177. Which is bigger: h or -1?
h
Let w = 3.934 - 2.434. Which is bigger: 7/2 or w?
7/2
Let x = 102 - 97. Let j be (-7)/2 - (-15)/25*x. Suppose s + 20 = -2. Which is smaller: s or j?
s
Let v(q) = 1742*q - 9. Let p be v(1). Is 1732 at most p?
True
Let o = 11819/2 + -5909. Is o at most -84/19?
False
Suppose f + 30320 = -5*a, -80*f - 18210 = 3*a - 83*f. Is a >= -6064?
False
Let t(a) = 247*a - 1497. Let j be t(6). Let i be (-12)/(-42) - (-1558)/(-112). Which is smaller: i or j?
j
Let w be (5 - 111)/(0 + 2). Let i = 53 + w. Let t be (0 - i)/(-9 + 8). Is -1/2 less than or equal to t?
True
Suppose 0 = 16*x - 34*x + 54. Suppose 2*i - 8 = -4*v, 4*i - 4 = x*v + 1. Do i and 7/3 have the same value?
False
Let u(v) = -2925*v - 20454. Let a be u(-7). Let g(r) = 2*r**2 - 3*r - 4. Let d be g(-3). Which is smaller: d or a?
a
Suppose -2*h + 5*s + 4896 = 0, -4896 = -h - h - 2*s. Suppose o - 7*o = h. Which is smaller: -409 or o?
-409
Let h = -24.07006 - -0.07006. Is h > -74?
True
Let i = 30759 + -717496/23. Let y = 435 + i. Are 0 and y unequal?
True
Let b be 8*(-626)/136 - (-15)/(-85). Suppose -4*v + 2*y - 3*y - 157 = 0, -4*y - 96 = 2*v. Is v smaller than b?
True
Let w(p) = -8*p - 11. Let c be w(-9). Let i(l) = 2*l - l + c*l**3 - 2*l - l**2 - 58*l**3. Let u be i(-1). Are -10 and u equal?
False
Let l = -2.251 - 117.749. Is -2/7 greater than l?
True
Let i(q) = 4*q + 1. Let d be i(5). Let w be 9/36 + d/(-36)*-3. Suppose 0 = w*b + 1 - 3. Which is greater: -1 or b?
b
Let h be (-2)/4 + (-1300)/(-40). Suppose 2*m = -3*i, -h = -3*m + m + 5*i. Suppose 0*q + 48 = -m*q. Do -5 and q have the same value?
False
Let u be ((-12)/((-1680)/115))/((-13)/(-2652)). Is u at most -2/11?
False
Let t = 24288 - 24286. Let c be ((-6)/10)/((-3)/8). Which is smaller: t or c?
c
Let z = 173416 + -513842/3. Is z < 2135?
False
Let c be ((-2)/(-148)*-1)/(5/20). Let a = 57.025 + -0.025. Let w = -56.7 + a. Which is greater: w or c?
w
Let h = 36 - -2. Let g be ((-296)/24)/(2/(-6)). Let n = h - g. Which is greater: 0 or n?
n
Let p be ((-1605)/(-1491))/((-72)/(-84)) + (-8)/6. Which is smaller: 0 or p?
p
Let c be (-4 - 102/(-39)) + 2. Let l = -1706/195 + 44/5. Let u = l + c. Is 2 smaller than u?
False
Let v(s) = s + 29. Let r be v(-28). Let d(x) = 136*x**2 + 4*x - 2. Let t be d(r). Is -2 < t?
True
Suppose 44 = -14*t + 86. Let g(f) = 4*f**3 - 14*f**2 + 5*f + 3. Let k be g(t). Which is bigger: 4/65 or k?
4/65
Suppose 16*y - 1374 + 350 = 0. Let v = -65 + y. Which is smaller: 101 or v?
v
Let r(s) = s**3 - 17*s**2 - 18*s + 2. Let c be r(18). Suppose 3 = -3*v + c*g, 2*v + 3*g - 4*g + 2 = 0. L