-597. Let c = -185 - f. Which is bigger: -16 or c?
-16
Let b = -568 - -1724/3. Let y be -3*226/90 + (-4)/(-20). Let r = y + b. Does r = 1/19?
False
Let m be 7/(-49)*-21 - 4. Which is bigger: m or -4/131?
-4/131
Let m = -12668/323 + 772/19. Let o = 10 - 9. Suppose o = -0*l + l. Which is bigger: m or l?
m
Let a = 41715/2 + -6632611/318. Which is smaller: 1 or a?
a
Let s be 322/(-1127) + (1 - 2 - 82/(-42)). Is s less than 62.3?
True
Let d = 0.17514 - -70.85486. Let s = -7.03 + d. Which is greater: 0 or s?
s
Let r be -2 + 77/(-5) + (-192)/320. Let q(k) be the second derivative of k**3/6 + 31*k**2/2 + 2*k. Let a be q(r). Which is smaller: a or 15?
a
Let h = -3.728 - -0.028. Let a = 2.8 - h. Let v = 6.2 - a. Which is bigger: -1/17 or v?
-1/17
Let p = 5.885 - 6. Let y = p + 0.355. Which is smaller: 1 or y?
y
Suppose 4*z + 108 = l, -2*z + 3*l - 56 - 8 = 0. Which is bigger: z or 29?
29
Suppose -177 = 27*z + 141 - 345. Do z and -1/15947 have the same value?
False
Let m be 2 - 5 - 2*8/(-16). Let o be (-4)/(m - -3 - -3). Is o bigger than -2/1003?
False
Let q = -202 - -196. Let p be (-408)/32*4*2/q. Which is smaller: p or 23?
p
Suppose -4*l + r + 167 = -7*l, 0 = -2*l - r - 112. Let j = 139 + -194. Is l at most as big as j?
True
Let p(n) = -n**3 - 4*n**2 + 5*n + 5. Let t be p(-5). Suppose -8*u = -9*u + t. Are -2 and u non-equal?
True
Suppose 0 = -2*m - 2*c - 0*c + 14, -1 = m - 3*c. Suppose 0 = -4*g + m*t - 8, 0 = 2*g - 4*t + 3 + 7. Let l be 144/(-264) + (-1403)/(-253). Is l less than g?
False
Suppose 0 = -3*g + 5*u + 28, -7*g + 4*u + 22 = -5*g. Is 58/187 at least as big as g?
False
Let b = -5781 + 5695.6. Which is smaller: b or -0.06?
b
Let w(s) = 7*s**2 + 5*s + 14. Let g be w(-2). Is g greater than 402/13?
True
Let g(w) = -17*w**3 - 8*w**2 + 24*w + 105. Let n be g(-3). Which is smaller: 424 or n?
n
Let c = 27133 + -135663/5. Let i = -53773/1827 - -206/7. Is i <= c?
True
Let p = 1540 - 1539. Which is greater: 2669 or p?
2669
Let p = -1.225 - 26.475. Which is smaller: p or -2/9?
p
Let i(j) = -j**2 - 12*j - 10. Let a be i(-11). Which is greater: a or 3/8?
a
Let y = 3819 + -3819.3. Which is smaller: y or 1080?
y
Let l be (-3)/9 - (-32)/(-3). Let j(t) = -2*t + 1. Suppose 3*n = -5*n + 40. Let p be j(n). Is p <= l?
False
Suppose 3*l + 249 = 51. Let q be 4/l*3 - 109/(-418). Is q not equal to -1?
True
Suppose 3*h = -t + 158, -4*h - t + 47 + 164 = 0. Let u = h - -17. Let m = -112 + u. Is m bigger than -43?
True
Let j = 1936 - 1935.5. Which is bigger: -392 or j?
j
Let i = -2044 + 1193. Is i at least as big as -851?
True
Suppose -5*r + 2*v = -0*v - 29, 2*r + 4*v - 2 = 0. Let h(t) be the first derivative of 5*t**3/3 - 2*t**2 + 3*t - 18. Let j be h(1). Is r less than j?
False
Suppose -2*w - 11*w = 32*w + 2*w + 423. Let l(r) = r + 11. Let b(x) = x + 10. Let q(s) = 4*b(s) - 3*l(s). Let t be q(-5). Are w and t equal?
False
Suppose 0 = -5*a + m - 3, -955 = -2*a - 3*m - 946. Which is bigger: 2/18215 or a?
2/18215
Suppose -4*i = -4*d - 652, 0 = -4*i - 6*d + 11*d + 655. Which is bigger: 173 or i?
173
Let h = -2199 - -2321. Which is smaller: h or 7.1?
7.1
Suppose -1248*i = -1252*i. Is -5/1847 smaller than i?
True
Let f = 3 - 1. Let h = -194661 - -1362637/7. Which is greater: h or f?
f
Suppose 7 = -2*f - 5*f. Let x = 310/1869 - -5977709/29904. Let t = x - 200. Which is smaller: t or f?
f
Let x be (-2 - -8)*((-10)/3)/5. Let i be 81 + x/((-4)/1). Let u = -327/4 + i. Is u != 2/5?
True
Let c = 66 - -15. Let n = c - 105. Which is greater: -97/4 or n?
n
Suppose -5*m + 649 = -161. Let f = m - 80. Suppose 5*r + p + 151 = 0, 5*r + 66 = 2*p - f. Do -30 and r have the same value?
True
Let i be (12/(-16))/((-1)/(-24)). Let v be 75/i + (-3)/(-18) + 14. Which is bigger: v or 55/6?
v
Let h be (-15)/5 - -5 - -3. Suppose 0 = -j - 5*x + 31, -4*j + h*x + 44 = 9*x. Which is greater: 0.3 or j?
j
Suppose 10*n - 6*n = -p + 8, 2*p + 3*n - 11 = 0. Suppose -60 = -4*b - p*m, m + 4 - 64 = -4*b. Let q be 4/14 - (-22)/(-28). Which is greater: q or b?
b
Let m = 4139 + -4035. Which is bigger: m or -11?
m
Let b = -233760667/7815 + 149559/5. Which is bigger: 1 or b?
1
Let y(f) = 47*f**2 + 76*f - 401. Let x be y(5). Is x < 2305/2?
False
Let h = 86 + -138. Let i be 0 - (4 + 272/h). Let o = 680/39 + i. Which is smaller: o or 19?
o
Let a(c) = -c**3 - 14*c**2 + 16*c + 5. Suppose -5*y - 4*g = -65, g - 44 = -4*y + 8. Let b = -2 - y. Let u be a(b). Which is smaller: -9 or u?
u
Let q = 36 + -48. Let a(x) = x**3 + 13*x**2 + 13*x - 11. Let t be a(q). Let m = t + 11. Which is smaller: -11 or m?
m
Let n = 668063/21536 + 5/64608. Let j = n - 51/16. Let m = j + -28. Which is bigger: 0.07 or m?
0.07
Let q = 0.41 + -0.338. Let p = q + -2.972. Let j = -39.9 - p. Is 0 not equal to j?
True
Suppose -20*b - 22 = -18*b. Let o = b + 42. Let n be 12/16*(o/(-39) - -1). Which is bigger: n or 0.2?
0.2
Suppose -25*h - 29 = 146. Is -234/37 != h?
True
Let h be 15652/140 + 1 + 2. Which is smaller: h or 114?
114
Let n(b) = b**2 - 15*b + 22. Let a be n(14). Suppose 0*s - 56 = -a*s. Suppose -5*k = -s*k - 0*k. Does -4 = k?
False
Suppose 0 = 5*b, 144*q = 149*q + 4*b + 380. Which is greater: q or -54?
-54
Let g(m) = m**2 - 4. Let i be g(-4). Suppose 0 = 38*h - 58 - 360. Is i less than h?
False
Suppose 746*w - 742*w + 8 = 0, 3926 = 2*y - 4*w. Is 1963 != y?
True
Suppose 5*m + 230 + 315 = 0. Let o = m - -107. Is o not equal to 1/45?
True
Suppose 0 = -5*n + 2*i + 741 + 223, -3*i - 774 = -4*n. Suppose 0*x = 5*x - 2*p - 963, -5*x + 4*p = -971. Which is greater: n or x?
n
Let y be (-12)/28 + (-3 - (-11944)/(-28)). Let r = y + 3441/8. Is r less than or equal to 56?
True
Let f = -10 - -11. Suppose 299*g = 297*g + 162. Is f equal to g?
False
Let x(j) = -374*j + 2693. Let q be x(7). Let l be -150*-1*1/2. Do l and q have the same value?
True
Let g(s) = -37*s + 372. Let o be g(-6). Which is smaller: 593 or o?
593
Let l(h) = 3*h**2 - 10*h - 13. Let p be l(8). Let t be (-498)/p + (6 - -2) + -3. Is 2 != t?
True
Let w = -512.00708 - -512. Is w < 0?
True
Let p = -4235 + 4236. Is p less than or equal to -111?
False
Let w = -3 + 2. Let c = -2653 + 4221. Let s be c/525 + 3 + -1 + -5. Is w equal to s?
False
Let a = 25 - 25.2. Let q = -0.192 + -0.066. Let t = -0.212 - q. Is a < t?
True
Suppose 15*d - 39*d - 42816 = 0. Are d and -1786 non-equal?
True
Let b be ((-243)/2268)/(3*(-2)/1304). Is b greater than 22?
True
Suppose 170*i - 5*r - 1 = 169*i, 3*i = 2*r + 3. Is 1/1360 less than or equal to i?
True
Let c = 18571 - 54310/3. Is 469 at most as big as c?
False
Suppose 0 = -27*k - 150 + 42. Let v(y) = 0*y + 8 + 2*y + 0. Let n be v(k). Is -2/61 at least n?
False
Let g = -7 + 14. Suppose -6*p = -g*p + 15. Suppose 4*h + 36 = 3*a, -13 = -5*a - 4*h + p. Is 11 less than a?
False
Let p be ((-9)/(-5))/((9/(-30))/(-1)). Suppose 3*z - 6*z = -15. Suppose -5*t - z*n = -60, n + 6 + 6 = 2*t. Are t and p non-equal?
True
Let s(d) = -d**2 - 51*d - 135. Let z be s(-11). Which is smaller: 291 or z?
291
Let g = -0.2 - 1.1. Let q(z) = -9*z - 1. Let l be q(-1). Let h be 0 + l/((-4)/1). Is g smaller than h?
False
Suppose 0 = -3*s - 2*s + 105. Let h = -183 - -206. Suppose -68*k = -69*k + h. Which is bigger: k or s?
k
Let w be 144/(-9 + (-13 - -20)). Is -65 != w?
True
Let g = -92 + 120. Let f(q) = q**2 - 36*q + 227. Let h be f(g). Which is bigger: h or 40/9?
40/9
Let t = -262 - -250. Let o be ((3/t)/(-1))/(1/(-4)). Is o < -2/71?
True
Let c = -16 + 83/5. Let w = 249 - 248. Which is smaller: c or w?
c
Let b be (-9)/(-45) - (-4038)/(-15). Let c = b + 265. Is 3/2 greater than c?
True
Suppose -5*q = -2*b + 38, 242*q - 37 = 5*b + 246*q. Does -37/80 = b?
False
Let t(c) be the first derivative of -9*c**2 - 3*c + 7. Let b be t(1). Do b and -11 have the same value?
False
Let k = -12620/3 - -4207. Which is smaller: k or 66?
k
Let z be -119*((-192)/(-17) + -12). Let v(q) = -q**3 + 10*q**2 - 8*q - 7. Let m be v(7). Is m bigger than z?
False
Let w = 0.3 - 0.2. Let d = -330 + 561. Let t = d - 204. Is w > t?
False
Let x be 1/((-5 - (-130)/20)*-2). Are 4593 and x non-equal?
True
Let o be -3 - (-2)/(-2)*-2. Let z = 18223/24 - 2279/3. Is o greater than z?
False
Let r(u) be the second derivative of -u**4/6 + 7*u**3/6 - 5*u**2/2 + 55*u. Let f be r(3). Is f bigger than -5/9?
False
Let j = -1486/3 - -15338/33. Which i