-281/4 - -1381/20. Which is smaller: w or a?
w
Let b(t) = -t**2 + 12*t + 28. Let c be b(14). Suppose 4*q - 3*q = -5*n, c = 3*n + q. Let h = 37 + -186/5. Is n at least as big as h?
True
Let q = -0.1155 - 473.8845. Which is smaller: -1 or q?
q
Let r = -794.03 + 794. Is -33 less than r?
True
Suppose 3*f = 2*j - 18, j - 3*f = 2*f + 23. Let n be (-12)/54 + (60/27 - 2). Suppose -5*l = -2*w + 7 - 19, n = -5*l + 20. Which is smaller: w or j?
j
Suppose 2*q - 7*q + 40 = 0. Suppose -2*m + q = -4*m. Let y be m/114*27/9. Which is greater: y or -1?
y
Let g(i) be the third derivative of i**5/60 - i**4/4 + 4*i**3/3 + 12*i**2. Let c be g(3). Which is smaller: 1/152 or c?
c
Let s = -17 - -26. Suppose 0*c + s = -4*o + c, -4*o + 21 = 5*c. Which is bigger: -22/13 or o?
o
Let w = 2 + 3. Suppose -31 = -w*z + 4. Is z at most as big as 7?
True
Let d be 1/(-2)*49*(-6 + 4). Suppose -46*h + d*h = -90. Which is bigger: -29 or h?
-29
Let s(r) = r**3 + 3*r**2 - 3*r - 5. Let f be s(-2). Let n be 3*1 + (-1)/(-1). Let v = n - f. Are v and -1 equal?
True
Let o = 47 - -50. Is o not equal to 97?
False
Let n = -136031/6 + 22607. Let k = 65 + n. Is -1/5 less than k?
True
Let c = -1.15 + -3.6. Let b = c + 5. Let q = b + -0.2. Which is smaller: -1 or q?
-1
Let x(k) = 9*k - 75. Let z be x(8). Let r be ((-12)/(-10))/((-12)/(-80)). Suppose -o = 3*o + r. Is z less than or equal to o?
True
Let h be 50/6*14/735. Which is smaller: -1 or h?
-1
Let c = -3.61 - 0.39. Let x = c + 4. Which is smaller: -0.15 or x?
-0.15
Let b(w) = 32*w - 177. Let n be b(6). Which is smaller: n or 34?
n
Let m = -543 + 1645/3. Suppose 2*d + 121*w - 4 = 117*w, 5*d - 5*w = 40. Which is smaller: d or m?
m
Let z = 10.82 + -10.72. Is -144.3 not equal to z?
True
Let n be (-616)/(-196) + (-1)/7. Suppose 5*h + 4*u + 21 = n*u, 3*h + 3*u + 3 = 0. Let j = 2 + -3. Which is smaller: h or j?
h
Suppose -j - 3*m = -2*j - 11, -5*m = j - 21. Let y = -78 + 82. Is y at most j?
False
Let w(z) = -z - 8. Suppose 0 = 5*h - 15, -5*o + 2*h - 51 = 0. Let u be w(o). Let b be ((21/(-6))/(-7))/((-19)/12). Is b >= u?
False
Let r be (-2)/(-4*2)*-1. Let b = 23617/41 + -576. Which is bigger: r or b?
b
Let z be (2/5)/(-1*(-1)/15). Let p = -7 + z. Which is smaller: p or 4/11?
p
Let y be (6/(-5))/((-2)/(-5)). Let v be y*1*2/(-20). Suppose -2 = -3*h + w, 0*h + 2*h + 5*w - 7 = 0. Is h != v?
True
Let t = -1763/312 - -45/8. Suppose 4 = 7*l - 3*l. Which is smaller: l or t?
t
Suppose 205*g - 209*g = -56. Suppose -2*d + d = -k - g, 2*k + 31 = d. Let p = 33 + -49. Which is bigger: p or k?
p
Let h be 2*(-3)/(-3) - (0 - 0). Let g be ((-40)/(-90))/(h*(-2)/24). Suppose 4 = -t - 0*t. Which is smaller: g or t?
t
Let x be (-34)/30 + 1 - (-184)/30. Suppose 3 = -x*l + 9*l. Are 2 and l equal?
False
Let d be (-1278)/(-639) - (42 - 1)*(-3 + 2). Suppose 5*r - 225 = -5*w, -4*w + 163 = -4*r - 17. Does w = d?
False
Let l = -1602 - -1601. Let h = 2.1 + -0.1. Let x = -1.9 + h. Which is bigger: x or l?
x
Suppose 4*p - 234 = -198. Is 126/13 >= p?
True
Let f = 6.07 - 0.19. Let r = f - 6. Let q = 0.22 + r. Which is smaller: -2/9 or q?
-2/9
Suppose 3*p + 3*v = -27, -16*v = 3*p - 12*v + 26. Which is bigger: p or 1.3?
1.3
Let y = -107 - -106.27. Let d = y - -4.73. Which is smaller: d or 0.07?
0.07
Let f be ((-2)/3)/((-14)/(-21)). Is f at least as big as -16/9?
True
Suppose 0 = 3*v + p - 19 + 37, 0 = -4*v - 4*p - 32. Let z(u) = -u**3 - 3*u**2 + u + 2. Let c be z(-2). Is c at most as big as v?
False
Suppose -20 - 20 = -2*z. Let x = 4 + z. Suppose -4*y = 2*m - x, -4*y + 2*y + 12 = -3*m. Is y > 9?
False
Let x = -2/1539 - -827/241623. Which is smaller: x or 1?
x
Let m(n) = n**3 + 38*n**2 + 134*n + 1016. Let w be m(-35). Let p = 4361/48 - 545/6. Which is smaller: w or p?
p
Let p = 1 + -1. Let f = 404 + -13733/34. Which is smaller: p or f?
p
Let j be (-4 - -3)*(-2)/(-6)*-3. Let f be (0 - 0)/((j - 2)*1). Which is smaller: -1 or f?
-1
Let v = -31 - -44. Is v at most as big as 11?
False
Let l be 6/(-2) + 190 - -6. Which is smaller: l or 192?
192
Suppose -9 = -2*q - 3*q + m, -3*m + 3 = 0. Let w be ((-108)/(-8) + q)*-2 + 3. Which is smaller: w or -27?
w
Let m be 2*4/(-1824) + 0. Is -1 < m?
True
Let y be 20*4/16*-3. Let p(v) = v + 7. Let r be p(y). Let q = 34/3 + r. Is 3 less than or equal to q?
True
Let b = 9 + -4. Let h be 1/(-3)*3/b. Let m be (-8)/(-2) + -14*(-1)/(-4). Which is greater: m or h?
m
Let v = -778 - -640. Which is smaller: -833/6 or v?
-833/6
Suppose 4*t + 40 - 4 = 0. Let s(r) = 2*r - 4. Let k(z) = 3*z - 9. Let g(a) = -3*k(a) + 5*s(a). Let w be g(t). Which is smaller: w or -3?
-3
Let w = -4.86 - -5.86. Which is smaller: -127 or w?
-127
Let z(w) = 6*w**2 + 37*w + 4. Let h be z(-6). Suppose -5*p = -2*p + 9. Is p bigger than h?
False
Suppose 0 = -l - 3, 55 = n - 0*n + l. Suppose -4*f + 53 = c - 0*c, 2*c + 5*f - 109 = 0. Which is bigger: c or n?
n
Suppose 2*z + 374 = -406. Let d = -3 - -2. Let f be z/(-126) + 3/d. Which is smaller: f or -1?
-1
Let f = 241 - 241. Suppose -2*h - 9 = -5*h. Is f greater than h?
False
Suppose 2*k + 15 = 5*k. Suppose -k*m + 154 = -u, -2*m - 2*u = -16 - 48. Are m and 32 nonequal?
True
Let k(o) = -52*o + 52. Let a be k(1). Which is greater: -0.752 or a?
a
Let d = 88 + -52. Which is greater: 34 or d?
d
Let p(u) = -5*u + 1. Let b(r) = -14*r + 2. Let z(w) = 4*b(w) - 11*p(w). Let s be z(-3). Let d = -14.206 - -0.206. Is d at least s?
False
Suppose -20*n + 12*n = -400. Suppose -27 = -4*d - 0*d - 5*j, 3*j + 3 = 4*d. Suppose -4*a + 2*p - 56 = -a, 5*p - n = d*a. Does a = -20?
True
Suppose 24 = -4*w - 12. Is w greater than -43?
True
Let p = 13123/3 + -4336. Let k be ((-38)/6 - 0)*(-18)/3. Which is greater: k or p?
p
Suppose 3*d + 3*m - 831 = 0, 0*d + 2*m = -5*d + 1388. Which is greater: 277 or d?
d
Let s = -1.9 + 1. Let w = s - -1. Which is greater: w or -4?
w
Let n = -2.58 + 2.8. Let c = 3.22 - n. Suppose 0 = -0*w + 5*w. Is w > c?
False
Suppose 9*r - 107 - 145 = 0. Suppose f - r = -3*f. Which is bigger: f or 10?
10
Let n(r) = r - 11. Let b be n(12). Let v be (1 - b)*(-2)/6. Suppose 4*u = -y - 3, v = -4*y - y - 15. Do u and -2/39 have different values?
True
Suppose 3*k - 860 = -146. Suppose -12*s = 2*s - k. Is s equal to 15?
False
Suppose -a - 5 = -m, 0*m - 3*a + 21 = m. Let r = m + -17. Suppose 29 = -5*d - 1. Which is bigger: d or r?
d
Let p be 2/11 + 39/(-33). Let q = -2 + p. Which is smaller: -4 or q?
-4
Let a = -0.0788 - -0.0488. Is 0 equal to a?
False
Let v = 14 - 9. Suppose -4*c = -2*f + 16, 0*f - 4*f + v = c. Which is smaller: f or 22/7?
f
Suppose 2*v - 5 = 3*v. Let h(u) = -u**3 + 2*u**2 + 2*u. Let m be h(3). Let i be 1 - (4 + (-6)/m). Is v at most i?
True
Let p = 778 + -741. Is 260/7 equal to p?
False
Let s = -96.93 + 96. Let i = s + 0.93. Is 2/85 bigger than i?
True
Let i = -1100 - -1142. Is 39 >= i?
False
Suppose 4*p - 4*f - 72 = 0, 3*f + 14 + 10 = p. Let u(o) = 10*o - 10. Let g be u(5). Let x = 57 - g. Is p >= x?
False
Suppose -38*o = 17*o + 4070. Do o and -74 have the same value?
True
Suppose -i = -2*i + 10*i. Is i > -2/903?
True
Let j = -1661226 - -41524972/25. Let c = 227 + j. Which is smaller: c or 0?
c
Let l(h) = 2*h. Let m be l(-6). Let u(d) = d + 1. Let k(t) = -5*t - 9. Let r(n) = -k(n) - 4*u(n). Let j be r(m). Is -7 equal to j?
True
Let m be 1 + -1 + (-516)/14. Let t = m - -37. Suppose 0 - 67 = 67*v. Which is smaller: v or t?
v
Let l be 72/(-8) + 13 - (-224 + -1). Are 226 and l unequal?
True
Suppose -756 = -5*x - 7*x. Let u = 63 - x. Which is smaller: u or -2/49?
-2/49
Let d = -312 + 96. Is d bigger than -218?
True
Let t = -106 + 111.6. Let z = t - 9.6. Which is greater: z or -1/2?
-1/2
Suppose -3*w = -5*w + 12. Suppose 6*t = -0*t - w. Suppose 2*v = v. Is v bigger than t?
True
Let m = 1184 - 1663. Is -478 smaller than m?
False
Let c(o) = -9*o + 812. Let k be c(76). Is 639/5 at least k?
False
Let s = 392 + -1958/5. Is -279 less than s?
True
Let l be 7/28 + 2/(-8). Suppose -3*o - 80 - 700 = l. Let x be 0 - (o/(-24))/(-13). Is x > 2?
False
Suppose 2*k + 11 = -5*g, -4*k = 3*g + k - 1. Let s(f) = f**3 - 6*f**2 - 6*f - 3. Let l be s(7). Let j be (l/g)/((-7)/(-21)). Is -5 greater than or equal to j?
False
Let v be 99/(-242) - -1 - (-3)/(-33). Which is smaller: 11 or v?
v
Let r = -37 + 39.1. Let k = 1.1 - r. Are -46 and k non-equal?
True
Let w = 3.59 + 