 -1)). Let z(y) = 25*y + 21. Let m(q) = q**2 - 2. Let a be m(0). Let w be z(a). Which is smaller: w or h?
h
Let p = -3318 + 1173. Let w = p - -246677/115. Let y be ((-2)/8*0)/(-2 + 3). Which is smaller: w or y?
y
Let r(q) = -q**2 - 19*q + 91. Let b be r(4). Are b and -42/53 non-equal?
True
Let c = -694.1 - -694.4. Let y = 237 - 483/2. Does y = c?
False
Let p = 0.96 + -519.96. Let u = p - -519.1. Do -35 and u have the same value?
False
Let d be (1 + 14/(-4))*110/176. Let b = -1055/144 + d. Is -8 greater than b?
True
Suppose 0 = -x + 4*j - 7 - 2, 0 = -2*x - 2*j + 2. Which is greater: x or -102/73?
x
Let k = -935/84 + 307/28. Let p = -42.2 + 39. Which is smaller: p or k?
p
Let j be 4/14 + ((-25920)/1050)/(-27). Is j >= 298?
False
Let s = -8543 - -8543.1. Which is bigger: -1619 or s?
s
Suppose -2*p + 114 = 108. Let m be 9/45 - p*113/(-5). Is m smaller than 67?
False
Let x(u) = -163*u + 75. Let q be x(-3). Let m = q + -11843/21. Which is bigger: m or -1?
m
Suppose 0 = 4*b + g + 123, 5*g + 65 = -4*b - 38. Let q(f) = f**2 + 12*f - 243. Let d be q(0). Let c = d - -210. Which is bigger: c or b?
b
Let t(d) = 2*d**3 + 4*d**2 + 7*d + 10. Let q(u) = -u**3 - u**2 + u. Let b(f) = -3*q(f) - t(f). Let w be b(-3). Is w less than or equal to 6?
True
Let d = -33277/5 + 6656. Are -2/7 and d nonequal?
True
Let a(g) = -g + 37. Let b be a(12). Suppose -10*z - b = -5*z. Let v be 1/(8 + z - 4). Which is smaller: -1/37 or v?
v
Let o be (-4)/(-7) - ((-3108)/49 + -7). Is 75 greater than or equal to o?
True
Suppose -3*c - 855 = -6*c. Suppose 0 = 19*p - c. Suppose 0 = -5*v, 5*v - 18 = 2*q - 3*q. Which is smaller: q or p?
p
Let r = 269 + -171. Let u = -100 + r. Let a be (-2 + 3)/((-20)/(-45)) + u. Which is bigger: a or -0.11?
a
Suppose 4*f - 3*f - 2*g = 25, 2*g + 67 = 3*f. Let u be (-1173)/230 + 5 + 3014/140. Is f greater than or equal to u?
False
Let q = -1902 - -1899. Let s = -12 + 3. Let b be ((-2)/40)/(s/(-702)). Which is bigger: b or q?
q
Suppose f + 2*u - 768 = 0, -16*f + 3854 = -11*f - 4*u. Let v be (-2)/(-7) - (-1040)/f. Suppose g + 0 - 1 = 0. Which is bigger: g or v?
v
Let g = -52 - -49. Let q be (-1)/((-3)/g)*20. Let b = 32 + q. Is b at least as big as 11?
True
Let c be 95*368/(-1044) + 4/(-58). Which is greater: -33 or c?
-33
Let u = -0.3063 + 0.3463. Which is bigger: u or -242?
u
Let k = -17996 - -17916.81. Let w = 82 + k. Let d = -3 + w. Which is bigger: d or -0.1?
-0.1
Let z = -2209/30 + 759/10. Let g be 4/(10/(8 - 3)). Which is smaller: g or z?
g
Let y(p) = 2665*p**2 + 22*p + 25. Let d be y(-1). Is 2/3 >= d?
False
Let b(a) = a**2 - 2*a - 10. Let p be b(5). Suppose -2*q = -3*v + 6 + 2, -3*q = -p*v + 13. Which is bigger: q or 1/9?
1/9
Suppose -99*n - 94572 - 22347 = 0. Which is greater: -1178 or n?
-1178
Let u = 327.468 + 0.532. Let z = -327.94 + u. Which is greater: z or 0.7?
0.7
Suppose -7439 - 4881 = -176*q. Which is smaller: 157 or q?
q
Let v(c) = c**3 - 15*c + 9. Let t be v(-4). Let j = t + 17. Are j and 16 non-equal?
True
Let v be 18742/9368*2 + (-5112)/1278. Are 1 and v unequal?
True
Suppose 4*b + 5 + 15 = 2*q, 31 = 4*q - 5*b. Let y be 30/q - (5/2 + -3). Suppose y*n = -70 + 22. Do n and -7 have different values?
True
Let s(q) = -538*q + 6457. Let b be s(12). Let p = 291153/187 - 1557. Is p less than b?
True
Let q = 56.485 - 0.485. Let r = -55.9 + q. Let x = -0.09 - 0.02. Do x and r have different values?
True
Suppose -81*x - 177*x - 743705 = -35*x. Is x at most -3338?
False
Let p be (-432)/36 + (-93)/(-8). Let o(k) = k**2 + 8*k - 2. Let i be o(-7). Let n = 9 + i. Which is greater: p or n?
n
Let g = 29/6 + -71/24. Let t = 236 + -204. Suppose -5 = -t*w + 27*w. Is g less than w?
False
Let a(r) = r**2 + 14*r + 40. Let p(g) = g**3 + 20*g**2 - 2*g - 50. Let l be p(-20). Let n be a(l). Which is smaller: n or 3/49?
n
Let n be 7/14 + (-6)/4. Let l = 920350/51 - 18046. Is l bigger than n?
True
Let r be (-30)/9*(-46 + -11). Let l be (-5)/(r/(-4)) + 3234/(-399). Suppose 0 = -3*d - 0 - 33. Which is smaller: d or l?
d
Let p(j) be the first derivative of j**3/3 + 2*j**2 - 26*j - 184. Let n be p(-11). Is 50 != n?
True
Let x(y) = -17*y**2 - 38 + 52*y**2 - y**3 - y**3 + 59*y**2. Let f be x(47). Are f and -38 nonequal?
False
Suppose 107*c + 1828 = 4931. Let i = 54 - 19. Are c and i equal?
False
Let o(y) = y**3 - y**2 - 5*y + 1. Let l be o(3). Let k be l - ((-2)/(-171))/(5/1590). Let c = k - -1/19. Which is greater: c or 0?
c
Let y be (-84)/(-18) + -6 - 650/(-501). Let i = y - -524/23881. Let l be ((-3)/(-15)*0)/(-1). Is l at most as big as i?
False
Let x be 3 - ((-182)/52 + 2315/358*1). Is -11 >= x?
False
Let u = 14465 + -14465.6. Is u at least -781?
True
Let y = -501436354858214/5985 - -83782181055. Let f = 1455/7 + y. Which is greater: f or 0?
0
Suppose 5*u - 3*h - 23749 - 5937 = 0, u = -h + 5926. Which is smaller: 5935 or u?
u
Suppose 3 - 15 = 4*m. Let o be 380*(-10)/(-400) - 1323/102. Which is bigger: m or o?
m
Suppose -3*u + 4*y = -85, -2134*u + 2130*u + 5*y + 114 = 0. Suppose -5*b + 2 = -3. Let j be 29/1 + 0/b. Is j not equal to u?
True
Let u(t) = 37*t - 178. Let j(n) = -13*n + 59. Let k(x) = 8*j(x) + 3*u(x). Let z be k(10). Let r be -37 - (-3 + (z - 5)). Is -38 greater than r?
False
Let y be (-70425)/9 + 11 - 15/(-3). Is -7809 at most as big as y?
True
Suppose 82 = 8*a + 34. Suppose 8 = 2*t + 4. Suppose 5*b = p + 11, t*p + a = -4*b - 2. Does p = -4?
False
Let i(p) = p**2 - 5*p - 87. Let w be i(-7). Let l = 12.56 + -1.56. Is l != w?
True
Let k be (-4 + 1 + 1)*2. Let g be k/9*(-42)/15988. Let r = 1124/15417 + g. Which is smaller: 0 or r?
0
Let n = -2.97 - 57.03. Let h = -1.062 + 0.062. Which is smaller: h or n?
n
Let h(w) = 4*w**2 - 112*w + 19. Let f be h(28). Suppose 0 = f*m - 24*m - 605. Which is smaller: m or -362/3?
m
Suppose 0 = 21*a - 60 - 3. Let m be ((-2)/(-7) + (-54)/42)*a. Which is bigger: m or -28?
m
Let h = 152 + -130. Suppose h*s - 9 = 13. Which is bigger: s or 23/15?
23/15
Suppose 5*p - 2*z - 90 = 3*z, -3*z = 3*p - 72. Let s(u) = -520*u - 504. Let d be s(-1). Which is smaller: p or d?
d
Let r = -66 - -119. Suppose -2*w = -r + 5. Suppose w*d - 20*d = 0. Is 3/5 < d?
False
Suppose 404*f = 388*f + 27536. Which is smaller: 1715 or f?
1715
Suppose -n = 4, 3*r - 3*n - 12516 = -0*n. Which is greater: r or 4169?
4169
Let z = -887 + 895. Let k be (10 - z)*7/(-14). Which is smaller: k or 1/430?
k
Let s = -435 - -347. Let q be 12 - (-1072)/s - (-185)/1199. Which is greater: 1 or q?
1
Suppose -18*v + 47*v - 17046 = 6299. Which is smaller: v or 807?
v
Let o = -104 - -48. Let x(y) = -2*y**2 - 5*y - 3. Let q be x(4). Is q <= o?
False
Let x = -9882 + 12607. Is 2725 at least as big as x?
True
Let j = 1/1215 + -21881/13365. Suppose 5*b - 2*k - 4 = 2*b, 3*b + 11 = -k. Do b and j have different values?
True
Let p be 84/60 - 73283/245. Let d = p + 298. Is d greater than -325?
True
Let q(u) = -8*u + 34. Let t be q(4). Let b be ((-5336)/(-230))/(-1*t/10). Which is greater: b or -118?
b
Let c = -3573 - -3573.37. Is -6 >= c?
False
Let q be (70/(-6))/((440/(-4380))/(-22)). Are -2555 and q equal?
True
Suppose -19*g + 18*g - 826 = 0. Let y be (-42)/168 - g/8. Is 103 at least as big as y?
True
Let l be (-6 - -9) + 8735/3. Let z = 2865 - l. Which is bigger: -51 or z?
z
Suppose -5*u - 40 = 5*j, -118*u - 9*j = -114*u + 77. Is -17/1259 less than u?
True
Let c be 2/((-70)/5733) + 2/(-10). Is c at least as big as -163?
False
Suppose 4 + 252 = z + 29. Which is smaller: z or 222?
222
Suppose 1 = 2*n + 5. Suppose -3*k + 66 = 3*v, -16*v + 15*v - 3*k + 24 = 0. Let l be (22 - v)/(15/(-21)). Which is smaller: l or n?
n
Let j be -32 - -31 - 82/(-330) - 2/11. Let d(u) = u - 1. Let n be d(0). Which is bigger: j or n?
j
Let p = 271 - 394. Is -497/4 equal to p?
False
Let z be (-637)/(-14) + (10/(-4))/(-5). Suppose -3*o + 357 = 5*u, -4*u + 146 = -2*u + 2*o. Let q be -1 + 3/2 - u/z. Which is bigger: q or -5?
q
Let m be (2 + 1 + -3 + -1)*1. Let u = m + 3. Which is smaller: u or 0?
0
Let k be 8/(-40) - (-18154)/(-5). Is k at least as big as -3631?
True
Let g = 12 - -1. Let y = 84 - 86. Let j be (-33)/y + (-78)/52. Are g and j non-equal?
True
Let v = 5364.394 + -5368. Which is smaller: v or 0.1?
v
Let n(h) be the first derivative of -h**4/4 + 5*h**3 + h**2/2 - 17*h + 4. Let s = 158 + -143. Let f be n(s