 bigger: -2/1043 or z?
z
Let i = 2242 + -2262. Let n(c) = -c**3 + 4*c**2 + 10*c - 9. Let h be n(6). Is h != i?
True
Let l = 827.898 + -828. Is 0.3 less than or equal to l?
False
Let l = 1.04 + -1.04. Let m = l - 4. Which is greater: 0.03 or m?
0.03
Let r be (64/(-32))/((-57)/3). Is r < 3/8?
True
Let c(t) = -t**3 + 15*t**2 - 26*t + 2. Let g be c(13). Suppose -4*i - 5*b = -30, -i - g*b - 16 = -5*i. Which is smaller: 21/4 or i?
i
Suppose 24 = 5*r - 41. Suppose 5*o + r = 2*d, -3*d = -5*o - 6*d + 7. Let s be (o/(-2) + -1)*4. Is s > -1?
False
Let d(w) = -w**3 + 4*w**2 - w - 2. Let n be d(3). Suppose y + 6 = n*y. Suppose -6 - 2 = y*c - 4*o, c - 3*o = -6. Which is smaller: c or 3?
c
Suppose 2*n - 422 = 5*r - r, 5*r + 524 = -n. Which is smaller: -106 or r?
-106
Let a = -0.03 - -0.03. Let q = a - 0.04. Let p = q + 0.24. Which is smaller: p or -0.1?
-0.1
Suppose z + 2 = -2*t, -17 = -0*z - 2*z + 3*t. Suppose -q + 4*q - 228 = -4*d, z*q = -5*d + 304. Let c be 3/(-1) + q/20. Which is smaller: 0 or c?
0
Suppose 15*l = -20 - 10. Is l not equal to 2?
True
Let n = 2/5933 + 5549/1139136. Are n and -0.08 nonequal?
True
Let k be (-6)/9*57/(-2). Let t = k - 4. Let y be 0*(t/6 + -2). Are 0 and y non-equal?
False
Let d(v) = v**3 + 14*v**2 + 10*v - 2. Let a be d(-13). Is 37 > a?
False
Let g = -28.158 - -0.158. Which is greater: 1/16 or g?
1/16
Let w = 22/13 - 188/65. Is w at least -82?
True
Let q be 2/11 + (-1596)/4180. Let o = 5.2 - 6. Which is smaller: o or q?
o
Suppose 3 = -b + 21. Let q = -38 + 55. Which is greater: q or b?
b
Suppose 12 = 3*h, -3*b + 3*h + 18 = -8*b. Let j be (1 - 2)*9/1. Which is greater: j or b?
b
Let k(n) = 2*n**3 + 65*n**2 - 27*n + 65. Let c be k(-33). Is -132 smaller than c?
False
Let k(h) = 6*h + 2 + 57*h**3 - 56*h**3 + 18*h**2 + 11*h. Let p be k(-17). Suppose -5*f - 20 = 0, 7*n - 2*n - 9 = f. Which is greater: p or n?
p
Let c be -20*3*(-32)/40. Let g = c - 248/5. Let d be 4/(-16) - 22/8. Is g at most as big as d?
False
Let j be (-2)/7 + 5 + 2312/56. Do j and 418/9 have the same value?
False
Let i = -5739/22 + -469/22. Let v = -282 - i. Suppose 2*a + 0*a = 0. Which is smaller: a or v?
a
Let s(m) = 13*m + 215. Let p be s(-16). Suppose -159 = -5*k - 39. Suppose -2*l - k = -5*l. Which is smaller: l or p?
p
Suppose 0 = -u + 3*r - 3, -4*r + r + 6 = 0. Suppose -z = 2*s + 14, -9 = 4*s - z + 7. Let f = -4 - s. Is u > f?
True
Let k(t) = -3*t**2 + 0 + 2 + 6*t**2 - t + 0*t**2. Let h be k(2). Let r = -16 + h. Is r < -5?
False
Let c = 1 + -1. Let o be (-49)/(-910) + -1 + 3. Let l = o - 19/10. Is l less than c?
False
Let q = -984 - -1380. Which is greater: q or 0.1?
q
Let z(l) = -79 + 0*l + 2*l + 43 - 5*l. Let d be z(-12). Which is smaller: 2 or d?
d
Let n be -3 - 24/(-9) - 14/(-24). Which is greater: -0.9 or n?
n
Let h be (1/(-4)*-45)/(75/3600). Is h != 540?
False
Let a = 1421 - 15621/11. Is -1/5 bigger than a?
False
Suppose 4*f - 20*c = -18*c - 10, f = -4*c + 2. Is 23 less than or equal to f?
False
Let h = 12 - 22. Let y = h + 7. Which is bigger: y or -6?
y
Let l = -11463/5 - -2301. Which is smaller: 8 or l?
8
Let z be (-6)/10 - 4/((-17640)/2706). Which is smaller: z or -1?
-1
Suppose 0 = 2*t - 10*t - 40. Let r = -3 - -9. Suppose 6*s = 4*s - r. Which is greater: t or s?
s
Let q be (-4)/4 + (-22)/16 + 2. Let m = -1 + 0. Which is greater: q or m?
q
Suppose -721 - 59 = 5*v. Let u = v + 70. Let i = -603/7 - u. Does i = 2?
False
Suppose -14*d + 20*d - 6 = 0. Which is bigger: d or -1/68?
d
Let g = -102.97 + 103. Which is smaller: g or -31?
-31
Let p(i) = i**2 - 6*i + 9. Let j be p(10). Let c = 44 - j. Is -5 >= c?
True
Let l = 2122 - 118835/56. Suppose 5*r + 25 = -3*m, 4*m - 20 - 5 = 5*r. Do m and l have the same value?
False
Let c(s) = s**2 + 4*s - 1. Suppose 10*a = 8*a. Suppose a = 2*d - 2*n + n + 13, 21 = -4*d + n. Let z be c(d). Is -2/7 > z?
True
Let c(z) = 7*z**3 + 3*z - 2. Let b be c(1). Let g = -0.23 - 1.77. Which is smaller: g or b?
g
Let j(m) = -6*m + 9. Let a be (-9)/(-18)*(21 + -1). Let v be j(a). Is v equal to -51?
True
Let x be 8/12 - 212/624. Which is smaller: 1 or x?
x
Let h = 11.4 - -3.6. Let a = h - 14. Which is smaller: -1/3 or a?
-1/3
Let z(y) = -2*y**2 + 51*y - 62. Let b be z(24). Which is smaller: 6 or b?
6
Let z(c) = 25*c - 120. Let d be z(5). Which is bigger: 16 or d?
16
Suppose z - 42 = 4*d, z - 134 = -2*z + 4*d. Which is smaller: z or 43?
43
Let c be (3/(-2))/((-9)/(-216)). Let f be (-8)/c + (-266)/(-18). Let a = 14 - f. Which is greater: -5/8 or a?
-5/8
Let m be -2*(-9)/6 + (-3844)/(-10). Let y = -390 + m. Are 2 and y unequal?
True
Let m be -8*2/(-4)*-1. Let y be -7*(-3 + 4) - m. Is y != 0?
True
Let b be 349/14 + (-1)/(-2). Which is smaller: b or 25?
25
Suppose -3*q - 3*p = 0, -5*p = -2*q - 3*p + 8. Suppose 0 = 2*l - 4*a + 4, -l - q*a - 14 = 2*l. Let t(h) = h**2 - 7*h + 3. Let s be t(6). Is l >= s?
False
Let a = 326.4 + -294.22. Let d = a + -32. Which is bigger: d or 0?
d
Let m be 4/6*(-651)/(-62) - -143. Is m > 151?
False
Suppose 6*l + 63 = 15. Let p(z) = -3*z**2 - 3*z - 5. Let b be p(-2). Which is smaller: l or b?
b
Let c = 0.4 - 0.3. Let j = -7054 + 7068. Which is greater: c or j?
j
Let c = -1.078 + 0.078. Let h = 14 - 9. Let z = h + c. Is -3/4 bigger than z?
False
Let m(a) = a**3 - 10*a**2 + 6*a - 4. Let v be m(8). Let l be ((-124)/v)/(1/(-96)). Let q = l - -142. Which is greater: q or 0?
q
Let j(w) = -6*w + 27. Let s(u) = -7*u + 27. Let y(v) = -6*j(v) + 5*s(v). Let g be y(12). Let r be 3/(-36)*g + -1. Which is smaller: -1 or r?
-1
Let g = 22 + -33. Let w be 3 - ((-18)/g - (-1 + -2)). Is w at most -1?
True
Let v = 287 - 287.1. Which is smaller: v or -4?
-4
Let j(p) = -2*p + 75. Let q be j(37). Is q greater than 63/26?
False
Let n = 938 - 712. Which is smaller: n or 227?
n
Let n(m) = 6*m + 4. Let o be n(3). Let r be (-1 - -3)*60/(-24) - -27. Is o at most as big as r?
True
Let w(l) = -2*l - 8. Let f be w(-8). Let c be 0 + 3 + 44/f. Are 9 and c nonequal?
True
Let b = 590.1 + -590. Let j(g) = -g**2 - 7*g - 4. Let z be j(-6). Suppose -z*c = -4*c. Which is greater: c or b?
b
Let j(o) = 6*o + 2. Let h be j(-1). Let t be ((-1)/h)/(3/(-12)). Which is smaller: -15/7 or t?
-15/7
Let o be (-9)/30*5/6. Let n = 159 + -264. Let d = 104 + n. Which is smaller: o or d?
d
Let k(r) = -r**3 + 5*r**2 - 3*r. Suppose 3*p - 6 = -0. Let n be k(p). Is n < 9?
True
Let p = 116 + -134. Let q(m) = 2*m**2 + 40*m + 6. Let v be q(p). Which is greater: -65 or v?
-65
Let o be 1533/3510 + 16/72. Let i = o + -9/13. Which is smaller: i or 1?
i
Let v be 0 + 10/24 + (-14)/7. Let q = v - -59/60. Let b = -0.9 - -1. Which is bigger: q or b?
b
Let s = 31 - 30.939. Is s at most 0.2?
True
Let t(q) = -98*q + 442. Let o be t(4). Is 6 smaller than o?
True
Let m(a) = -335*a - 1380. Let b be m(-4). Let s(g) = g**2 - 12*g - 4. Let h be s(6). Is b greater than h?
False
Let c = 0 - 0. Let y = 112198/75 + -1496. Which is bigger: y or c?
c
Let h be (-2)/4 + 73683231/147366390. Let t = h + 22227708133/227975805330. Let z = 1/442 - t. Which is smaller: z or 1?
z
Let s(g) = -g**2 - 16*g - 12. Let v be s(-15). Let p(f) = f**2 - 3*f. Let h be p(v). Are 2 and h non-equal?
True
Suppose -2*c + 8 = 4*m - 6, 4*c + 32 = 4*m. Suppose -m*l - r + 4*r = -174, 172 = 5*l - 4*r. Let f be (-3)/(l/(-8) - -3). Is f smaller than 3?
True
Let u be (-2)/(3/(-45)*2). Is u bigger than 15?
False
Let b be (-6)/4*2 - -12. Suppose 4*w + w - 45 = 0. Let s = -2 + w. Is b > s?
True
Suppose -72*u + 1513 = 17*u. Which is bigger: u or -4?
u
Suppose 4*i - 3*i = -1. Let n be 2/(-12)*i*2. Is n < -13/5?
False
Let i = 1.477 + -1.077. Is -46 < i?
True
Let h be -1*(3 + (1 - (-2 - -4))). Is h equal to 36?
False
Let t be 2*(-5 + 6) + 9 + -35. Is t less than -124/5?
False
Let z = -963 + 964. Is 1/70 less than z?
True
Let b be ((-10)/4)/(45/(-36)). Suppose b*x - 8 = -4*u, 0*x - 5*x = -4*u + 8. Suppose x + 20 = -2*j + 5*n, 2*j + 3*n - 12 = 0. Is j >= 2/9?
False
Let u(t) = -t**2 + 11*t - 4. Let o be u(9). Let g = -11 + o. Let n = 15 - g. Does 12 = n?
True
Suppose -5*a + 951 = 251. Let t = -3 + a. Suppose -2*d - 5*h + h + 38 = 0, -5*d + 4*h = -t. Which is greater: 26 or d?
26
Let t be 26/(-588) + (-7)/(-42). Let i = t - 262/539. Which is smaller: 0 or i?
i
Let f be ((-216)/32*16/(-6))/2. Suppose 3*n + 50 = 4*y, 7 = 3*y + 2*n - 22. W