ich is bigger: 9 or h?
9
Let k = -7500 - -6605. Is -2/11 smaller than k?
False
Let v be 4/12 - (-11000)/165. Which is bigger: -25 or v?
v
Suppose 0 = -5*u + 47*n - 43*n - 28, 3*u - 5*n + 35 = 0. Which is smaller: 10987/2 or u?
u
Suppose 5*c - c = 12. Let h be -2 + 1 + 0 - c. Let p(l) = l**2 - 48*l - 1106. Let x be p(-17). Is x less than h?
False
Let o be 2*(-4)/(-2 + 10). Let y be (o - -2) + (77/49)/1. Which is smaller: 4 or y?
y
Let q(d) = -2*d. Let s be q(-5). Suppose -199*j = -272*j. Let i be s/(-45) + ((-5)/(-9) - j). Is i at least as big as 63?
False
Let x be -2 + 2 - -1*20/168. Let u = -3/14 - x. Let f = -0.06 + -0.04. Do u and f have the same value?
False
Let i(t) be the third derivative of t**5/30 - 3*t**4/4 - 17*t**3/6 - 81*t**2. Let y be i(10). Which is bigger: y or 60/17?
60/17
Suppose 5*b + 7*a - 8 = 4*a, a = 3*b - 2. Which is smaller: 1/14 or b?
1/14
Let l(t) = -t**3 + 10*t**2 + 13*t + 69. Let m be l(13). Is m at least -265?
False
Let y(o) = -o**2 - 11*o - 27. Let u be y(-5). Let b be (-2 + u)/((-33)/(-21)). Is 2 less than b?
False
Let x = -3 + -6. Let r = 7992 - 72011/9. Let q = x - r. Which is bigger: q or 43?
43
Let v = -1211261/489 - -2477. Which is bigger: 1 or v?
1
Let a(x) = -544*x - 738. Let q be a(-2). Which is smaller: 353 or q?
q
Let z = 130 - 125. Suppose -z*r = -i + 23 + 20, -2*r + 8 = 0. Is 64 at most i?
False
Let l be (6/(-4164))/(2/3208). Let i = 3968832/1735 + l. Let o = 2294 - i. Is o at least 9?
False
Let g be 1/3 - (-170)/(-6). Let x(p) = -2*p**3 + 19*p**2 - 10*p - 17. Let v be 14/49*252/8. Let d be x(v). Is g < d?
True
Suppose -22 = f - 24. Suppose -f*c + 3*c = -2*y + 1, 0 = 3*y - 5*c - 8. Which is smaller: y or -1/182?
-1/182
Let q(n) = -n**3 - n**2 + 7*n - 7. Let o be q(-7). Suppose 36*l = 183*l - 10*l - 32606. Do l and o have the same value?
True
Let u be (-12)/66 + 4519/(-11). Suppose 0 = -4*a - 1017 - 631. Is a at least u?
False
Suppose 4*p - 2*p - 4 = 0. Let u(w) = 2 + 4 - 71*w**p + 70*w**2 - 4. Let i be u(2). Is i != -1?
True
Suppose -3*m + 3880 = -h, -5*m - 121*h + 6464 = -120*h. Is 1295 > m?
True
Suppose 0 = -w - 81 + 73. Let g be (w/(-28))/(1/7) - -87. Let q = g - 1961/22. Which is bigger: 1 or q?
1
Let o = 11.38 + -1.28. Let s = o - 6.8. Let l = s - 3.1. Which is smaller: l or -3?
-3
Let o = 9.376 - 8.376. Is o != -1048?
True
Suppose -2*l - 15*l = -17. Let q be ((-18)/30)/(3/30). Is q less than l?
True
Suppose 460 = -2*z - 2*h, 2*h - 3 = 5. Let c = 937/4 + z. Is c greater than 268?
False
Let x = 43884365/3256 - 13478. Let t = x - -353279/3256. Which is greater: t or 110?
110
Suppose -25*a + 10*a = 0. Let h be (6/136)/(4/8). Which is bigger: h or a?
h
Let s = 1822 - 1809.404. Let i = s + -12.3. Which is smaller: 0 or i?
0
Suppose 0 = -84*q + 242*q - 30968. Which is bigger: q or 197?
197
Let a be (-19507)/299 + 7 + (-4)/(-46). Is -57 bigger than a?
True
Let t = -313/6 - -63. Suppose -4*y - 46 = -4*w - 3*y, 16 = 2*w - 4*y. Is t less than or equal to w?
True
Let g be (-1)/((-4)/233) - -3. Let v = -1071 + g. Let c = v - -1001. Which is smaller: -10 or c?
-10
Let j(o) = o**2 + o - 46. Let k be j(-7). Let x be 2/12 + k + 65/26. Is x at most as big as 4?
True
Suppose -g + 6 = g. Suppose g*j - 3 = 6*j. Let x(y) = -y**3 + y. Let i be x(j). Which is smaller: 4/5 or i?
i
Let r = 9415 - 9416.3. Which is smaller: r or -112?
-112
Let v = -1 - -1. Let a be -64 + 4 + (1 - v). Which is greater: -58 or a?
-58
Let d be -4 - 18/2 - (-9)/(-3). Let x be (-1)/((-1)/d*-4). Which is smaller: x or -4?
-4
Let z = 275 - 400. Let o = z + 181. Suppose -2*l = -2*m - 3*m + 57, 0 = 4*m + l - o. Do m and 13 have different values?
False
Let m = 561.464 - 0.464. Let l = m + -547. Which is smaller: l or -3/14?
-3/14
Let l(k) = k**2 - 14*k + 1. Suppose -4*s - 14 = -5*s. Let q be l(s). Let o be 2/q*(-7)/28*2. Is 3 bigger than o?
True
Let g(h) = -21*h**2 + 7*h - 9. Let c be g(1). Let u be c/30 + 2*(-1)/12. Is u < -2?
False
Let l be 0 + (-6)/(-36) + (-14391)/(-918). Which is smaller: 15 or l?
15
Let f be (870/(-725))/((-7)/(-2795)). Which is smaller: f or -479?
f
Let d(h) be the third derivative of h**5/40 - 5*h**4/12 + h**3/2 - 10*h**2. Let b(j) be the first derivative of d(j). Let a be b(3). Which is smaller: a or -2?
-2
Suppose i + 4 = 0, l + 38*i = 37*i + 1046. Which is greater: l or 1053?
1053
Let x be 36/(-600)*(-36)/(-27). Which is bigger: x or 1?
1
Let j(g) = -g**3 - 9*g**2 + 10*g + 3. Suppose p - 5*h = 22, -p = -0*p + h - 10. Let k be 2/p + 122/(-12). Let f be j(k). Which is greater: 5 or f?
5
Let q = 29 + -27. Suppose -y + 2*y = q. Let g be -2 + 2 + (y - 1). Which is smaller: g or 1/80?
1/80
Let g = -24180 - -48361/2. Is 2168 >= g?
True
Suppose -61*s = 82*s + 183 - 40. Is s >= -4/4191?
False
Let y = 12.3 + -3.1. Let b = 90 - 99.1. Let f = b + y. Do -2/19 and f have different values?
True
Suppose -5*h - 31 = -3*c, 10*h + 10 = 8*h. Let k = 1.6 - 1.74. Do c and k have the same value?
False
Let w = -4.07 + 2.87. Let a = 33.8 - w. Let u be 2 + 1 + -2 - 2. Is a at most u?
False
Let q = -550730/19 - -28990. Let g be 1*-6*2/(-4). Which is greater: g or q?
q
Let t = -971.292 + 976. Let c = t - -0.292. Is c at least as big as -0.4?
True
Let v = 783 - 783.321. Let c = 0.679 - v. Let q be (-8 + -1)/((-9)/42). Which is smaller: c or q?
c
Suppose 3*z + 0*z + 69 = 0. Let w be (12/72*-4)/(2/81). Which is greater: w or z?
z
Let r = -15.9 - -12.9. Let b = -0.66 + 3.76. Let n = 17.1 - b. Is n less than or equal to r?
False
Let n = -7113 - -7129. Let g = 20 - 6. Suppose 2*q = n - g. Which is smaller: q or -1/14?
-1/14
Suppose 195 - 43 = -2*u. Let j = 35 + 39. Let x be 5/5*-3 - j. Which is smaller: x or u?
x
Suppose -493 = -3*t - 5*a, -2*t = 5*a - 174 - 163. Suppose -7296 + 9982 = 17*l. Which is greater: l or t?
l
Let n = -10.6 - -10.8. Let k = n - 0.1. Let f(r) = -r**2 - 6*r - 2. Let g be f(-8). Which is smaller: k or g?
g
Let f = 1852 - 55579/30. Let z = f + -7/10. Let v(q) = q**2 + 2*q - 24. Let r be v(4). Which is smaller: z or r?
z
Let s(j) = -6*j. Let k be 0/(-1 + (-5 - -8)). Let b be s(k). Which is greater: b or 3/4?
3/4
Let n be (-4 - (-16 + 3)) + -4. Suppose 6*z + 40 = z + 5*m, -2*z - 30 = n*m. Let u be ((-18)/21)/(z/((-5)/(-1))). Which is greater: u or -0.2?
u
Let l = -8393 + 8393.2332. Is l <= -2?
False
Let m = -81191 - -7550834/93. Let g be -3 + (-239)/(-93) + (-6)/(-18). Let c = g + m. Are 6/11 and c equal?
False
Let s = 991 - 995. Let g(a) = 17*a + 201. Let b be g(s). Which is bigger: 135 or b?
135
Let o = 8/15 + 2/15. Let j = -9.9 + 8.41. Let z = 1.39 + j. Which is bigger: o or z?
o
Let y be (2104127/3512)/(1/8). Is 4792 greater than or equal to y?
False
Let s = 90143/3 + -1239195815/41241. Which is smaller: 0 or s?
0
Let p(m) = -10*m**3 + m**2 - 1. Let d be p(1). Let x be 3 + (-34)/d*-1. Suppose 42 = -81*i - 39. Is x >= i?
True
Let z(b) = 2*b**3 - 78*b**2 - 10*b + 275. Let o be z(39). Which is smaller: o or -140?
-140
Let j be (214/(-9) - -1) + 6. Suppose -u = 4*y - 29, -3*y = -5*u - 5*y + 91. Let m = j + u. Which is smaller: 0 or m?
0
Let l = -102 + 113. Let j be (l/33)/((-20)/6). Which is greater: -10 or j?
j
Let l = 173.884 - 174. Let d = -0.324 + l. Is d < 2?
True
Suppose -19 + 46 = -3*k. Let r be 0 + (-1)/((-3)/k) + -1. Let g be 2/(-11) + (-114)/(-22) + r. Is 1/4 at most g?
True
Let v(s) = 8*s - 137. Suppose 56 = 3*t + a, 3*t + 3*a = 7*a + 76. Let c be v(t). Does c = 24?
False
Let n = -568 + 829. Let c = -456 + n. Is c < -197?
False
Suppose -7*k + 24*k + 39*k = 2408. Which is smaller: 673/16 or k?
673/16
Let r = -17028/25 - -681. Let t = r + -41/75. Which is smaller: t or 0.0324?
t
Let a(p) = 62*p**3 - 9*p**2 + 62*p**3 - 123*p**3 + 11*p - 4. Let l be a(8). Let i = l - 41/2. Is i at most 0.2?
True
Let w = 0.03329 + -42.02329. Let k = 42 + w. Suppose -3*g = -2*g - 1. Is k less than g?
True
Let h = -1397 + 12595/9. Let y = -14 + 8. Let s be (-5)/((-40)/y)*-4. Is h >= s?
False
Let u = 897 - 893.23. Let x = u + -3.7. Is -5 at least x?
False
Let o = -2.6057 - -76.6057. Let h(d) = d**2 + 3*d - 4. Let r be h(-4). Which is bigger: r or o?
o
Let i = -70427/10 - -739031/130. Is -1359 smaller than i?
True
Let n be -2*(-2)/(0 - -8)*(-4)/9. Is 590 greater than n?
True
Let a(p) = 2*p**3 - p**2 - 9*p. Let g be a(-2). Let o be 4/g + 200/475. 