Let r be x(-7). Is r greater than 731?
True
Let v(w) = -w**2 + 2*w + 1. Suppose -y + 4*y = 0. Suppose y = b + 3*b + 5*j - 18, b + 8 = 5*j. Let o be v(b). Is 5 bigger than o?
True
Let g be (2 + -2)/(-3) + 14 + -15. Let s = 74 - 77.3. Let o = -1.3 - s. Which is bigger: g or o?
o
Let u(l) = -l**2 - 620*l - 1. Let g be u(0). Is g < 10/2767?
True
Let d be 3 - 0 - (270/272 - -2). Suppose 428*k - 431*k - 9 = 3*m, 0 = -4*m - 3*k - 10. Is d > m?
True
Let r = -5983.3 + 5980. Is r <= -10/3?
False
Suppose 1862 + 1560 = 173*y - 202*y. Is -143 less than or equal to y?
True
Let l be (-420)/70 - (-30 - 0). Suppose 93 = l*k - 99. Suppose -3*i + 2*g - 11 = 0, -i - 1 = g + g. Which is greater: i or k?
k
Suppose 11500 - 571 + 2591 = -80*z. Suppose -3*v = 5*b - v + 849, 0 = -3*b + 5*v - 497. Is b at most as big as z?
True
Let x be (20/(-14))/(12/(-84)). Suppose 133 = 8*p + 29. Which is smaller: p or x?
x
Let c = -1629.948 - -1.948. Which is bigger: c or -5?
-5
Let a be ((-260)/186)/(20/18 - 56/56). Is -14 bigger than a?
False
Let f be -3*6*12*(-6)/48. Suppose 27 = o + h, -4*h + 127 = 5*o - 3*h. Which is greater: o or f?
f
Let m be ((-6)/(-16))/((-1)/86). Let c be -34 - ((-30)/2 - (264 + -278)). Is m smaller than c?
False
Suppose -70 = -3*x - 2*x. Let b = 24 - x. Let i = 72 + -61. Is i equal to b?
False
Let t be (-20210)/394611*569/4. Let r = t - -277/38. Which is smaller: r or 1?
r
Suppose 188*p + 14472 = 54*p. Let f be (-557)/5 - (0 - 3). Let r = f - p. Which is greater: r or -4?
r
Suppose 4*g = 2*k - 44, 3*k - 5*k - 4*g = -52. Let x(l) = -l**2 + 21*l + 48. Let i be x(k). Let r be ((-2)/18)/((-8)/i). Is 0.079 equal to r?
False
Let f be (-567)/(-84)*(-1)/((-5)/(-20)). Is -28 greater than f?
False
Suppose 0 = 60*a - 48*a. Suppose a = 3*q + 8*q + 66. Is q less than or equal to -2/17?
True
Let w = 93060 + -93008. Let q(l) = 2*l**2 - l + 7. Let t be q(5). Are w and t non-equal?
False
Suppose -5*v = 0, -j = -3*j - 4*v + 358. Suppose -102 = 2*c - 3*i, -5*c - 5*i - j = 76. Let h be (-126)/c - (-6)/(-3). Is h at least as big as 1?
False
Let j(v) = 16*v - 179. Let t be j(11). Are t and -4/9 non-equal?
True
Suppose -145 = -5*c - u - 3, -2*u - 122 = -4*c. Let b be 3 + (-9)/45 + (-298)/110. Which is greater: c or b?
c
Let b(z) = 30*z**2 - 8*z + 17. Suppose 0 = -4*c + 4*y - 4, 7*c - 3*c + 2*y - 14 = 0. Let i be b(c). Is 119 > i?
False
Let m be (-110)/(6*3/18). Let c = 1302 - 1415. Is m at most c?
False
Let t = -1268.529 - -1257.1. Is 1/2 at least as big as t?
True
Let i(n) be the second derivative of 0 + 3*n**2 + 21*n + 1/6*n**3. Let r be i(-8). Which is bigger: r or 5?
5
Let v(t) = 8*t**2 + 73*t - 1134. Let h be v(14). Which is smaller: h or 1452?
1452
Let f = 2752/51 + 317785/102. Is -1 <= f?
True
Suppose -26 = -o + 2*o. Let p be -205 + -2 + 4 + -7. Let v = p - -184. Do o and v have the same value?
True
Let l be (6 - 370/60)*0. Which is greater: 8/751 or l?
8/751
Let p = -2896/7 + 414. Is 14/153 < p?
True
Suppose -61*i = -56*i + 5*t + 1635, -t + 648 = -2*i. Which is smaller: -320 or i?
i
Suppose 8*j - 4*j + 2 = w, 5*w + 13 = -3*j. Is 11/2599 at least as big as j?
True
Let t = 937.87 + -933. Let j = t - 4.67. Is j less than 45/8?
True
Let z = 114 + -109. Suppose 0*x + 91 = -z*x - 3*j, 0 = 2*x - 3*j + 28. Which is bigger: x or -86/5?
x
Let y = -921/2 + 1841/4. Is -31.3 != y?
True
Let m = 3009463/174510 + -776/45. Which is smaller: -1 or m?
-1
Let a = -263/222 + 63/74. Let h = 1 + -3. Let u = h + 2. Is a at least u?
False
Let t be (6006/(-40))/(-3) + (-258)/172. Let u = 242/5 - t. Is -1 < u?
True
Suppose 2*f + f = 9. Let y be (-2)/((-8)/(-4) - f). Let z be 560/136 + 4/(-34). Which is smaller: y or z?
y
Suppose 4*b - 18 = -2*z, 75*z = -5*b + 72*z + 26. Let y be 2*((-5)/3515)/(4/(-6)). Which is smaller: b or y?
y
Let i be (28665/50)/63*-17. Is -156 > i?
False
Let c be (10/8)/(228015/648). Which is smaller: c or -71?
-71
Let d = 0.091 + -1.491. Let q = -768 - -767.96. Is d greater than or equal to q?
False
Suppose -5*v - 2 = 18. Let b(s) = -15*s - 8. Let u(t) = 7*t + 4. Let x(p) = 6*b(p) + 13*u(p). Let j be x(v). Is j greater than or equal to -7?
True
Let l = -71.01 - -70.914. Is -7 equal to l?
False
Let h = -0.0154 - -0.0154. Let q be (-119)/(-14)*(0 - (0 + 10)). Which is bigger: h or q?
h
Suppose -23*h = -11*h - 8700. Is 2171/3 equal to h?
False
Let b = 142 - 134. Let h be (16/(-15))/b*(11 - 6). Let t = -17.93 + 18. Which is greater: h or t?
t
Let d = 455.5476 - 0.5476. Which is bigger: 3 or d?
d
Suppose 0 = 22*c + 25986 - 7638. Is -4174/5 at least c?
False
Let j be -4 + 1442928/276*(0 - (-3)/(-4)). Which is bigger: j or -3924?
-3924
Let n(z) = 11*z**2 + 379*z - 256. Let m be n(-39). Which is greater: m or 1689?
m
Suppose -q + 1 = -v, -5*q = -31*v + 34*v - 5. Which is smaller: -733 or q?
-733
Let v(d) = d**2 + 6*d - 4. Let q be v(-6). Let c(j) be the first derivative of j**3/3 + j**2 - 9*j - 3. Let s be c(q). Is s less than 2/25?
True
Let g be (-664)/(-498) + 0 + (-1)/1. Which is smaller: g or -0.9862?
-0.9862
Let m be (-3565)/102 + 86/731. Let f = m + 601/18. Which is greater: -1 or f?
-1
Let r = -4.322 + 4.49. Let q = r + 1.832. Which is greater: 19/6 or q?
19/6
Let d = -343.6 + 414. Let a = d + -78. Let b = a - -7.5. Which is smaller: -8/13 or b?
-8/13
Let a = -976 - -460. Let k = 517 + a. Is -26 at least as big as k?
False
Suppose -23350 = 101*b - 49427 - 25433. Let y = -1160 + 1669. Is y bigger than b?
False
Suppose 3 = -s + 5. Let f be (-3)/(2 - s/4). Let y = 1.0225 - 0.9325. Which is smaller: f or y?
f
Suppose 4*p = 8*p + 5*a - 8, -2*a - 4 = -2*p. Let b be 18/(-2298)*p/3. Which is smaller: b or 1?
b
Let p = 438 - 432. Let v(t) be the third derivative of -t**4/4 + 11*t**3/3 - t**2. Let o be v(p). Is -13 bigger than o?
True
Let y = -70/23 + 4993/1633. Let x = -87 + 88. Is y > x?
False
Let r be (-60)/140 - -57*(-1)/(-84). Which is smaller: r or -1064?
-1064
Let l = 0.1408 - 776.1408. Let q = 773 + l. Is q at least as big as 69?
False
Let f be -20*((-57)/(-12) - 1). Let x(l) = -12*l - 136. Let a be x(-12). Suppose a*d - 188 = 2*k, 101 = -2*k - 5*d - 22. Which is bigger: f or k?
k
Suppose -8*z - 183 = 1321. Let l = -190 - z. Which is bigger: 7.2 or l?
7.2
Let u = -188423889/72290 - -2/36145. Which is smaller: u or -2607?
-2607
Suppose -2*m - 3*m = 20. Let v be 82/12 + m/(-6). Let a be (-2)/(-14) + (-62)/(-7). Is v less than a?
True
Let d be (-3)/(-6) - (-3)/(-6). Suppose 3*p = 5*z - 58, 3*p = -3*z - d*z - 42. Let a be ((75/p)/5)/((-27)/12). Is a < 0?
False
Let m = 2393553/82 + -29189. Which is bigger: 2 or m?
2
Let w(p) = -6*p**3 - 4*p**2 - p + 3. Let a(x) = 8*x**3 + 4*x**2 + x - 4. Let r(h) = 4*a(h) + 6*w(h). Let z be r(-2). Is z greater than 5?
True
Let v(b) = 17*b - 766. Let z be v(36). Is -164 greater than z?
False
Let b be (-78 - 1)/(1/(-247)*-19). Which is greater: b or -3079/3?
-3079/3
Let l = 95 + -45. Let g = l - 52. Which is bigger: g or 51?
51
Suppose -30*j + 14*j = 3392. Let n = j + 217. Is -5 at most n?
True
Let g = 129 - 103.1. Let u = -25.9 + g. Do u and -2.3 have different values?
True
Suppose -k + 16 = -5. Let r = 28 - k. Is 11/2 <= r?
True
Let s = -46438 + 46500.049. Let w = s - 62. Do w and 0 have different values?
True
Let h be (-2)/(-9) - (-10938)/108. Let t(x) = 13*x - 166. Let w be t(5). Let u = w + h. Does u = 117?
False
Let q = 3259 - 3257. Let k = 50.5 - 26.2. Let r = k - 0.3. Does r = q?
False
Let f be (8/(-2))/(18/(-4)). Let m = 31.6 + 155.4. Let w = m - 186.9. Is w less than or equal to f?
True
Let x(f) = 21*f + 55. Suppose -3*h = -14 - 76. Suppose h = -n + 23. Let y be x(n). Which is bigger: -91 or y?
-91
Let f(d) = 10*d + 519 - 267 - 286. Let g be f(0). Is g < -32?
True
Let a = -12587 - -12587. Which is bigger: a or -29/115?
a
Let s(m) = 11*m**2 + 49*m + 49. Let b be s(-25). Are 5698 and b non-equal?
True
Suppose 5*x - 2*x + 6 = 0. Let h = -6703.12 - -6703. Are x and h non-equal?
True
Let c(i) = 4*i + 48. Let d be c(-11). Let q be (-2)/((d/276)/((-2)/6)). Which is smaller: q or 45?
45
Let l = 0.04556 + 227.85444. Let z = l - 228. Which is greater: z or 0.0364?
0.0364
Let g = -0.01 + 3.11. Let k = -22.9 - g. Let r = k - -35. Which is smaller: r or -1/10?
-1/10
Suppose 19 = -4*d + 99. Suppose 0 = -n + 60 + d. Suppose 5*y - 395 = 2*x, 0 = 4*y -