be i(4). Let f be (9 - d)/(2 + -3). Let c be (-6 - -17) + (-525)/21. Which is bigger: c or f?
f
Let s(o) = 404*o + 4039. Let m be s(-10). Let q be 2/(-3) - (-170)/282. Which is greater: q or m?
q
Let h be (14700/(-14))/(-14) + -10. Suppose p + 4*p = 25. Suppose p*k = v + 322, 0 = 2*v - v + 2. Which is smaller: k or h?
k
Let c(u) = 3*u - 1. Let j be c(1). Suppose -3*d - j = 133. Let m be (18/d)/((-1)/(-60)). Which is smaller: m or -23?
m
Let v(x) = -76*x**2 - 116*x**2 + 13 + 24*x**2 + 13*x. Let r be v(-1). Do -168 and r have the same value?
True
Suppose -3*n - 215 = 5*h, -5*h - 68 - 127 = -n. Which is bigger: h or -39?
-39
Suppose 0 = 10*a + 155 - 145. Let v = 339 - 11867/35. Which is smaller: a or v?
a
Let n(i) = -2*i**2 + 2*i + 84. Let y be n(7). Is -1/4300 > y?
False
Let b(k) = -2*k**2 + 92*k**3 + 97*k**3 + 3 - 3*k - 190*k**3. Let q be b(-3). Is q greater than or equal to 21?
True
Let c = -8466083/639 - -13249. Let m = c - 285190/4473. Let i = m + 64. Is i at most as big as 1?
True
Suppose -f = -3*l + 3, 5*f = -4*l - 151 + 155. Which is greater: l or 23/160?
l
Let b(f) = -f**3 + 3*f**2 + 22*f + 15. Let j be b(-3). Suppose -4*h + 0*h - 8 = 0, 0 = j*r + h - 334. Is 114 less than r?
False
Let r = 407.5 + -407.4. Are -1480/3 and r unequal?
True
Let q = -16 - 35. Let v = 78 - q. Which is bigger: 0.1 or v?
v
Suppose -3*v + v - 20 = -5*h, 3*h = 5*v + 12. Suppose v = 10*b - 12*b + 52. Let o be (6 - 3 - b/8)*4. Which is greater: -6/19 or o?
-6/19
Suppose 13*q - 15*q - a = -5, -10 = 2*q - 2*a. Is 3275 greater than q?
True
Let h be (-20)/88*3/15. Suppose 2*r = 2*n - 4, 5*r = n + 3*r. Suppose -2*l + 10 = 2*t, n*l = 9*l + 4*t - 20. Is l bigger than h?
True
Let c(b) = b**2 + 3*b + 144. Let z be c(0). Suppose 26*m = 18*m - z. Let w be (-6)/(-2) + m + 18. Are -2 and w unequal?
True
Let g = -10.98 + 14. Let q = g + 0.98. Are -2/11 and q equal?
False
Suppose p - t + 8 = -p, -2*p - 2*t - 8 = 0. Let w be (-30)/p*48/(-276). Do -1 and w have the same value?
False
Suppose 5*q - 3*z + 9 = 7*q, 0 = -3*q + 2*z - 6. Which is greater: q or -15.76?
q
Suppose 308*i + 212 = 313*i + 4*s, -2*s = -16. Suppose 2*w + 2*w - 136 = 0. Which is smaller: w or i?
w
Suppose -3*x + 10 = -x, 4*i - 3*x = 361. Suppose h + i = 3*d + 30, 2*d - 46 = 4*h. Let w be (7/d)/(1*2/(-6)). Are 1.6 and w nonequal?
True
Let b = -3 + 4. Let v be 0 + -7 - (-3237375)/462355. Do v and b have the same value?
False
Let m = -1/8 + -11/40. Is m >= -82/7?
True
Let h = -14648 + 14660. Let j = -47 + 73. Suppose 2*z = 3*g - j, -3*z + 4 - 1 = -g. Is h at least g?
True
Let l = -1.4 - -0.24. Let q = l - 2.24. Let v = 3.6 + q. Is -4/3 less than v?
True
Suppose 2*q + 5*w - 36 = 9, -35 = -q - 5*w. Let x = -10 + q. Suppose x = v + 12 + 3. Is v at least as big as -15?
True
Let s be (1434/(-717))/((-568)/285 - -2). Is s > -287?
True
Let p = 12558.25 - 12572. Which is smaller: 0.03 or p?
p
Suppose -104*t - 6339 = -3219. Are -12 and t equal?
False
Let u(d) = d**2 + 209*d + 1418. Let t be u(-7). Is t > 59/15?
True
Let i be 1*(2/(-3))/((-44)/(-66)). Let v be i + (-54)/(-6) + -7. Are 12/55 and v equal?
False
Let r be 12/(-2980)*((-350)/4605)/7. Which is bigger: -1 or r?
r
Suppose 0 = 50*f - 56*f - 12. Let n be (-10)/f + (192/(-210) - 4). Which is greater: n or 0?
n
Let y = 305 - 330. Let v be 4/8 - y/10*1. Is v at least as big as 3?
True
Let a be (26/(-48))/(5/3). Let o = 2183/440 + a. Which is smaller: 6 or o?
o
Let c be (-63)/(-105) + 15/(-15). Let k = 1874 - 28096/15. Which is smaller: k or c?
c
Let j = 22 - 24. Let d = 25 + -16.6. Let v = d + -7. Which is greater: j or v?
v
Let p = 1207/93 - -453205/744. Which is bigger: p or 623?
623
Let i be (48/(2 + -6))/(6/(-84)). Suppose i*t = 170*t + 32. Which is bigger: t or -1/9?
-1/9
Let l(y) = y**3 + 6*y**2 - 38*y - 229. Let f be l(-5). Is f > 181?
False
Let z = -6792303 - -380385009/56. Let o = z - 2048/7. Is -7 != o?
True
Suppose 294*n - 281*n = 10374. Let y be (-3124)/n + (-76)/(-722). Is y >= -3?
False
Let n be 10 + (-7 + 9)*-5. Let t be 16/248*2/(-28). Which is smaller: t or n?
t
Suppose -379*p = 12503 - 61773. Which is greater: p or 127?
p
Suppose 0 = -79*r + 7761 + 3815 - 2096. Which is smaller: r or 1310/11?
1310/11
Let q(p) = -9 + 244*p + 3 - 265*p - p**2. Let s be q(-20). Which is bigger: s or -2?
s
Let u = -35 + 47. Let q be 2/(-8) - (-351)/u. Let i = q - 29. Is 1/6 != i?
True
Let o(s) = 5*s**3 + 93*s**2 + 675*s + 12. Let w be o(-8). Which is bigger: -1995 or w?
-1995
Suppose -18*v - 7560 = 10*v. Let q = v + 811/3. Which is smaller: -0.26 or q?
-0.26
Let a be ((-123)/12 - -1)/(611/(-988)). Is a at most as big as 1/4?
False
Let t be 16/3 - (-18)/27. Let n be t/24 - 70/(-8). Let l be 25/(-12) - (-3)/n. Is -1 at least l?
True
Let h = 41 - 38. Suppose 2*j + h*w = -61, 3*w + 38 = -3*j + 2*j. Suppose 5*r = -6*g + 2*g - 130, -98 = 4*r + 2*g. Which is smaller: j or r?
j
Let q(u) = 10*u**2 - 225*u - 244. Let v be q(23). Which is bigger: v or -116?
-116
Let n = -20793 - -20796. Is n bigger than -3495?
True
Let a = 1606 + -2393. Let z = 786.8 + a. Which is smaller: -37 or z?
-37
Let u be (8/200*-5)/(2/(-10)). Let c(f) = f**3 + 11*f**2 + f + 8. Let q be c(-11). Let b be (-10)/(q/6*-1). Is b at most u?
True
Let d = 8.029 - 0.029. Let a = -1.81 - -2.31. Is a less than d?
True
Let w = -2.51 + -0.27. Let n = 97.83 + w. Let k = 95 - n. Which is bigger: k or 1/2?
1/2
Let d = 4838371/9 + -538191. Let c = 189 - -406. Let y = d + c. Which is bigger: 2 or y?
2
Let a = 2.004 - 2.1. Let r = a + -0.664. Let c = 2.76 + r. Is c less than -32?
False
Let i = -216 - -131. Let p = -671 + 586. Is p smaller than i?
False
Let k = 240776191/2573 - 93578. Which is bigger: k or 0?
0
Let s = 482 + -846. Let b be 147/s - ((-4)/13)/2. Let i(l) = -l**2 - 6*l - 4. Let g be i(-5). Is g <= b?
False
Suppose -3*s + 5*q - 1553 = 0, 29*q = 5*s + 30*q + 2551. Is 2 < s?
False
Let j(o) = -3*o - 22. Let y be j(-8). Let l be ((-5)/8)/(y/(-16)). Let r be (-6 + l)*(-2)/(-12). Is r less than -1/16?
True
Let l = 275 + -276. Let x be 5 - l - (-65)/(-13). Is x not equal to 30/31?
True
Let n(g) = -g**2 + 4*g + 143. Let r be n(-10). Is r greater than or equal to 26/5?
False
Suppose 11*h = 34 + 153. Let y(o) = -5*o + 76. Let k be y(h). Which is smaller: 3 or k?
k
Let t be 1/(3/2)*129/(-86). Do t and -3/18802 have different values?
True
Let w(d) = 3*d + 7337. Let h be w(-82). Is 7093 less than h?
False
Let r(m) = -4*m**2 - 29*m + 148. Let q be r(-33). Let k = -802998/247 - q. Is 1 bigger than k?
True
Let x be ((-21)/14)/((-44)/(-154)). Which is smaller: 7/3 or x?
x
Let p(m) = -2*m**2 - 14*m + 4. Let d be p(-6). Let u be 152/d + (-3)/(-3). Which is bigger: u or 11?
11
Let u(o) = 2*o**2 + 55*o + 18. Let a be u(-32). Suppose 23*x - a = 57*x. Does x = 29?
False
Let c(x) = x**3 + 11*x**2 + 12*x + 13. Let q be c(-10). Let y be (-43)/q + 7/(-49). Let t = y - 3. Is t < 1?
False
Let n = 702 - 205688/293. Is -8 smaller than n?
True
Suppose 4*v - 3*g + 6*g = 1271, 2*g + 966 = 3*v. Let d = -388 + v. Which is smaller: d or -70?
-70
Let n be (6/15)/((-2)/(-90)). Let z = 68 + -68. Suppose 5*w - 3*b - 67 = 20, -w + 4*b + 14 = z. Are n and w equal?
True
Let z be ((-4)/(96/7))/((-15)/(-278)). Let x = -43/36 + z. Suppose 5*y - 2*b = 2*b - 24, 4*b = -16. Is x < y?
False
Let o(k) = -124*k + 2113. Let y be o(18). Is y greater than or equal to -85?
False
Let z be (-133)/(-11) + 14/(-154). Suppose z*h - 19*h + 245 = 0. Is 243/7 at least h?
False
Let c(d) = -19*d + 1073. Let i be c(58). Which is smaller: 1.1 or i?
i
Let j(z) be the third derivative of z**7/420 - 11*z**6/360 + z**4/24 - 3*z**3/2 - 2*z**2. Let y(a) be the first derivative of j(a). Let d be y(5). Is d != -25?
True
Let x = 38 + -19. Let c = 123.9 + -205. Let h = c - -81. Which is bigger: x or h?
x
Let z be (-3360)/(-154) + (-4)/(-22). Which is smaller: z or 1.3?
1.3
Suppose -38 = -5*y + 22. Let d be (2 - y/5)/((-3)/690). Is d < 92?
False
Let a = 129/322 + -5/14. Let r(i) = -4 + 0 - 39*i + 37*i - 1. Let m be r(-2). Is m != a?
True
Let u be (-8)/(-112) - (-9121)/(-98). Which is bigger: -89 or u?
-89
Suppose -5*r + 318 = 48. Let g = r - 55. Let u be 4*g/(-16) + -1. Which is smaller: u or -0.3?
u
Let p(f) = -f**3 + 19*f**2 - 4. Let n be p(19). Let d be 3/(-9) - (26/(-6) - n). Is 7/30 at leas