1/20. Which is smaller: z or -15?
z
Let u be (80/(-15))/((-268)/45 + 6). Which is bigger: u or -2?
-2
Let f = 7742 - 7907. Is f not equal to -166?
True
Let o be 2/(-6)*(-106 - -25). Let a be ((-2)/171)/((-144)/o). Is 1 < a?
False
Let j = -13880 + 13828. Let y(o) = 14*o + 5. Let t be y(-4). Which is smaller: t or j?
j
Suppose 140 = -283*f + 280*f - 2*g, 232 = -5*f - 2*g. Suppose -52 = -2*d + 2. Suppose d = -x - 21. Is x greater than f?
False
Suppose 1 = 8*t + 41. Let d(r) = 4*r**3 - 3*r**2 - 2*r. Let k be d(-1). Is t at least k?
True
Let z = -2647.0769 - -2647. Is -2/5 bigger than z?
False
Suppose 0 = -3*k - 3*j, -10 = -k - 4*j - 1. Let i be (k/(-18))/((-209)/76). Which is smaller: i or 0.6?
i
Let c = -82 + 58. Suppose 86*b = 60*b + 104. Which is smaller: b or c?
c
Let z be -1 + 3 + 9 - 0. Suppose 0 = 5*o - 2*f - 2*f - 62, -2*o + z = 3*f. Let c = 16 - o. Which is bigger: c or 5?
c
Let k be 3 + 2*8/(-4). Let j be (-12)/375*((-525)/(-98) + -5). Which is bigger: k or j?
j
Suppose 0*a = a - 243. Let q = a - 302. Is q != -60?
True
Let c(o) = -2*o**2 + 3*o + 7. Suppose 3*j - 6*j = 0. Let t be c(j). Let d(u) = -2*u + 3. Let y be d(-3). Which is bigger: y or t?
y
Let w be (4/(-6))/((-6)/(-9)). Let t be -4*(-6)/(-24) + (-670)/(-6). Let y = -677/6 + t. Which is smaller: w or y?
y
Suppose -18*f + 15*f - 12240 = 5*r, 5*r + f + 12240 = 0. Do -2449 and r have the same value?
False
Let t be (-3*(-1)/(-2))/((-57)/1900). Suppose 0 = -5*n - 5*a - t, -3*a - 48 = -6*n + 11*n. Let c(v) = -3*v**2 - 33*v + 22. Let b be c(n). Is b less than 76?
False
Suppose 4*a + 5*q + 240 = 0, 57 = -2*a + 5*q - 33. Let s be ((-88)/12)/(10/(-75)). Let u = s + a. Which is smaller: 3/52 or u?
u
Let d = 261 - 260.99. Let p = 41 + -55. Is d smaller than p?
False
Let w be ((-67694)/561)/((-1)/3). Which is bigger: w or 367?
367
Let g = 604 - 603. Is -2/1875 <= g?
True
Suppose -5*m + 262 - 282 = 0, 4*m + 16 = c. Is c > -1/6208?
True
Let n = 1240 + -1239. Is n greater than -0.139?
True
Let d = -3720 - -5396. Is 1676 > d?
False
Let w(y) be the second derivative of y**4/6 + y**3 + 9*y**2 - 152*y. Let f be w(-4). Is 14 at least f?
False
Let l be ((8/12)/(-1))/((-1)/6). Suppose -4*k - 3*j = -k + 21, l = 2*j. Is -3 <= k?
False
Let y = -190 + 191. Let c = 410 + -3692/9. Which is smaller: c or y?
c
Let n = 0.09086 + -0.28786. Let s = -12 + 12.2. Is s > n?
True
Let t(w) = -61*w + 929. Let g be t(10). Is 319 bigger than g?
False
Suppose 94 = -7*d + 115. Suppose 2*a = -0*a. Suppose -3*f - 59 = 4*k, 0*f - d*f - 15 = a. Do k and -11 have different values?
False
Suppose -54*l + 12 = -50*l. Suppose l*h = 44 + 46. Let b be (h/(-16))/(4/16). Which is smaller: b or -9?
-9
Let t be ((-8)/(-14))/(36/630). Suppose 6*p - t = 8. Suppose -3 = w, k - 5*w - 15 = p*k. Are k and -1/30 non-equal?
True
Let z be 1108/(-24) + (-3)/(-18). Let b be 141/z + -2 + 5. Let p = -44 - -45. Is p at most b?
False
Let h be (-1)/(-4) - (-14)/8. Suppose v - 5 = -2*v + 5*f, -h*v - 5*f - 5 = 0. Which is smaller: v or -17/19?
-17/19
Let n(a) = 2*a - 10. Let f be ((-224)/35)/((-6)/15). Let p be n(f). Let v be (-40)/p + (-8)/44. Is -19 > v?
False
Let v = 132395593/6447 + -20536. Do 1 and v have the same value?
False
Let l(c) = 69*c**2 + 28. Let b be l(-6). Let i = 36 - 28. Let g be b/3804 - i/12. Is -1 equal to g?
False
Let k be 16/(1 + 0 + 0). Let c = 14543 - 14522. Let x = k - c. Is x at most -4?
True
Suppose 2*d + 8 = -0*d. Let j be (54/117)/(30/d). Let h be (12/4 - 3)/(-10 - -11). Which is greater: j or h?
h
Suppose 165*w - 45 - 120 = 0. Are w and -2/4089 nonequal?
True
Let f be (-648)/6237 + 4/22*-1. Let v be 0 + 1/6 + (-57309)/(-126). Which is greater: f or v?
v
Let q be ((7 - 7) + 11/(-3))*-39. Let s = -149 + q. Which is bigger: -3 or s?
-3
Let i = -5 + -5. Let l(x) = -x**3 + 19*x**2 + 561*x + 19. Let n be l(-16). Is i at least n?
False
Suppose -10567 = 5*g - 5*z + 7*z, 0 = -3*g - z - 6341. Which is bigger: -2117 or g?
g
Let s be (172/14)/((-1)/(-7)). Let n = 118 - s. Which is bigger: n or 29?
n
Let s be (1/3)/((42/(-18))/7). Let k be s + (-1 - (-22 + 2)/2). Let u(m) = -m**3 + 6*m**2 + 9*m - 9. Let r be u(7). Is r at most as big as k?
True
Suppose -6*j = 3 + 15. Let r be (j + (-16)/(-6))/(15/765). Which is greater: r or 3/2?
3/2
Let u(r) = -r**3 + 5*r**2 - 3*r - 3. Let c be u(3). Suppose 0*d + c*d - 1032 = 0. Suppose 4*v + d = -0*v. Is 0 at most v?
False
Suppose -11*x = 2*v - 16*x + 20, -3*x = -12. Suppose v = 35*r - 18*r - 544. Let q be ((-3)/(-2))/(-3)*-62. Which is smaller: q or r?
q
Let z = -254 - -260. Suppose 4*v = -z*v - 4*v. Which is smaller: -3/46 or v?
-3/46
Let r = 31/13 + -185/143. Suppose 16*v + 63*v + 326 + 385 = 0. Is v greater than or equal to r?
False
Let j = -5528 - -2332817/422. Let u be ((-3)/7 - 81/(-189))/(-1). Which is smaller: j or u?
u
Suppose 5*x - 39921 = l, 81*x - 3*l = 82*x - 7997. Are x and 7984 unequal?
True
Suppose 78*l + 7 - 56 = 29. Is -1/6357 smaller than l?
True
Let y be (-52)/65 - 32/(-40). Is 7/247 < y?
False
Let q(o) = 5*o**2 - o. Let n be q(1). Suppose 44 + 52 = n*z. Let s = 27 + -27. Is z bigger than s?
True
Let w = -2 + 2. Suppose w = -5*h + 4*p, -15 = -7*p + 4*p. Let f = 5429/996 - 371/332. Is h < f?
True
Let x = 36 + -42. Let w = -37 - x. Let r = -30 - w. Is -4 less than r?
True
Let j = -6188 + 5983. Let c be (6/(-5))/(51/8715). Let f = c - j. Is f bigger than -1?
True
Let q be ((-2806)/(-205))/(1/32). Let n = q - 438. Are n and 0 non-equal?
True
Let h = 2298.174 - 2301. Let g = h - 0.074. Let o = 2.7 + g. Which is bigger: 0.16 or o?
0.16
Let l be ((-1)/(-1))/1 + 5/(-10). Let y = 0.07 + -0.91. Let o = y - -35.84. Which is smaller: l or o?
l
Let g(d) = -27 - 4*d**2 + 22 - 8*d + 2*d**2 + 0*d**2. Let i be g(-4). Let u(y) = 2*y**3 + 11*y**2 + 5*y - 1. Let j be u(i). Is j at least as big as 1?
False
Let a be -14 + 508*(-8)/(-248). Do 3 and a have different values?
True
Let h be 12/(-2) + 5/3 + -1 + 5. Is 411 smaller than h?
False
Let c = 7313.3 - 7313. Do c and 192 have the same value?
False
Suppose 10*b + b = -110. Let r be (-2*1)/(-8) - b/40. Let v be (-6)/27 - 328/(-18). Which is bigger: r or v?
v
Let c = -3/10780 + -9507921/140140. Which is smaller: -69 or c?
-69
Let v be (-301 + 64)*(4 - (-30)/(-9)). Are -164 and v nonequal?
True
Suppose 0 = 7*n - 2*n - 5*y - 9055, 0 = -4*n - 5*y + 7289. Is n < 1817?
True
Let f be 1/2*2*-1 + 6. Suppose -5*u + f = -k, -4*u + 17 + 35 = -4*k. Is k at most as big as -11?
True
Let q = -267 + 261. Let d = -5383 - -21661/4. Let r = 32 - d. Which is smaller: q or r?
q
Let x be 6/4*3/(27/24). Suppose x*a - u = -7 + 9, -5*u = -a - 9. Which is greater: a or -11?
a
Let i = 5.14 - 10.34. Let r = 5.7 + i. Is r less than or equal to -3?
False
Suppose 0*w = 13*w + 1521. Let n = w + 358/3. Is n at least as big as 1?
True
Let k be 38710/(-6432) + (-2 - -5). Let z = 145/48 + k. Is -1 != z?
True
Let w = -277 + 272. Let u be 0 - (0 + (-21)/w). Is u at most as big as -5?
False
Let a(c) = -c**2 - 21*c + 14. Let b be a(-11). Suppose -b = 4*n - 4. Suppose 5*p + 153 = 2*f, 13*p - 4*f + 74 = 11*p. Is n smaller than p?
True
Let h = -5774 - -5773.951. Which is smaller: -0.3 or h?
-0.3
Let k(r) = 3*r + 19. Suppose -3*h + s = 15, -2*s - 2*s = h + 5. Let a be k(h). Suppose -a*b = -3*b. Are b and 2 nonequal?
True
Let u be 108/(-72) - 17/(-2). Suppose -55 - 85 = -u*s. Which is smaller: 228/11 or s?
s
Suppose -175 = -5*w + 40. Let s = -45 + w. Let z be s/(-2) - (1 + 6/129). Which is smaller: z or -1?
-1
Suppose 108*r - 96*r + 2304 = 0. Let q = r + 200. Suppose 7 = 4*x - 3*x. Which is greater: x or q?
q
Suppose -o = -4*o - 2*q - 126, -q - 42 = o. Let u be (30/63 + 6/o)*186. Which is smaller: u or 64?
u
Let z(l) = 234*l**3 - 477*l**3 + 240*l**3 - 16 - 21*l**2 + 4*l. Let n be z(-7). Does -130/3 = n?
False
Let p be ((-4 - -2) + 1)*12. Suppose -6*j = -9*j - 12. Let v(u) = -u**3 - 6*u**2 - 6*u - 2. Let h be v(j). Is h smaller than p?
False
Let l be 5/(-3) + (-770)/(-77) + -8*1. Which is bigger: l or 7622?
7622
Let y(u) = u**3 - 20*u**2 + 61*u + 48. Let f be y(16). Is 29.19 bigger than f?
True
Let g = -294 - -296. Suppose g*d - 30 = -5*k - 139, d + 37 = k. Is d at least -40?
False
Let s(p) = -p**2 - 11*p + 3. Let x be s(-18). Let q be x/205 - (-1)/(-165). Are q and -1 unequal?
True
Let c(x) = 