x) = x**3 + 11*x**2 + 8*x - 8. Let u be r(-9). Let q = u - 119. Is -41 at most q?
True
Suppose 966 = 17*f - 23*f. Let s = f - -181. Which is greater: 24 or s?
24
Let s = -71 - -71. Suppose -v + 135 + 192 = 2*n, -3*v - n + 976 = s. Is v <= 324?
False
Let v(y) = 14*y - 21. Let p = -370 - -371. Let l be v(p). Is -3 smaller than l?
False
Let i(g) = -g**3 - 49*g**2 - 50*g - 90. Let x be i(-48). Let z be 4237/(-266) - 3/x. Which is bigger: z or -16?
-16
Let o be -1 + 0/((-5)/(-5 + 0)). Let c be ((-2)/2)/(o*(1 + 0)). Let g = -230 + 6667/29. Is c less than g?
False
Let x = 2013 + -2000. Which is smaller: 205/17 or x?
205/17
Let x(c) = -c**3 + 70*c**2 + 138*c + 433. Let o be x(72). Which is smaller: o or -3/7391?
-3/7391
Let x = -3/799 + 1613/3995. Is 70 bigger than x?
True
Let l = 0.2 - 0.4. Let s = -876.19 + 686.19. Which is smaller: s or l?
s
Let r = 69/119 - 5/17. Let q = 2463.58 - 2465. Do r and q have the same value?
False
Suppose 275 = -16925*i + 16900*i. Which is smaller: 10.3 or i?
i
Let d = -216.01 + -35.99. Which is bigger: d or -9?
-9
Let m(u) = -372*u - 660. Let z be m(-5). Which is smaller: z or 1198?
1198
Let u = -5 + 1. Let v be (36/48)/((-2)/168). Let r = 58 + v. Are u and r equal?
False
Let g(d) = -330*d + 2616. Let k be g(8). Does -679/29 = k?
False
Suppose 0 = -3*a + 171 - 153. Let u(s) = 20*s - 94. Let d be u(a). Suppose b + b = g + 49, 3*b - 91 = -2*g. Which is greater: b or d?
b
Suppose -j - 3*j + 24 = 0, 2*d - 386 = j. Are 193 and d equal?
False
Let y be (4 + (-368)/96)*114. Which is bigger: 844/43 or y?
844/43
Let b(k) = -2*k**2 - 3*k + 1. Let x be b(-3). Let j be (-127912)/16260 + 4/(-3). Is x > j?
True
Let i = -330 + 336. Let m be i - (-9)/(1062/(-712)). Which is greater: m or 10?
10
Let y be (2/10)/((-3)/(-45)). Let i(s) = -s + 1. Let b be i(y). Let n = -965/44 + 83/4. Which is bigger: b or n?
n
Let s = 3.593 - -1.407. Is -2019 at most s?
True
Let f = -96 - -122. Let x = f - 26.2. Let w be (9 - 0)/(30/20). Which is bigger: w or x?
w
Let r(g) be the first derivative of g**4/4 + 10*g**3/3 + 3*g**2 - 12*g + 42. Let m be r(-10). Let l = 146 + -219. Which is smaller: l or m?
l
Suppose 137*q - 57*q = 537 + 1863. Suppose t = -3*x + 91, x + t + t - 22 = 0. Which is smaller: q or x?
q
Let l = 0.207 + 17.793. Let k = -6.6 - -24.9. Let h = k - l. Is -15 bigger than h?
False
Let a(q) = q**3 + q**2 + 1. Let o be a(0). Let y = 37 + -31. Suppose 0 = -2*t - 2 + y. Which is greater: o or t?
t
Let w = 343 - 343.067. Let u = w + -1.933. Is u equal to -1/152?
False
Let q = -25.6 + 19.6. Let h = -15 - -15.08. Which is bigger: q or h?
h
Let q = -5253 + 5130. Which is smaller: -102 or q?
q
Let v = -5/7569 - 8623/9862407. Which is bigger: v or 0?
0
Let v(i) = -i**3 - 10*i**2 + 5*i - 20. Suppose -30 + 85 = -5*y. Let h be v(y). Is h != 45?
True
Let t be 9/(6/2)*(4 - 2). Let x be (-56)/((-4)/t - (-3)/(-9)). Let z = -55 + x. Is 9/23 at least z?
False
Let m = 2194.69 - 2208. Let j = m - 1.69. Do -1 and j have different values?
True
Let a be (-8)/(-60)*(7 - 22). Which is bigger: a or -29/20?
-29/20
Let l(f) = f**3 + 28*f**2 + 91*f - 1110. Let x be l(-19). Suppose 3*v - 2*v = -5*k + 434, -3*v = 4*k - 1247. Which is smaller: x or v?
v
Let s = 13 - 8. Suppose -2*h = -s*p - 29 + 11, -5*h + 5*p = -15. Which is bigger: 1/9 or h?
1/9
Let t = -2702 + 2684. Let b(f) = 3*f**3 + 17*f**2 - 17*f + 25. Let q(p) = -p**3 - 1. Let u(l) = b(l) + 2*q(l). Let i be u(t). Which is greater: 6 or i?
6
Let a = -80921/100436 - -379/476. Suppose h + 5 = -4*h. Which is smaller: h or a?
h
Suppose 0 = 58*l + 12173 + 13057. Is -433 equal to l?
False
Let h be (-17)/((-204)/8)*-30. Let s(r) = -2*r**2 - 26*r - 103. Let m be s(h). Is -384 smaller than m?
True
Suppose -47 = -3*o + 4*n, 3*o + o = -4*n + 72. Suppose 5*g + 41 = -4*j, 2*g = -2*j + 3*g - o. Let m be (3*(-2)/j)/(-2). Is m at most -9?
False
Suppose 10479 = -102*d - 17163. Which is smaller: -268 or d?
d
Let j be 3/2*5/30. Which is greater: -1708/9 or j?
j
Let f(t) = t + 16. Let z be f(0). Let h(x) = -111*x + 5017. Let g be h(45). Is g < z?
False
Suppose 0 = 18*k + 59 + 25 - 48. Is -25.6 less than k?
True
Let c = -261 - 329. Let n = 539 + c. Is n not equal to -11?
True
Let i be 14982/(-42) - (16/28)/2. Let c = -391 - i. Which is greater: c or -36?
c
Let m = -9584.9414 + 9585. Do 0 and m have different values?
True
Let r(m) = -2*m**2 - 91*m - 278. Let b be r(-3). Let a(d) = -3*d**2 + d. Let w be a(-1). Let k be w*((-23)/4)/(-1). Is k bigger than b?
False
Suppose -5*m + 12 = n, -2*n - 3 = 3. Which is bigger: m or 91/48?
m
Let z = -15245638321527524/1595 - -9558396776982. Let a = z - 2844990. Let r = a - -6/55. Is 3 > r?
True
Suppose -319 = -3*a - n + 268, 796 = 4*a + 4*n. Is 1355/7 greater than a?
False
Let k = 65 + 3. Suppose -50*v + k*v = 36. Are v and -4 equal?
False
Let u(k) = 268*k - 22. Let q be u(-1). Let t be q/(-15)*9/6. Which is smaller: 5 or t?
5
Let s = -52775.28 - -51304. Let j = s - -1501. Let b = -0.28 - j. Which is smaller: 0 or b?
b
Suppose -132*d + 8337 = -111*d. Which is smaller: d or 398?
d
Suppose -4*u = 7 - 15, -2*a + 2*u = 5114. Which is greater: a or -2554?
-2554
Let b = -1062 + 656. Let z = b - -1240/3. Which is greater: -4 or z?
z
Let u be (6/(-105))/(310/125 - -6). Let c = 4254/1855 - u. Is c greater than 3?
False
Suppose 0 = 2*p - 2*u + 24750, 3*u = -3*p - 22015 - 15056. Which is smaller: p or 0.2?
p
Let x = 2.97 - 0.97. Let r = 191/315 - 28/45. Is x smaller than r?
False
Suppose 35 = -148*s + 141*s. Let r be s - (1830/(-3555))/(8/78). Is r >= -1?
True
Let s(z) = -z**3 - 12*z**2 + 19*z + 19. Let w be s(-14). Are 1 and w equal?
False
Suppose 5*y - 192 = -142. Suppose -11*k + 10 = -y*k. Let s be (k/15 + -8)/(1/6). Which is greater: 1 or s?
1
Let f = 3.67 - 1.67. Let a = -4.01 + -1.99. Which is smaller: a or f?
a
Let x be 6/(-40)*188/(-47)*12. Which is greater: -8 or x?
x
Let q be 56*3/(-57) - -3. Let r be 12/18 - (-2)/((5 - 8) + 0). Is q less than or equal to r?
False
Let u = -130.6097 + 1.0797. Let h = 4.37 - u. Let o = 134 - h. Is 6 smaller than o?
False
Let p be 3*2/(-1 - -7). Let q(m) = -210*m**2 - 1891*m - 10. Let r be q(-9). Which is bigger: p or r?
p
Let u = 35192 - 35172.8. Which is bigger: u or 37?
37
Suppose -5*z + 20*w - 15*w = 40, -4*z + 13 = 5*w. Which is bigger: z or -178/103?
-178/103
Let d = 31 + -12. Let w be ((-155)/55 - -3) + (-64)/(-11). Let v be ((-13)/(-117))/(14/w - 2). Are v and d equal?
False
Suppose -5*a - 70 = k, -4*a + 3 = -1. Suppose -3*h - 3*n + 394 = n, h - 4*n = 142. Let s = h + k. Is s smaller than 59?
False
Suppose -a - 4 = -w, 4*w + a + 3*a + 24 = 0. Let v = 50549/259596 + -2/7211. Which is bigger: v or w?
v
Suppose 0 = -j + 4*x - 1159 + 1173, x - 2 = 0. Do 292/13 and j have the same value?
False
Let j = -0.443 + 0.053. Let t = -8062 - -8099.39. Let w = j + t. Which is smaller: w or 0?
0
Let l = -8035 - -7211. Is -818 less than or equal to l?
False
Let r = 21.22 + -22.22. Let l = -263.386 - -0.386. Do r and l have different values?
True
Let i = -0.24 - -0.14. Let w = 285 - 246. Which is smaller: i or w?
i
Suppose 383 = 2*w + 5*i, -4*i - 841 = -5*w + 67. Suppose -3*k - 2*x + 5*x = -561, 3*k + 4*x = 554. Are w and k non-equal?
True
Let f = -106959/2420 - 1/484. Let q = -869/20 - f. Which is greater: q or 1?
1
Let r = -164 - -163. Let g be ((-3)/297)/(((-25)/12)/(-5)). Which is bigger: g or r?
g
Let v = -261 - 80. Let p = -343 - v. Is 3.8 less than p?
False
Let s(f) = -f**3 - 27*f**2 - 14*f - 98. Let j be s(-27). Let u be j/(-84)*(-3)/(-19). Which is greater: u or -2?
u
Let m be (-1)/(-1) + 96/(-12) + 11. Is m <= 55/12?
True
Let p(q) = -q**2 - 7*q + 11. Let d be p(-8). Let f = 0 + 3. Suppose f*j = 3*u - 18, 0 = 3*j + 2*j + d*u + 30. Which is smaller: -26/5 or j?
j
Let f = -77311/3 - -25535. Is f less than or equal to -235?
True
Let l = -1092.9 - -1092.987. Which is greater: 2/25 or l?
l
Let w = 15.934 + -10.134. Which is smaller: 11/5 or w?
11/5
Suppose 82492 = -5*d - 4*a, 0*d = -3*d - 2*a - 49494. Let p be d/(-38080) - -1*(-1)/4. Let o = -2/119 - p. Which is greater: -0.06 or o?
-0.06
Let o = 3.0252 + -0.0462. Let m = o - -0.021. Let r = -0.2 - -0.4. Do r and m have the same value?
False
Suppose 0 = 5*v - 4*g + 95, 99 = -5*v + 2*g + 4. Let r(q) = 9*q - 10. Let s be r(v).