2584)/(-57)). Is 6 > r?
False
Let l be (-1*29)/((-1196)/(-10)). Let f be 10/(-65)*(-14)/35*-5. Let p = f - l. Which is smaller: p or 0?
p
Suppose -5*c + 2*c = -162. Suppose -7 = -979*r + 978*r, -5*r + 197 = 3*k. Is c smaller than k?
False
Let h = -25347/4 - -6336. Is 225 equal to h?
False
Let w(r) = 477*r - 139. Let c be w(2). Which is smaller: c or 7322/9?
7322/9
Let s = -122 + 88. Let x be (-4)/s + 32/(-272). Is -2/181 <= x?
True
Let g be 0 + (64 - -1) - (-2 - -3). Let s = g - 80. Which is smaller: -17 or s?
-17
Suppose 30*t + 98421 = -49749. Which is smaller: -4940 or t?
-4940
Let b be 1497/819*3 + 1. Let i = b - -3/182. Suppose 50*j = -15*j + 455. Which is bigger: i or j?
j
Let b = -305710/193 - -1584. Let x(q) = 23*q**2 + 2*q + 2. Let d be x(-1). Suppose 2*c + 2*u = -8, -d - 6 = -4*c + 5*u. Which is greater: c or b?
c
Let x be (3 + 1)*162/(-351). Which is greater: -1.5 or x?
-1.5
Let x be 1/18*(-4)/((-80)/(-15)). Let b(k) = -k + 3. Let v be b(0). Let y be (1 + -4 + v)/(-2). Is y less than x?
False
Let k(v) = -v**3 - 43*v**2 + 268*v + 156. Let m be k(-51). Are m and 1/5 nonequal?
True
Let z = -21440.5 + 21442. Let p be (10/18)/1 - 1. Is p < z?
True
Suppose 7753 + 313 = 37*k. Let r = 6105/28 - k. Which is bigger: r or 0?
r
Suppose 1519 = 167*g - 318. Suppose 12 + 12 = 3*i. Which is smaller: i or g?
i
Suppose -24*r - 56 = 5*m - 27*r, r = -2*m - 29. Which is bigger: -44 or m?
m
Let c = -484 + 483.45. Let v = c + 0.98. Which is greater: v or -1/3?
v
Let p = 17443 - 34887/2. Which is bigger: -1287 or p?
p
Let f = -10642 - -10512. Let b = 0.3 - 0.4. Which is smaller: f or b?
f
Let z(x) = -x**3 - 13*x**2 - 28*x + 10. Let o be z(-10). Are o and -79/8 nonequal?
True
Let m = 197 + -189. Let j be (m/14)/(180/84). Suppose -2 = -x - 3. Does x = j?
False
Let o(x) = -x**2 - 4*x + 37. Let j be o(-8). Suppose -b = -2*w - 2*b, 0 = w - j*b + 11. Let h = 14911/119 - 880/7. Which is smaller: h or w?
w
Let n = -23438/7 - -3340. Let f be (-4 + 2 + 72/20)/((-10)/50). Is n smaller than f?
True
Suppose 14*m = 39*m + 13*m - 12*m. Let a = -1.2 - -1.13. Let s = a - 1.43. Is s > m?
False
Let n be 129*(-2 - 14/(-6)). Let b(d) = 3*d**2 + 3*d - 47. Let s = -121 - -126. Let l be b(s). Is n <= l?
True
Let q = 21784 + -14125. Is 7659 < q?
False
Let i = -0.2 + 0.1. Let v(w) be the second derivative of w**5/20 - 7*w**4/6 - 5*w**3/2 + 37*w**2/2 - w - 3. Let l be v(15). Which is greater: i or l?
l
Let o = -4092 - -4222. Do o and 132 have the same value?
False
Let c(d) = -d - 4. Let i be c(-9). Let l = -0.4566 - 0.0574. Let b = l - -0.644. Are b and i unequal?
True
Let b = 164 + -531. Let m = b - -364. Is m at least -14.3?
True
Suppose -3*j + 5*v - 1 = 0, 0 = 4*j + v - 25 + 11. Suppose 3*c + 2*p + 7 = 0, j*c + 9*p = 12*p + 18. Let o = 414 + -13663/33. Is o at least c?
False
Let l = 26.71 + -26.79. Let p = 0.04 + -15.04. Is p at most as big as l?
True
Let h be 52/12 - (-4)/(-12). Let f(v) = 4*v**2 - 2*v + 10. Let g be f(h). Let r be (g/20)/3 - 36/(-90). Is -2/11 bigger than r?
False
Suppose 2*b + 4*z - 15 - 171 = 0, -3*b = 2*z - 295. Let m = 102 - b. Let j be (-36)/(-124)*2/3. Which is smaller: m or j?
j
Let z = -3816 - -1530214/401. Let v = z - -14462/5213. Is v at most as big as 4?
True
Let u = -70 - -70. Suppose -h = w - 109, u*w + 3*w = 3*h + 315. Is w greater than or equal to 108?
False
Let m be -1 + -2 + (-108)/(-64). Suppose -9 = 36*g + 63. Which is greater: g or m?
m
Suppose -16328 = -71*a + 2274. Which is smaller: 266 or a?
a
Suppose -4*g - 8130 = 5*d, -5*d = -1214*g + 1210*g + 8130. Do -1628 and d have the same value?
False
Let r = -0.2808 + -112.6192. Let w = 113 + r. Is 56 greater than or equal to w?
True
Let w be 2/((-10)/45)*1. Let c be ((-160)/15)/(-4)*w/6. Is 2/9 bigger than c?
True
Let g(x) = -x**3 - 35*x**2 - x - 86. Let l(j) = -j**2 + 3*j - 35. Let v be l(0). Let m be g(v). Is m at least -354/7?
False
Let v = 7930.2 + -8744. Let x = -814 - v. Is -16.9 greater than or equal to x?
False
Let j = -12126 - -11987. Which is smaller: -142 or j?
-142
Let s = 10100/69 - 356731/552. Is s bigger than -1/4?
False
Let y = -0.076 - 14.524. Suppose -5*a - 5*w = 15, 0 = 5*a + 10*w - 15*w - 15. Is y equal to a?
False
Let c = 175 - 168. Suppose -15*j = 2*o - 14*j, o - 3*j + c = 0. Is o smaller than 5/27?
True
Let w be (-1 - (-3 + 8)) + 55. Suppose w - 35 = 14*x. Which is bigger: x or 4?
4
Let n = -38 - -38. Let c be (-2 + n)*-1 + 4. Suppose -67 - 59 = c*r. Which is greater: -20 or r?
-20
Let u = 10 + -72. Let x = 763.4 - 701. Let t = u + x. Which is greater: t or -6?
t
Let g be ((-3)/(-5) + 81/(-1170)*16)/1. Which is smaller: -1 or g?
-1
Suppose -12*k - 4761 = 3207. Are -662 and k unequal?
True
Let w(l) = -l**2 + 6*l - 3. Let q be 7 + (-4 - -2 - 1). Let u be w(q). Let i = u - 4. Is i at most 2?
True
Let s = 33.018 - 33. Let x = 3372 + -3373. Which is bigger: s or x?
s
Let y be 2/((-85944)/1722453) - (-18)/(-24). Let t = -2/10743 + y. Let q = 41 + t. Does q = -0.3?
False
Let m be -18 - (5 + (-720837)/31343). Is -1 bigger than m?
False
Let d = -0.602 + 44.602. Which is smaller: d or -7?
-7
Let u = 291563/9633 - 575/19. Is u bigger than -1?
True
Let g be 5 + 1 - (-16)/(-4). Let f = -32 - g. Let s = 66 + f. Is s < 32?
False
Let x be 30/(-44) + (-24 - -24). Let b = x - 3/44. Let s = -1 - -1.1. Which is smaller: b or s?
b
Let p = 9.09 + -0.09. Let i = -3391 - -3401. Let j = i - p. Which is greater: j or 2?
2
Let d = 79 - 416. Let c = d + 336. Let b = 0.02 + 0.24. Is c less than b?
True
Let m = -38.8 + 40. Suppose 8*w = -2*i + 6*w + 74, -3*i + 121 = -2*w. Which is smaller: m or i?
m
Let y be 6/96*(48/(-8) + 48/69). Which is greater: y or 1?
1
Let w(s) = -10414*s + 3299. Let h be w(-1). Which is greater: 13714 or h?
13714
Let c(x) = 2*x**3 - 27*x**2 - 14*x. Suppose -4*f - 3*t + 14 = -45, 0 = -2*f - t + 29. Let h be c(f). Is -4/257 > h?
False
Let d = -10258 - -154258/15. Let k = d - 26. Is -28 less than k?
True
Let f = 4 + -2. Let j(u) = -5*u**3 - 96*u**2 + 72*u + 34. Let g be j(-20). Suppose -r + f*z = -111, -2*r - z + 13 + g = 0. Is 104 bigger than r?
False
Let f(t) = t**3 + 4*t**2 + t + 3. Let s be f(-4). Suppose 5*h + 4*q + 66 = 0, -42 = -2*h + 5*h + 3*q. Let c be h/40*(-22 - -2). Is c smaller than s?
False
Suppose h + 120 = 13*h. Suppose -f = -0*v + v + 14, v - 5*f - h = 0. Does v = -6?
False
Suppose 2561 = 5*l - 2*z, -135*l = -136*l + 7*z + 565. Suppose 4*m + 2*v = 2044, -5*m + 2*v + 2541 = v. Is l < m?
False
Let w = -8526 + 3845224/451. Which is smaller: 24 or w?
w
Let t = -271 - -235. Let j be (2/30)/(4 + t/10). Which is greater: -31 or j?
j
Let b be (7/4)/(7/(-56) - 0). Let j be (-1 - (-1 + -2))/2. Let m be (b/8 - j)*4. Is -13 less than or equal to m?
True
Let j(a) = 13*a**3 + 7*a**2 - 10*a - 12. Let m be j(-2). Are -84 and m equal?
False
Let t be ((-24)/1108)/((-216)/(-720)). Which is bigger: t or -1?
t
Let s be 3/(-26)*24/126. Let x = -4/13 - s. Which is smaller: -202/5 or x?
-202/5
Let q = -8262 - -13837. Let j be q/(-100) + (-2)/8. Is j at most as big as -56?
True
Let t = 3.8 + -2. Let j = -47.628 + -1.072. Let q = j + 47.7. Which is smaller: q or t?
q
Let i = 1.65 - 0.88. Let p = -44.77 + i. Let k = p + 35. Which is bigger: -2 or k?
-2
Let q = -69.9 - 313.1. Let h = -382.9 - q. Let z = -0.14 + 0.141. Is h greater than or equal to z?
True
Let k = -15.111 + -0.289. Let v = 14.4 + k. Are v and -224 unequal?
True
Let r(v) = 2*v**2 - 132*v + 1140. Let u be r(51). Which is bigger: u or -383?
-383
Let p = 9845.1 - 9845. Let u be (16/24)/(2/(-27)). Are u and p equal?
False
Suppose -5*t = -5*v + 3*v - 125, 5*t - v = 125. Let b = -25 - -51. Is t greater than or equal to b?
False
Let s(g) = -g + 42. Let t be s(18). Let j = t - 25. Let k be (-4 - -11 - 6)/(37/4). Is k < j?
False
Let o be (1570/(-2669))/(8/(-68)). Do o and 151/42 have the same value?
False
Suppose 3*o - 2*q + 291 = 4*o, 0 = -3*o + 4*q + 873. Let b = -291 + o. Is -2/201 bigger than b?
False
Let i be (102/(-56))/((-12)/(-8)). Let c = i + 3/2. Do c and -346 have the same value?
False
Let v be 3*32/(-8) - -7 - (-21876)/(-42). Is 1 greater than or equal to v?
True
Let v be (5 + (98/(-3))/7)*-843. Let d = v - -264. Is -19 bigger than d?
False
Let w be (170/(-8))/(-5)*-74*2. Let o = w + 629. Which is bigger: 10/37 or o?
10