1/(-1)*1. Let l(z) = -z**2 + 105*z - 186. Let f be l(103). Which is bigger: f or u?
u
Let q = 8 + 13. Suppose -3*h = 3*a + 15, 3*a - 2*h = -3*h - q. Suppose -27*s + 72 = -36*s. Is a >= s?
True
Suppose -4*i = 12, -4*i = -2*m + 12 - 0. Let s(l) = l**2 + 2*l + 6. Let v be s(-3). Let d be (-4)/(-4) - (7 - v). Is d > m?
True
Let b(k) = -20*k + 121. Let a be b(6). Is 10/27 at most as big as a?
True
Let u = 102 + -27. Let l = -75 + u. Is 5.6 >= l?
True
Let g be ((-98)/28)/(((-7)/(-2))/(-7)). Which is smaller: 1 or g?
1
Let n = 1349 - 1786. Is -437 at most as big as n?
True
Let p be (3 - (2 - -5)) + (-2 - -4). Are -4 and p equal?
False
Let u = 10 + -18. Let d = -12 - u. Let x = d - -4.6. Which is smaller: 2 or x?
x
Let j be (75/9 - 6) + (-16)/12. Which is greater: 11 or j?
11
Let b = -18 + 9. Let i be b/(-12) - 18/24. Let w = 1 + -1. Is i greater than or equal to w?
True
Let b = -377/14 - -27. Suppose -5*z - 2*o = 6, 0*o = z - 3*o + 8. Let y be (-9)/(-18) + 1/z. Do b and y have different values?
True
Let y = 2/37 + 33/74. Let b = 1.59 + -0.09. Let u = 1.7 - b. Is u < y?
True
Suppose -8 = -4*k, 68 = -7*t + 5*t + 5*k. Does t = -31?
False
Let b be (-2)/1 - (-9 + 1). Suppose -b = -m + 4. Let i be (-36)/(-1305)*m/4. Is 0 equal to i?
False
Let v = -506.5 + 504. Which is greater: -3 or v?
v
Let p(z) = -10 + 16*z + 3 + 1 + z**2 - 2*z**2. Suppose -2*q - 8 = 0, -m - 2*q + 4 = q. Let l be p(m). Which is smaller: 1 or l?
l
Let u = -49 + 40.3. Let f = u - -9.03. Is -1/2 less than f?
True
Let w be (-563)/(-1395) - (-6)/(-15). Which is smaller: w or -1?
-1
Let c = -0.324 - 0.676. Which is bigger: c or 1/88?
1/88
Let r = -219 - -254. Let h be (-16)/3*216/(-32). Which is bigger: h or r?
h
Let a(c) = -74*c + 63. Let t be a(1). Suppose -2*z - 16 = 4*q - 4, 2*z = 4*q + 12. Which is bigger: t or q?
q
Let i(u) = -2*u**2 - 6*u + 6. Let o be i(-5). Let q = 16 + o. Let b be (-2)/q - (3 - 3). Is b bigger than 0?
False
Let j = 41 - 41.1. Let z = 25.1 - 4.1. Which is bigger: z or j?
z
Let o be (2/(-3)*3)/(25 + -23). Let x be (o - 0)/((-5)/(200/(-4))). Is x <= -45/4?
False
Let w = 1 + -1. Let m(u) = u - 17. Let c be m(18). Is c at most w?
False
Let k = 30 - 18. Suppose -i - 3*i = k. Which is greater: -4 or i?
i
Suppose 0 = -3*i + 1 - 10. Suppose 28 = -4*z + 5*p, 2*z - 23*p = -19*p - 20. Which is greater: i or z?
z
Let w(f) = 12*f + 9. Let g be w(-4). Let x = g + 5. Is x less than -34?
False
Suppose 0 = -3*q + q + 6. Let d = q + 19. Let i(j) = 3*j**2 - 45*j - 25. Let r be i(16). Which is bigger: r or d?
r
Let y = -1 + -1. Let u(d) = 2*d - 5. Let v be u(13). Let b be 6/v - 222/42. Which is smaller: y or b?
b
Suppose y - 5 = -3*w - 2*w, -w - 43 = -2*y. Let g = y + -40. Let c = 26 + g. Which is greater: c or 5?
c
Let l(z) = -z**2 + 4*z. Let v be l(5). Let n be 2 - -9*(-16)/12. Let u be (-3)/(-18) - v/n. Which is bigger: u or 0?
0
Suppose -2*t + 3*t + 65 = 0. Suppose 376*i = 403*i + 1728. Is i greater than t?
True
Let c = 13 - -15. Suppose -5 = y - 4. Which is greater: c or y?
c
Let r(p) = -p**3 + 8*p**2 - 6*p - 7. Let n be r(7). Suppose n = -k - k - 8. Is -1 not equal to k?
True
Let x be (-21)/10*15/135. Which is bigger: 0 or x?
0
Let s = 164 + -114. Suppose 15*b + s = 20*b. Is 8 != b?
True
Let f = -49 - -70. Let b = 20 - f. Is b >= -2?
True
Let d = -35677 - -35676.7. Suppose -2*p - 2*n = 4, 0 = -4*p + 2*p + 5*n + 3. Let q = p - -2. Does q = d?
False
Let c(v) = v**2 + 6*v - 3. Let z(o) = -o**3 + 1. Let g be z(-2). Suppose 4*t + g + 11 = 0. Let a be c(t). Is -8 less than a?
False
Let u be 34/(-204) + (-274)/(-1788). Is 0 >= u?
True
Let u = 55 + -54.93. Let g(b) = -b + 10. Let a be g(10). Suppose 4*h + 4 = -a. Which is greater: u or h?
u
Suppose 8 + 48 = z. Are z and -3 unequal?
True
Let o = 8 + -8. Suppose -5 + 29 = 2*t - 5*r, 5*t - 37 = r. Suppose t*j + 21 = -0*j. Is j at least o?
False
Let s = 2078.7 + -162.7. Is s smaller than -1?
False
Suppose 2*r + 20 = 4*f, 3*r - r - 15 = -3*f. Let g be (-2)/5 - 2/(-5). Suppose g = -3*m + f*m. Which is smaller: 2/5 or m?
m
Suppose 180 = -65*k + 47*k. Do k and -45 have the same value?
False
Suppose 4*m + 20 = -3*s, -s - 6 = -m + 3*m. Let t be (-5*20/(-25))/(1/(-2)). Is s greater than t?
False
Let n = -789 + 793. Which is smaller: 28/9 or n?
28/9
Let k = -34 - -16. Let l = k + 17. Let i be (-40)/(-15) + 2/l. Is i less than or equal to 1?
True
Suppose -6 - 1 = 2*g + x, -5*g - 15 = 5*x. Let l = 78 + -389/5. Which is greater: l or g?
l
Let a be 90/(24/(-9) + 2). Which is greater: a or -136?
a
Let x = -17.49 + -11.51. Which is bigger: x or 0.05?
0.05
Let x(i) = i**2 - 4*i - 8. Let b be x(7). Let l be (-2)/b - (-708)/78*2. Which is greater: l or -2?
l
Let h = 30 + -25. Suppose 3*t - 3*c = -3, -h*t = -c - 2*c + 11. Which is bigger: -16/5 or t?
-16/5
Suppose -455 = -5*b - 0*b. Let k be 14/b + 4/(-26). Which is bigger: k or 18/13?
18/13
Let o = 29 - 16. Let b = -148 + 161.3. Let x = o - b. Does -2 = x?
False
Suppose -32 = 2*p - 4*y + 4, y + 6 = -p. Let x be (2/(-7))/(2 + p/6). Which is smaller: -1 or x?
-1
Suppose -3*u = -6*u - 3*j + 24, -12 = -3*u + 3*j. Suppose 18 = -3*b + u. Suppose -3*g = -g. Is b equal to g?
False
Let j = 879 + -851. Are j and 9 non-equal?
True
Let v(t) = -31*t - 85. Let j be v(-19). Is j at least 503?
True
Suppose -12*g + 16 = -8*g. Let d be (-2)/g - (-563)/10. Let w = d - 56. Is w not equal to 0.1?
True
Suppose 0 = -4*f - 40 + 140. Let g = -13 - -39. Is g greater than or equal to f?
True
Let d = -0.15 - -0.05. Suppose -3*m - 15 = -51. Let q be (-70)/8 + (-3)/m. Do q and d have the same value?
False
Let c(h) = 3*h**3 - 3*h**2. Let q be c(2). Let v = 67 + -64. Suppose v*f = -3*f + 66. Is q at least as big as f?
True
Suppose 0 = 4*s + 74 + 2. Let z = s - -31. Suppose -2*g + 4 - z = 0. Which is greater: -6 or g?
g
Let o(d) be the second derivative of -d**3/2 + d**2 + 11*d. Let h be o(-3). Is 9 bigger than h?
False
Let c = -202.94 + 203. Which is greater: c or 10?
10
Let q be -6*(-10)/(1 + 1). Let v be ((2 + 1)/q)/1. Which is bigger: -0.1 or v?
v
Let a = 1 - 1.4. Let h = -11 + 11. Let w = -0.1 + h. Is w at least a?
True
Let z = 39 - 39.6. Let a = -8.6 - z. Which is smaller: 0 or a?
a
Let v(g) = -g**2 + 8*g - 11. Let y be v(8). Suppose 0 = 6*o + 45 + 9. Does o = y?
False
Let p(g) = g**2 - 3*g - 8. Let v be p(-4). Which is smaller: 23 or v?
v
Let g = -266 - -581. Suppose g = 8*a + 59. Is 33 smaller than a?
False
Let q be (-2)/(-8) + (-46)/(-40). Suppose -57 + 121 = -18*h + 100. Which is greater: h or q?
h
Let a be (15/3)/(2/6). Suppose 3*t + a = -4*k, -t + 6 + 2 = -3*k. Let z = 8.893 - 8.693. Which is greater: t or z?
z
Suppose -w + 0*w = -28. Suppose -7*y + 3*y = -w. Which is greater: y or 1/3?
y
Let z = -524 - -753. Let w = 7325/32 - z. Is w at least as big as 0?
False
Let q(x) = 2*x - 79. Let a be q(33). Which is bigger: -10 or a?
-10
Let r = 0 + 0. Let m be 4/22 + 7896/132. Let n be (-1)/(-36)*-1*160/m. Which is greater: r or n?
r
Let s be (-8)/(-3)*(-693)/(-286). Which is greater: 5 or s?
s
Suppose 0*q = -3*q - 4*g + 5, -4*g = -q + 23. Let z = 58 - 28. Let a be (-6)/z + (41/(-5))/(-1). Which is bigger: a or q?
a
Let b = -12 - -23. Let o = -27 + b. Let r = 23 + o. Which is smaller: r or 1?
1
Let q be (-3)/(-6) - (-35)/10. Suppose 4*c + 14 = -5*w, w + 3 = -q*c + 13. Which is smaller: w or -4?
w
Suppose 0 = -15*q + 11*q + 324. Let w be 24/(-18)*q/6. Is -19 at least as big as w?
False
Let i = -4.62 - -5. Let f = -0.48 + i. Suppose 2 - 11 = -3*y + m, 0 = -m - 3. Is f != y?
True
Suppose -1 = 2*v - 5. Suppose -3*m = -v - 13. Suppose -m*g + g = 28. Are -15/2 and g unequal?
True
Let u(v) be the first derivative of -v**4/4 + v**3 + 2*v**2 - v + 4. Let s be u(4). Suppose 2*d - 5 = -3. Is s equal to d?
False
Suppose 0 = y + y + 4, -4*m - 2*y + 384 = 0. Is m <= -2/9?
False
Suppose -4*x = -2*x + 58. Let g = -29 - x. Is g less than -9/5?
False
Let c(v) = -24*v**2 + v + 21. Let z be c(-3). Which is smaller: z or -598/3?
-598/3
Let h = -625 + 628. Which is smaller: h or 9?
h
Let x be -4065*2/4*(-44)/55. Let j = -73166/45 + x. Which is smaller: -1 or j?
-1
Let p(x) = 29*x. Let n(a) = 28*a. Let c(k) = -4*n(k) + 3*p(k). Let i be c(1). Is i at most -27?
False
Suppose -6*n - 857 = 175. Let a = -1941850/11 - -176360. Let d = a - n. Which is greater: -