han 22/41?
False
Suppose 4*x - 8 = -0*g + 4*g, -5*x + 12 = -4*g. Suppose -3*l - 36 = 6*l. Let r be (-3*(-13)/18)/(g/l). Which is bigger: -5 or r?
r
Let j = 7155 - 7156. Is j != -191?
True
Let r = -7822 - -7611. Which is greater: r or -1481/7?
r
Let u = 12817.74 - 12818. Which is greater: 0.23 or u?
0.23
Let u = -9475 + 9460. Is 16 at least as big as u?
True
Suppose -3*q + 0 = -14*q - 22. Let r = -212.0226 - -0.0226. Is r less than q?
True
Suppose 5*d - 12 + 0 = 6*r, -4*r - 8 = d. Which is smaller: d or -1/580?
-1/580
Let x be (3458/(-39))/(-38) - (-1 + 1). Do -159 and x have the same value?
False
Suppose 0 = -127*s + 12676 - 73890. Which is smaller: s or -479?
s
Let h = -2/393 - -1187/1572. Let r = -14 + 16. Suppose -4*s + 0*i - 16 = -5*i, 0 = -3*s - r*i + 11. Which is greater: h or s?
s
Let g = 800781 + -5594119/7. Is 1620 bigger than g?
False
Let i = -28 - -15. Let p be (-3)/((-14858)/(-90288) - 6/(-81)). Are p and i unequal?
True
Let g be (760942/(-52) - 23)*(-1 - (-1)/3). Does g = 9772?
False
Let c = 22.5 - 3.5. Let i = -10.5 + c. Let x = i - 4.5. Which is bigger: x or -2/9?
x
Let t = -42 - -90. Let f = t + 11. Is 63 <= f?
False
Let j = 3794 + -56912/15. Is j at least as big as 1?
False
Let i be (0 + 0)*((-190)/(-20) - 9). Let w be ((-1)/(-10))/(-2*(-6)/(-23368)). Let n = 195 + w. Which is smaller: i or n?
i
Let t be (-10872)/(-96) - 6/(-8). Suppose 284 = 2*w + 58. Does t = w?
False
Let y be 13 + 345/75*-3. Let m = -4 + 2. Is y at least as big as m?
True
Let c be (-506)/(-1182)*21/3 + -3. Let y = 3250.1 + -3250. Is c greater than or equal to y?
False
Let b = -12 + 11.55. Let w = b - -1. Let y = 29.81 - 30.81. Is w at least as big as y?
True
Suppose -9*w = -6*w - 6. Let f be 1 + (-14 - (w - -2)). Let p = -3.1 - -3.1. Does f = p?
False
Let z(m) = -5*m + 29. Let q be z(6). Let f be ((-104)/1736)/(-13) - 2/(-7). Is f bigger than q?
True
Suppose a + 124 = 3*a. Let q = 69 - a. Let w be -1 + 6/q - (-375)/(-21). Which is greater: w or -16?
-16
Let u(y) = 6*y**2 - 36*y + 1038. Let q be u(19). Is q at least 2518?
True
Let y be 11/(-143) - 43425/(-563680). Do 0 and y have different values?
True
Suppose 0 = -2*x + 9 - 3. Let o = -9965.02 + 10136. Let t = o - 171. Which is smaller: x or t?
t
Let q(b) be the first derivative of b**4/4 - 4*b**3/3 - b**2/2 + 6*b + 1. Let j be q(4). Suppose j*s = 4*s + 2*r - 24, 0 = 3*s + 4*r - 36. Does s = 13?
False
Let o = 24 - 34. Let d be (-2)/o - 68/15. Let i = d - -5. Is i equal to 7?
False
Let w(x) = 864*x - 4319. Let u be w(5). Is 9/2366 > u?
False
Suppose -2*r - 11*l = -12*l + 9, 0 = -6*r + 2*l - 18. Which is smaller: r or 5/101?
r
Suppose 3*y = 5*y - 6. Suppose -y*u = 2 + 10, -w + 3*u + 16 = 0. Let v be 1*(2 - w) - -44. Is v at most as big as 1/2?
False
Let s be (-17)/(272/48) + (0 - 8). Which is smaller: -8 or s?
s
Let h be (1 + (-116)/111)*(-11 + (-9162)/(-828)). Is h > 0?
False
Let t be (-13)/(169/39)*(-208)/(-24). Let g = -4280 - -25517/6. Are t and g unequal?
True
Let w(j) be the first derivative of 3*j**2/2 - 42*j - 29. Let h be w(14). Suppose h*y = -4*y + 4*u + 12, 3*y - 5 = -u. Do y and 7/9 have the same value?
False
Let g = 3670 - 2932. Is 738 at least g?
True
Let r be (1/2)/(158/(-16432)). Is r < -48?
True
Suppose -56 = -4*w + 60. Let b be ((-161)/21 - -9)/((-2)/3). Let k be b - 28/(-12) - (-16)/(-12). Is w less than or equal to k?
False
Let w = 1268.4770936 + 0.1139064. Let r = 1256.6 - w. Let s = -0.009 + r. Which is smaller: -1 or s?
s
Let z = -23 - 16. Let n = z + 41. Suppose -n*a = -16 + 8. Which is bigger: 6 or a?
6
Let i = -3 - -2. Let s = -115 + 109. Let v be (27*2)/(s/4). Which is bigger: v or i?
i
Let r be (-2)/(-7) - 564/14. Let w be 7/(-63) + (-2)/(108/2181). Which is greater: w or r?
r
Let o = 0.7193 + -0.7193. Which is smaller: o or -16.06?
-16.06
Let g be (10 + -1 + -7)*(-1)/2935. Let w = -14709/49895 - g. Which is greater: 1 or w?
1
Let u be (-171004)/(-2024) - 15/(-5) - 0. Let g = u - -3/253. Are 89 and g equal?
False
Let a(x) = x**2 + 133*x - 67. Let d be a(-37). Is d at most -3621?
False
Let a(b) = 412*b + 1336. Let q be a(-6). Which is bigger: -1138 or q?
q
Let x = 0.2 - -0.8. Let l = x - 0.98. Let q = 14487.01 + -14487. Are l and q nonequal?
True
Let t = 341.0422 - 0.0422. Let c = t + -340.98. Is 48 bigger than c?
True
Suppose -5*r = -3*r - 6, 0 = 2*m + r + 31. Let d = -0.16 - -2.16. Let l = 2.3 - d. Do l and m have different values?
True
Let o = -0.04924 + -0.26076. Is -0.008 >= o?
True
Let a = -511 + 107. Let k = a + 402.6. Does 5 = k?
False
Let c(f) = -f + 3. Let t be c(6). Let r(j) = -7 - 14 + 28 - 17 - 5*j. Let u be r(t). Which is smaller: u or 7?
u
Let v(w) = 12*w**3 + 3*w**2 + w - 1. Let h be v(1). Let z be (h/25 - 1)/((-112)/20). Is z != 5?
True
Let u = 76.345 - 76.2. Which is greater: -1 or u?
u
Suppose -5*o = -5*w - 370, -2*w - 152 = -2*o + 2*w. Let m = o - 93. Is m at least as big as -0.1?
False
Let w = 1513023/19558 + -851/11. Which is greater: 0 or w?
0
Let g = -144787/4 - -35122. Do g and -1074 have the same value?
False
Let z(a) be the second derivative of 0 - 1/3*a**3 - 7/12*a**4 - 16*a + 1/2*a**2. Let x be z(1). Is -11 bigger than x?
False
Let u be 4/(-2) - 2/((-6)/1239). Let a = u - 1318. Let z = 53515/59 + a. Do z and 0 have different values?
True
Let p be (42/(-2240))/(36/10). Let h = -612813/7 - -117659705/1344. Let y = h - p. Which is smaller: -1 or y?
-1
Let n = -8.6 + -7.4. Let d = -8 - n. Let o = -5/2 - -3. Which is bigger: o or d?
d
Let t = 814 + -772. Let i be ((-6)/t)/((-8)/(-20)). Is 1 < i?
False
Let s(p) = -7*p**3 + 13*p**2 - 3. Let x(w) = -11*w**3 + 19*w**2 - 3. Let t(q) = 8*s(q) - 5*x(q). Let i be t(9). Let o = 5229/4 - 1317. Is o bigger than i?
False
Let t be (79/(6320/(-192)))/((-4)/15). Which is greater: t or -76?
t
Let b = 735 + -732. Let j = -14.93 + -0.07. Let s = j + 40. Is s > b?
True
Let z be 2/(-7) + 489/21. Let h be (-1485)/(-22) + 14/4. Suppose -z = 4*l - h. Is l <= 14?
True
Suppose i - 77 = -78. Let l be ((-15)/4)/(i + (-7)/(-8)). Is l greater than or equal to 30?
True
Let j(a) = -a**2 + 7*a + 629. Let r be j(18). Is 433 at most as big as r?
False
Let g = 221430 + -664301/3. Suppose 2*p - 10 = 3*x, -3*p - 1 = 4*x + 1. Suppose -v = p*v + 12. Which is smaller: g or v?
v
Let u be 33 - 1 - 5/1. Let v be (-4)/(-8) - (-18)/u. Does 2 = v?
False
Let i be (-10)/5 - (5 - 9). Suppose -u - i*u = -1278. Let y be u/(-612) + (-6)/(-9). Which is greater: 0 or y?
0
Suppose -l = -2*l + 132. Let s be l/(-176)*(0 + 14/(-39)). Which is smaller: s or -1?
-1
Let o be (-66)/14 - (-112)/140*5. Which is smaller: o or -3/23?
o
Let h(z) = -z**2 + 18. Let i be h(-4). Let k be ((-1120)/(-6))/(-2) - (-5 + i). Is k >= -89?
False
Let q = 7133 - 7133.1269. Which is smaller: q or -8?
-8
Suppose -57*x - 168*x - 26*x = -13*x. Is x at least 1/9099?
False
Suppose 20 - 20 = 266*l. Is 6/4889 <= l?
False
Let m = -16 + 16.2. Let p = -1.1 - 1.7. Let x = 4.1 + p. Is m < x?
True
Let k(s) = -2*s**3 + 31*s**2 - 32*s - 141. Let i be k(14). Is i less than 14/439?
True
Suppose -13 = -z - 2*g, -5*z + 0*g = -4*g + 5. Suppose d = -26 - z. Let m = 1116 + -1146. Is m smaller than d?
True
Suppose 0 = -5*c + 3*j - 4171, -3*c - 2499 = -549*j + 546*j. Which is bigger: -834 or c?
-834
Let j(w) = -4*w - 106. Let h be j(-27). Suppose -l = 2*l - 90. Let t be h/(-3)*15/l. Which is smaller: t or 0.09?
t
Let g = 2198 - 24316/11. Which is greater: g or -14?
g
Suppose -1 = l - 6. Let s be (6/(-28))/((-567)/11880). Let f = s + -10/49. Is l less than or equal to f?
False
Let f(v) = -7*v**2 + 36*v + 11. Let n be f(6). Let j be 7510/n + (-12)/(-20)*-1. Is j greater than or equal to -301?
True
Let k be (27/5)/(66/(-3542)). Is k at most -291?
False
Let i = -158 + 175. Let g be 0/2 - (-8 + i + -9). Are g and -18/47 nonequal?
True
Suppose -2*n = -2*d - 0*d + 92, 2*n + 95 = -d. Let o = n + 49. Suppose 42 = 5*m + 4*u - 82, -5*u = o*m - 36. Is 27 less than m?
True
Let j = -15/664 - -5545/392424. Does 0 = j?
False
Let u = -4185043/138 - -60643/2. Let v = u + 2771/1932. Let o = 26/7 + v. Is -2 > o?
False
Suppose 12 = 2*f - b - 2, 11 = -f - 4*b. Let t be (2/f)/(6/(-5)). Suppose 3*x = -5*x - 8. Are x and t nonequal?
True
Let i be 556/138 + -10*(-30)/(-75). Let o be (-36)/60 - (-33)/5. Let j be o/(-27) - (-4)/18. Whi