 c or w?
c
Suppose 89*q + 11841 + 10320 = 0. Are q and -1239/5 equal?
False
Let j be (6703 + 1)/(74/(-69 - -32)). Is j greater than or equal to -3352?
True
Let o = 191 + 122. Let k = 314 - o. Is -1/22 smaller than k?
True
Let h = 316 - 713. Let k = 382 + h. Which is smaller: k or -11?
k
Let o(r) = 2*r**3 - 8*r**2 + 11*r - 2. Let j be o(2). Suppose 2*l = 2*k - 14, -k + 0 + 7 = -j*l. Which is smaller: k or 1?
1
Let v = -16.43 + -641.57. Let j = -961 - v. Which is bigger: -2/3 or j?
-2/3
Let o be (-221)/102*4/212. Are -1 and o unequal?
True
Let c = -18633971311/71120 + 3668103/14. Let s = 16/127 + c. Is -1 != s?
True
Let o be (-24)/14*(-1 - -8). Let n be -2 + (1 - 2)*4/o. Are n and -4 equal?
False
Let b be 408 - (-4 - -3)*0. Suppose -9*f - b + 120 = 0. Let o = f - -32. Which is greater: 1/58 or o?
1/58
Suppose 5*q = -7*q + 72. Let l be 20/q*(-32)/10. Suppose -6*h - 40 = -2*h. Is l at least h?
False
Suppose 4*q - 5*q + 4 = 0. Suppose 4*d - 40 = q. Suppose -5*b - 1 = -d. Is b <= 24/7?
True
Let f be (6/(-32))/((-642)/53500). Is 17 less than f?
False
Suppose -607 = 107*g + 763 - 86. Suppose 0 = 5*b - 3*b - 8. Which is smaller: b or g?
g
Let i be 4 - 2 - (-60)/(-4)*1. Let v = i + 1. Let p = v - -11. Are 5/14 and p unequal?
True
Let m(g) = g**3 + 6*g**2 - 5*g + 22. Let f be m(-7). Suppose f*n + 119 = -9*n. Are -80/13 and n non-equal?
True
Suppose v + 3*j + 0 = 9, 22 = 3*v + 4*j. Suppose v*g + 19 - 223 = 0. Which is smaller: 33 or g?
33
Suppose -116*d + 2743 = -23183 - 870. Is d > 19?
True
Let c = 8 - 8. Let w be ((-10)/62)/((-945)/(-1134)). Which is smaller: c or w?
w
Let k be (-46)/((-14)/385*5). Let a = k - 1519/6. Are -4/27 and a unequal?
True
Let z be ((-710)/213)/(2/12*(-5)/5). Which is smaller: -516 or z?
-516
Suppose 0 = 58*k - 3 + 65 - 4. Which is greater: 2682 or k?
2682
Let i be ((-43)/(-2))/((-2)/(-4)). Suppose -1228 = 12*k - 700. Let p = i + k. Which is bigger: -1/13 or p?
-1/13
Suppose -6 = -n + 4*z, -5*n = -18*z + 14*z - 46. Suppose -9*h + 1 = -n*h. Is -1/6 less than h?
False
Let l = 9 - -12. Suppose -163*c + 154*c = -171. Which is greater: c or l?
l
Let q(f) = -f**3 + 9*f**2 - 11*f - 16. Let s be q(9). Let l = s + 37. Let j be ((-1)/(-2)*1)/((-819)/l). Is -1 less than j?
True
Let t = -2372 + 2373. Which is smaller: -5/866 or t?
-5/866
Let n(r) = -654*r - 12377. Let y be n(12). Which is bigger: -20226 or y?
y
Let d = 3845 + -34607/9. Is -5 less than d?
True
Suppose -199*z + 568 = -197*z. Suppose 2*p = -6*w + 7*w - 287, -3*p = 6. Which is bigger: z or w?
z
Let k be (-4)/30 - 39442/(-615). Suppose -k*a + 51*a - 2626 = 0. Which is greater: -201 or a?
-201
Let h = -336 + 275. Let k = 45.01 + -1.01. Let u = k + h. Which is bigger: 2 or u?
2
Let b be (-486)/567*868/(-510). Are 0 and b equal?
False
Let w(c) = c**3 + 14*c**2 - 13*c + 27. Let p be w(-15). Which is smaller: p or 394?
p
Let s = -36 - -47. Suppose d - 32 = -4*y + s, -4*d = 4*y - 112. Let n = 24 - 0. Which is greater: d or n?
n
Suppose 5*s - s - 96 = 0. Let c(g) = g**3 - 23*g**2 - 22*g - 30. Let x be c(s). Suppose -15*k + x = -17*k. Is k bigger than -19/2?
True
Let y = -3712 + 3713.02. Is 1/29 greater than or equal to y?
False
Let m(a) = -a**3 - 7*a**2 + 1. Let y be m(-7). Let g be ((-18)/(-112))/(((-2376)/154)/18). Which is greater: g or y?
y
Let z be (-18)/(-24) + 198/(-136). Let p = 353/476 + z. Let w be 2/(-17) - 30/34. Is w != p?
True
Suppose -4*t + j = 1, -t + 3*j + 156 = 170. Is 3/3023 >= t?
False
Suppose -137 - 178 = -5*r. Suppose -4*s = -r - 5. Is s < 2?
False
Let y be (-27)/24 + 21/28. Let w = 167 - 167. Is w at least y?
True
Let l be (-6)/9 + (-7515)/(-918). Let z = 1/51 - l. Let s = -12 - z. Which is bigger: s or -5?
s
Suppose -4*d - 3*m - 14 = -0*m, 0 = -4*d + m - 6. Let h = 54 - 177. Let j = 153 + h. Is d smaller than j?
True
Let d = -6692 + 6501. Which is smaller: 2 or d?
d
Let w = -7290 + 7170. Which is smaller: -111 or w?
w
Let n(p) be the third derivative of -55*p**4/24 - 15*p**3/2 + 3*p**2 + 3*p. Let z be n(-3). Which is smaller: 121 or z?
z
Suppose 5*c + 317 = 317. Suppose c = -10*w - 7*w - 374. Is w equal to -22?
True
Let q = -944.1 - -944. Let x = 19.004 - 19.2. Which is greater: q or x?
q
Let n be (-2256)/4095 - (-2)/(-13). Let p = 4/7 + n. Which is bigger: 0 or p?
0
Let m be (60 - 58)*3/(-3106). Is 0 bigger than m?
True
Let b be 1 + 8 + -4 + (-1 - 2). Let m be (b + (-5)/3)/(5/(-470)). Are -30 and m equal?
False
Let i be (-1)/(-11 - (-224)/21)*(-4)/34. Are 40 and i equal?
False
Let k be (-44 + 3250/75)/(-1*18604/(-18)). Is 1 > k?
True
Let z be 2 + ((-2156)/(-12) - 6). Which is smaller: z or 176?
z
Let f = 4 + -6. Let z be 0*f/(-4) - 3. Let u be 3 + -2 + z - (-1 + 1). Which is bigger: u or -11/5?
u
Let s(z) = z**3 - 47*z**2 + 142*z - 332. Let h be s(44). Suppose 0*n - 2*n = -218. Is h less than or equal to n?
True
Let z = -1166.9 + 1166. Which is smaller: 13.4 or z?
z
Let d = -61 - -61.08. Suppose -14 = 5*x - 89. Let a be (-3)/x*(-10)/(-5). Which is greater: a or d?
d
Let c be 1512/1449 - (-3)/(-69). Which is smaller: c or -14/2911?
-14/2911
Let q(g) = -10*g**2 + 20*g**2 - 3*g + 5*g**2 + 9*g. Let r be q(-3). Which is smaller: 118 or r?
r
Let n(w) = -3*w + 27. Let t be (1 - -11)/((-15)/6 + 4). Let d be n(t). Suppose -157 + 37 = -d*s. Is 40 bigger than s?
False
Let q = 0.2116 + -0.1416. Is q <= -2/167?
False
Let o(l) = -l**2 - 7*l + 8. Let q be o(-7). Let r = -14 + 11. Let g be r/18 - 125/(-30). Which is smaller: q or g?
g
Let u(v) = 6*v**3 - v**2 - 9*v + 12. Let z be u(-8). Let i = 680595/223 + z. Which is smaller: 0 or i?
i
Let y be 70/(-385) - 4/(-22). Suppose 5*u + 5*u + 10 = y. Is -2/263 equal to u?
False
Let s = -29.71 - -30.11. Which is smaller: s or 352?
s
Let j = -89 + 54. Let u be 3 + 249/j - -4. Is -1 less than u?
True
Suppose -4*q + 0*q = 2*n + 5700, 2*n - q = -5720. Are n and -2859 equal?
False
Let d be (1 - 3)*-6*13/546. Which is smaller: d or -497/6?
-497/6
Let x be -8 - ((-31 - 6) + 9). Let d be (-2)/(-2 - 7/(-3)). Let j = d - x. Is j at most as big as -26?
True
Let p be ((-420)/55)/21 - (-197685)/132. Which is smaller: 1498 or p?
p
Let x = -960.4 + 958.9. Is x bigger than 10/29?
False
Let u(k) = -9*k**3 + 7*k**2 + 4*k. Let d be u(-1). Suppose 3*i - 5*o + 13 + 4 = 0, o + 1 = 5*i. Which is smaller: i or d?
i
Let x = 1275.78 - -219.32. Which is bigger: 1 or x?
x
Let f be (3 - -3 - 2)/(-1). Let a be (2 + f + 8)*(-63)/18. Let o be (-14)/a*2*(-22)/(-12). Is 1 at most as big as o?
True
Let k = -163 + 207. Suppose -4*i = 4 - k. Suppose -a + 3*a = 20. Are i and a equal?
True
Let a = -37 - -22. Let u(o) = o**3 - 28*o**2 - 181*o + 523. Let w be u(33). Which is smaller: a or w?
a
Let k = 4.82 - 0.42. Let i = -4 + k. Suppose 175 = 243*o - 1454 + 171. Is o bigger than i?
True
Let t = 10 - -19. Suppose -21*u = -22*u + t. Which is bigger: u or 30?
30
Let v = -3200 + 3201. Is v at most as big as 3/2323?
False
Let c(k) = k**3 - 11*k**2 + 12*k - 22. Let u(d) be the first derivative of d**3 - 2*d - 2. Let n be u(2). Let o be c(n). Which is greater: o or -4?
o
Let i = 4213 - 4219. Suppose 6 = -2*j - j. Let x be j/(-6)*1 - 0. Which is bigger: x or i?
x
Suppose -3*x = d - 9, 9 = -d + 3*d - 3*x. Let n be -2 + 3 + 3 - 12. Let b be (-55)/(-10) - ((-12)/n + -1). Is b > d?
False
Let f be -4 - (-5 + 556144/(-230)). Let x = 2419 - f. Is 0 at least as big as x?
True
Let p = 2 + -2. Let g = 396 - 230. Let u = g + -162. Which is bigger: u or p?
u
Let s = -2.11 + 2.3. Let q = -0.07 + s. Is q at least as big as -0.2?
True
Let b = 2.48 + 251.52. Is b <= 2/5?
False
Let g be 186*((-215)/30 + 7). Is -27 smaller than g?
False
Let r be ((-3)/(15/56))/(1324/3310). Which is smaller: r or -88?
-88
Suppose -3*n + 10*l - 44 = -3, -5*l = 5. Let u = -284 - -797/3. Is u bigger than n?
False
Let h be (-1)/(-2) - (-3289)/(-6490). Let f = -12 - -17. Suppose 0 = 5*w - 0*w - f. Is h < w?
True
Let o = -24634 + 24633.68. Is 2/429 at least o?
True
Let d = -367 + 566. Let h = d + -113. Which is smaller: -4 or h?
-4
Let x be (12*(-54)/10368)/((-14)/(-24)). Let l(k) = k**2 - 3*k. Let g be l(3). Are g and x nonequal?
True
Let o = 2057.8 + -2058. Which is smaller: 114 or o?
o
Let s = -3366 - -3030. Does -335 = s?
False
Let h(b) be the first derivative of -11*b**4/4 - 2*b**3/3 - 3*b**2 - 11. Let o be h(-4