Suppose -8*d = 539 + 877. Let w = d + 218. Are w and 41 equal?
True
Let p(m) = m**3 - 10*m**2 - 25*m + 13. Let h be p(12). Let i be -9 + (-3)/h + 7. Suppose -9 = 2*z - 3. Is i at most z?
True
Let y = -119.34 + 129.34. Is y > 200?
False
Let b be (10/(-6))/(2/(-12)). Let n = -70 + 92. Suppose -n = m + b. Does m = -31?
False
Let v = 2236 - 2331. Which is bigger: v or -16?
-16
Suppose 4*g = 2*s + 6, 5*g = -8*s + 11*s + 9. Let f be 220 + -2 + 0 + 3. Let m = f - 10828/49. Is m greater than g?
True
Suppose 0 = -173*r + 718 + 1704. Is 738/49 > r?
True
Let d(q) = -10*q**3 + 5*q**2 - q + 150. Let h be d(8). Are h and -4657 unequal?
True
Let v(b) = b**3 - 17*b**2 + 58*b - 77. Let y be v(13). Is y at least as big as -4/7077?
True
Let y = 227 - 225. Suppose 5*u = 4*l + 4, -3*u - y = -l + 3*l. Which is greater: -7 or l?
l
Suppose 5*x = -27 + 132. Suppose 12 = -18*z + x*z. Suppose 4*p = 5*p + z*p. Which is greater: -1/16 or p?
p
Let g be (-53 - -52) + (-1 - (-2062)/(-5)). Let d = 414 + g. Suppose 3*o + 18 = 3*w, w - 3*o - 32 = -4*w. Is d greater than w?
False
Let o = 288 + -283. Let b(d) = -21*d - 2. Let j be b(6). Let t be ((-7)/98)/(2/j). Which is bigger: o or t?
o
Let r(i) = 8*i**3 + 193*i**2 + 25*i + 23. Let f be r(-24). Let n = -123901/265 - -2337/5. Is f >= n?
False
Let z be (-71)/((-497)/(-434)) + 9/1. Let n be (-1 - -2)/((-1)/53). Is z less than n?
False
Let k be (-7 - -2)*24/(-45). Let d be (56/35)/(-4) - 119/(-35). Which is smaller: d or k?
k
Let y = 13/1575 + -49649/5824350. Is y bigger than 0?
False
Suppose 3*d = 2*v - 7, 6*v - d = 2*v + 19. Suppose 4*z - v*z = -4. Suppose 7*g = z*g - 12. Which is smaller: -3 or g?
g
Let v = -5106 + 4821. Which is smaller: v or 2?
v
Let f be (-4)/(-10)*(-165)/(-9). Let o(x) = 1 - 2 + 0 + 6*x**2 + x**3 + 4*x. Let n be o(-2). Do f and n have the same value?
False
Let b be 595 + -589 - (1 + 14/3). Is 0.33 at most as big as b?
True
Let h = -0.1 - -0.03. Let w be (1/(-2))/((-16)/320). Let j = -11 + w. Is j at most h?
True
Let d(a) = -15*a**3 + 49*a**2 - 33*a + 69. Let x(j) = 7*j**3 - 24*j**2 + 17*j - 34. Let q(u) = 6*d(u) + 13*x(u). Let p be q(17). Which is greater: 147/2 or p?
p
Let a = 37661 - 37408. Does -3 = a?
False
Let h(y) = 322*y - 2832. Let i be h(33). Which is smaller: 7795 or i?
i
Let z = -4574 - -7698. Suppose 2 = -h + 6, 4*k - 3*h - z = 0. Is 1 smaller than k?
True
Suppose -69*n + 59*n - 20 = 0. Let d be 10/(-12) + (n/3)/(-2). Is 0.056 not equal to d?
True
Let q(c) = -c**2 + 3. Let o be q(2). Let b = 135 - 95. Let f = b + -40. Which is bigger: f or o?
f
Suppose 0 = g - t + 63, -4*g + 2*t - 119 - 135 = 0. Suppose 0 = -392*r + 371*r - 1365. Which is smaller: g or r?
r
Let x be (1701/(-294) - -15)/(3/(-8)). Is x >= -25?
True
Let t = 0.4625 - 62.4425. Let u = 4.02 - t. Which is smaller: 1 or u?
1
Let l be (-13 - -8)/(-10)*4. Which is bigger: 63/50 or l?
l
Let x be -6 + 2 + 5658343/(-497). Let d = x + 11389. Which is bigger: d or -1?
d
Suppose 24*q - 24 = 24. Let n be (590/75 - 3) + -3. Is n > q?
False
Suppose 4*d - 127 = -y, 4*y - 1 = 11. Let t be (-66)/88 + d/4. Is t != 10?
True
Let o(q) = 784*q - 253. Let p be o(3). Are -0.1 and p unequal?
True
Let b = -89 - -46. Let i be (3 + (8 - 18) - 41) + 3 + 3. Which is smaller: i or b?
b
Let v = -17.66 - -17.7. Which is greater: v or 0.052?
0.052
Let h(d) = d**3 + 15*d**2 + 51*d + 139. Let x be h(-16). Which is smaller: -934 or x?
-934
Let v be 26/3*3*((-4360)/(-16) - -1). Which is bigger: v or 7112?
7112
Let h = -0.41 - -0.51. Let v = -110 + 80. Let j = 3 + v. Which is greater: j or h?
h
Let o be (-150337022)/(-84) + 2/6. Let k = o + -1788698. Let m = k - 1028. Is 1 less than m?
False
Suppose -2*i + 16 = -4*r + 6, 11 = 4*r + 5*i. Let o be (-147)/(-1343) + (-3)/(22 + 29). Which is greater: r or o?
o
Let y = 250/3 + -84. Let k = -59/48 - y. Which is greater: k or -1?
k
Let t = -0.71 - 0.19. Let z = t - 0.1. Let r = z + -5. Which is bigger: -3 or r?
-3
Let z be (-949)/(-146) + (-14)/(-4) - 25. Suppose 2*t + 18 = 4*p, -2*t = -2*p + 4*p + 30. Which is bigger: z or t?
t
Suppose 30*b - 47*b = -1411. Suppose -b*j + 53*j = -120. Which is smaller: j or -12?
-12
Let w be 7 - -1 - (-3)/3. Suppose -15 = 4*m + w. Let k = 31983 - 31986. Which is smaller: k or m?
m
Let h(k) = -3*k + 11. Let z be h(7). Suppose 5*w - u - 7 = 2*w, 2 = 3*w - 2*u. Suppose -c - 7 = w. Are z and c equal?
False
Let w be 58/42 + -1 + 34/119. Is w smaller than 203/5?
True
Let j(n) = n + 9. Let h be j(0). Suppose -222*x + 214*x + 24 = 0. Suppose x*d - 16 = 4*y - 2*y, -15 = -5*d + y. Which is smaller: d or h?
d
Suppose 4*z = 3*c + 194, z - 46*c - 56 = -49*c. Let d be (-4 - z/15)*-12. Is d equal to 88?
True
Let t = 306.85 - 306. Let a = -0.65 + t. Which is greater: 0.67 or a?
0.67
Let c be ((-39)/(-6))/((-7)/(0 + 14)). Let j(s) = s**2 + 14*s - 50. Let r be j(c). Is 0 bigger than r?
True
Suppose -9 = -2*m - 1. Let h(r) = -2*r**2 - 2*r + 1. Let u be h(1). Let n be (m/(12*-2))/(13/u). Is 0 < n?
True
Let s be 1 + (0 - -3) - 0. Let k(y) = -y**3 + 4*y**2 + 5*y - 17. Let q be k(s). Suppose -g + 64 = 5*h, 5*h - 12 = 3*h + q*g. Is 12 smaller than h?
False
Let w = -87 - -61. Let a = 38 + w. Let v be ((-12)/(-48))/((-1 - -4)/a). Which is smaller: 3/16 or v?
3/16
Suppose 11*v - 8*v - 15 = 0. Suppose 0 = 3*g + v*g - 40. Let m(h) = h**2 - 5*h + 2. Let r be m(g). Are 5/3 and r unequal?
True
Let f(r) = 180*r + 871. Let u be f(-5). Let o = -4 + -16. Which is smaller: o or u?
u
Let u = -502.01444 + 0.01444. Which is bigger: u or 0?
0
Suppose 118 = 4*a + 3*v, 4*v = 5*a - 3*a - 48. Let u be 55/a - 120/96. Let c be (2/4)/(2/4). Is u less than or equal to c?
True
Suppose -k - 26 + 15 = -2*l, -k = -4*l + 21. Suppose -11*b + 13*b + 4*d - 100 = 0, -2*d + 234 = l*b. Which is bigger: 45 or b?
b
Let n = 192 + -83. Let c be 20/(-90) - n/(-45). Suppose 8*m = 13*m - 15. Is m greater than c?
True
Let y = -9 - -7. Let o be (-3 + 4)/(y/(-8)). Let b = 12/107 - -1129/428. Which is bigger: o or b?
o
Let g be (-4)/(1 - 0)*(51 - -32). Let i = -622 - g. Is -291 greater than i?
False
Let k = 43 + 348. Let u = -166 + k. Let z be (-4)/20 - (-145)/u. Is -1 greater than z?
False
Let h be -7*1 + (-199958)/(-7381). Is -1 at most h?
True
Let r = 10171.974 - 10116. Let u = r + 0.026. Which is smaller: -0.1 or u?
-0.1
Let u = -2344 - -5907. Is u less than 3562?
False
Let i be 3/(-39) - (-324666)/(-1638). Which is smaller: -199 or i?
-199
Let c(g) = -46*g - 7. Let a be c(-7). Suppose 2*w + x = 630, 6*w - 5*x - 932 = 3*w. Which is smaller: w or a?
w
Let r = 92 + -112. Let m = 24 + r. Suppose -x + 2*s - 1 + 5 = 0, 5*s = 0. Is x not equal to m?
False
Suppose -3*n = 4*n - 4263. Suppose 0 = q - 3, n = 4*o - o - 3*q. Is o greater than or equal to 207?
False
Let m be 1/5 - (-516)/(-430). Which is greater: m or -9/571?
-9/571
Let c = -3.98099 + -0.11901. Is c at most -24?
False
Let t = 8021 + -8021. Let u be (-24)/186*(7 + 0). Are t and u nonequal?
True
Let i = -2.98136 + -0.01864. Is i < -68.06?
False
Let f = 4378 + -4377.3. Is -18/7 equal to f?
False
Let z(o) = o**2 - 24*o + 43. Let x be 4/34 + 420/(-102). Let q be x - (-3)/(12/100). Let w be z(q). Is -19 at least w?
True
Suppose 237*l + 5*j + 40 = 238*l, -j - 344 = -5*l. Is l less than 928/13?
True
Suppose -612*b = -629*b. Is -2/113813 smaller than b?
True
Let p be 0/(-2) + (-20)/26. Let w be ((-1784)/1794 - -1)*(-2864)/20. Let d = w - p. Which is bigger: 0 or d?
0
Let y(c) = -c**2 + 6*c - 3. Let g be y(5). Suppose 0 = -490*a + 489*a + r - 5, 7*a = -5*r - 59. Which is greater: a or g?
g
Let i(z) = z**2 - 23*z - 51. Let y be i(-2). Let j = -123 - -57. Is y not equal to j?
True
Let j = -30587.8 - -30586. Is j > -27/19?
False
Suppose -v + 16015 + 5132 = 2*w, -4*w = 4*v - 42304. Is w smaller than 10570?
False
Suppose -n + 4*c = -c - 263, -2*c = 4*n - 964. Let f be (-3)/2 - n/(-6). Are 115/3 and f equal?
False
Let t = 112768 - 16351358/145. Let s = -2 - -2. Let f = s + 1. Which is greater: t or f?
f
Let h = 3 + -21. Let q(r) = -3*r**2 - 7*r + 11. Let j be q(6). Let m = -693/5 - j. Which is greater: h or m?
m
Let s be (-3 + 4)*(-8)/(-1636)*-1. Let i(w) = w**2 - 10. Let c be i(-3). Are s and c equal?
False
Let m(k) = 38*k - 2861. Let x be m(75). Is 60 < x?
False
Let y(h) be the first derivative of -h**4/4 - 2*h**3 - 2