4. Let f be k(9). Is 436 greater than or equal to f?
True
Let f = -6.93 + 5.93. Which is smaller: 218 or f?
f
Let r be 98260/(-348908) + 16/7 + -2. Which is bigger: 1 or r?
1
Let c = 173814/253 - 687. Is c bigger than 0?
True
Let c = 14 + -13. Let s = 72 + -368/5. Is s not equal to c?
True
Let t = 14 - 16. Let f be ((0 - 0) + t)*1. Let v be 2 + 2 + 69/(-15). Which is smaller: f or v?
f
Let s be 376/132*6 - 1/11. Which is smaller: s or -2/23?
-2/23
Let g(z) = z**3 + 6*z**2 - 8*z - 6. Suppose 3*t - 9 = a + 2*a, -1 = -3*a + 5*t. Let d = -15 - a. Let m be g(d). Which is smaller: 2/9 or m?
2/9
Let i be -7 - (4 + (-1224)/112). Which is bigger: -3/5 or i?
i
Suppose 3*o + 6 = 2*i + 2*o, -5*i - 3*o + 4 = 0. Suppose h - 9 = -i*q - 0*q, 0 = -4*h + q + 9. Let x be 2*(3 + 1*-2). Are h and x nonequal?
True
Let n = 1463 + -1463.2. Which is smaller: 77/2 or n?
n
Let b(q) = 22*q**2 + 3*q + 4. Let w be b(-2). Which is smaller: 89 or w?
w
Let o be 1/6*-2*3. Let k be 1016/(-14)*((-252)/(-16))/(-7). Let z = -163 + k. Which is greater: z or o?
z
Let t(y) = -5*y**2 + 110*y - 2. Let w be t(22). Is -20/7 at most w?
True
Let v = -432/13 - -33. Let f be 25/50 + (-2)/(-4). Is f at least v?
True
Let l be (-10)/(((-36)/(-87))/6). Is l at most as big as -146?
False
Let p be ((-48)/(-30))/(1724/430 + -4). Is 171 greater than or equal to p?
False
Let f be ((-29)/3)/((-1)/(-6)). Which is greater: -59 or f?
f
Let y be -353*(-8)/416 + -6. Is 1 at least as big as y?
True
Let p = 739 + -983. Which is bigger: p or -240?
-240
Let u(m) = -m + 11. Let h be u(5). Suppose -14 = v + 3*s + s, -3*v = -5*s - 26. Suppose 3*r + 4 = -v*k + h*k, -r = -k. Is 4 at least as big as r?
True
Suppose 5*a - 3 = 2*a, 4*a = b + 5. Let d = 2/111 + -41/222. Which is smaller: d or b?
b
Let p be 4 + -1 + -2 + 0. Let f be 12/(-371)*p/3. Let s = f + 2278/4823. Which is smaller: -1 or s?
-1
Let h = 2 + -5. Let v = 1.39 + -0.39. Which is smaller: h or v?
h
Suppose -100*a - 10 = -98*a. Suppose 0 = 5*o + 9 - 4. Is o at least as big as a?
True
Let f = -681 + 682. Is 34/15 not equal to f?
True
Let b = 1 + -2. Let u be 2/(-5) + (-126)/35 + 30. Suppose -5*t - u = -y, -t - 6 = -0*t - y. Does t = b?
False
Suppose 0 = a + 3*a + 12. Let c be ((-5)/a + -2)/((-112)/(-16)). Which is smaller: -1 or c?
-1
Let c be (225/180)/(25/4). Which is greater: c or 40?
40
Suppose 2 = -7*j + 8*j, 32 = -2*l + 5*j. Is l equal to 1?
False
Let r be 0 + (1 - (0 - 14)). Let c be (-5 + 4*(-7)/28)*(-16)/6. Which is smaller: r or c?
r
Let w(q) = q**2 + 6*q + 2. Let x be w(-6). Suppose -3*f + 2*a = 29, 0 = 5*f + 3*a + x*a + 40. Let n = -2 + f. Are -11 and n unequal?
False
Let q = 611 + 680. Which is bigger: q or 1292?
1292
Suppose -23*t + 200 = 2*t. Which is bigger: t or 13?
13
Let a be ((-9)/12)/((-1)/4). Suppose -5*t = t + a*t. Which is bigger: 1/2 or t?
1/2
Suppose -9*s - 1610 = s. Let g = s + 194. Is g <= 35?
True
Let v = -1 + 2. Let b = 66 + -1183/18. Which is greater: b or v?
v
Let i be (-3)/(90/(-356)) + 4/30. Suppose i*b - 5 = 17*b. Which is bigger: -2 or b?
b
Suppose -43 = -2*i + 5*m, m - 4*m + 3 = 2*i. Let r(k) = -k - 10. Let b be r(-5). Let l = i + b. Is l at least as big as 4?
True
Let s(n) = -n**2 - 25*n + 225. Let w be s(-27). Is 0 at most as big as w?
True
Let h = 69 - 66. Is h bigger than 17?
False
Let r(d) = d**2 - 2*d - 61. Let i be r(9). Which is smaller: -7 or i?
-7
Let m(g) = 3*g**2 + 41*g + 69. Let f be m(-12). Is 151/18 != f?
True
Suppose -1625 = -3*y + 4*h, 13*y = 17*y + 4*h - 2148. Is 538 less than y?
True
Let t = -28 + 27. Let d be 0/(t - (-4 - -2)). Let k be (-3 - -8)/(-20)*d. Are k and -2/25 non-equal?
True
Suppose 4392 = 383*k - 395*k. Is -367 at least as big as k?
False
Let y = 2 - 3. Let n be (-3)/6*(300/555)/(-5). Which is smaller: n or y?
y
Suppose 20*b + 3 = 23*b. Suppose 3*a + b = -44. Is a < -14?
True
Let w be (2 - 11)*(-52)/(-12). Let g = -38 - w. Which is bigger: 4/33 or g?
g
Let s be ((-32)/26)/(7/56). Is -10 smaller than s?
True
Suppose -16*b - 627 = -35*b. Suppose 0 = -0*z + 3*z - 99. Does z = b?
True
Let w = -73 - -59. Let v(j) = j**3 + 15*j**2 + 16*j + 17. Let c be v(w). Is c at least -13?
True
Let z = 3 + -3. Let j be (-3)/((-2 - (-1738)/12) + (-55)/165). Which is smaller: z or j?
j
Suppose -12*q = -7*q - 1300. Suppose 3*d = 7*d - q. Which is smaller: d or 66?
d
Let c = 0.8 - -0.3. Are 3/11 and c nonequal?
True
Suppose 2*l = -3*b - 18, 6 = -5*b + 4*b + 2*l. Let u = b - -22. Suppose -32 = 15*p - 257. Which is smaller: p or u?
p
Suppose s = 5*o + 5, 0 = -10*s + 5*s - 4*o + 25. Let b(v) = -1 - 7*v - s + 4 + v**2 + 3. Let l be b(7). Which is smaller: l or 4/7?
4/7
Let c be (-20)/((2/(-1))/(-2 - -3)). Are c and 0.05 nonequal?
True
Suppose 59 = 17*a - 9. Let n = -3 + 10. Are a and n unequal?
True
Suppose 1358*j + 728 = 1351*j. Is j bigger than -99?
False
Let x be 4/26*19/171. Which is greater: x or -1?
x
Suppose 5644 = 5*x - p, 3*x - 10*p - 3389 = -12*p. Is x greater than 1129?
False
Let q(s) = s + 2. Let n be q(2). Suppose 5*r = r + n. Let t = 45 - 582/13. Which is smaller: r or t?
t
Let o be (-40)/32 - 2/(-8). Suppose -n + 4 = 4*z + 25, z = 2*n - 3. Is n smaller than o?
False
Let k(l) = 2*l**2 - 14*l + 8. Let i be k(10). Are 69 and i unequal?
True
Suppose 23 = 10*x + 63. Are x and 36 unequal?
True
Let q = -304 - -305.47. Let r = 0.03 + q. Is r != 1/2?
True
Suppose -3*t - 15 = -6. Suppose 0 = s + 4*y + 5, -s + 5*y = 2*s - 2. Which is greater: s or t?
s
Let g = 12.41 + -12.51. Is g greater than 104.4?
False
Let n be (-8)/6*((-14)/4 - -2). Let c be 4/(-11) + (-3)/33*n. Let y(h) = h. Let r be y(-1). Which is greater: r or c?
c
Let l = 42 - 43. Let p = 8.25 - 8. Is l at least p?
False
Suppose 0 = -3*l + 3*r + 33, 0*l - 4*l = -r - 50. Let w = 25 - 16. Let c = w + 5. Is l greater than c?
False
Suppose -5*h = 4*c - 6317, 4*h - c = -4*c + 5053. Let i be (-8)/(-44) + h/(-220). Let k = i - -24/5. Do k and 0.2 have the same value?
False
Suppose -2*i + 4*v + 20 = 0, 0 = -5*i - 9*v + 12*v + 15. Which is bigger: i or 9?
9
Suppose -505 = 5*u - 10*u. Suppose 0 = -5*f + h - 106, 4*h = f - 6*f - u. Let j = f + 22. Is 2/17 < j?
True
Let x(l) = 3*l + 22. Let c be x(-8). Let b be (-4)/(-16)*2*12. Let o = b + -9. Is c >= o?
True
Let l be 27/84*(-248)/186. Let p(y) = y. Let o be p(1). Is l less than o?
True
Suppose -2*g - 11 = -5*w, -7*g + 5*g - 3 = 3*w. Which is bigger: -5/12 or w?
w
Suppose 15 = -0*k - 3*k. Let o(y) = -y**2. Let p be o(-1). Let d(x) = -x**2 - 1. Let c be d(p). Is c < k?
False
Suppose 4*b - 5*k + 0*k + 59 = 0, -2*k = 4*b + 38. Let x be (-112)/(-11) - (-2)/b. Suppose x = 4*u + 26. Does u = -2?
False
Let i be 20/2 - 4/1. Let j(a) = -a**2 + 3*a**2 - 8*a**2 + 9*a + i - a**3 + a**2. Let z be j(-6). Is z greater than -12?
False
Let u = 6.4 + -2.4. Suppose 3*i - 17 = q, -5*q - 15 = 3*i - 4*i. Suppose -2*t + i*o = 3, -3*t = 4*o - 0 - 7. Is t at most u?
True
Let l be 288/(-180)*(-710)/4. Which is smaller: l or 285?
l
Let g = 27 + -27. Let v(h) = -h**3 - 11*h**2 + h - 10. Let l be v(-5). Let q = l + 828/5. Which is greater: g or q?
q
Let r = 4.9586 - -0.0414. Which is greater: -1 or r?
r
Let c = 19 + 129. Let t be c/(-6) - (-8)/(-24). Let j = 22 + t. Which is smaller: -12/7 or j?
j
Let d be (-452)/92 + 1 + 4. Suppose -3*w + 6*w + 3 = 0. Do w and d have the same value?
False
Let p be (-1 - (-6)/(-3)) + 94/26. Let u(n) = -3*n - 3. Let x be u(-1). Which is bigger: p or x?
p
Suppose 0 = 5*d + 39*n - 35*n + 45, d = 2*n - 9. Is d less than or equal to -1?
True
Suppose 2 = -13*u - 11. Let q be ((-3)/(-1))/(u/(24/(-9))). Which is smaller: 11 or q?
q
Let k(d) = -5*d - 23. Let n be k(-5). Suppose 146 = 3*t + n. Do 0 and t have the same value?
False
Let c be (-60)/9*(-90)/12. Let b = c + -157/3. Which is greater: b or -3?
b
Let a = 251036/35 - 7173. Is a greater than or equal to -1?
True
Let z = 76 - 76. Is z greater than -2/23?
True
Let a = -4984/5 - -1839101/1845. Which is bigger: 0 or a?
a
Suppose -2*t - 7 = 5*u - 66, -4*u + 42 = -t. Let p = u + -10. Is p equal to -2/27?
False
Let u(w) = -w**3 - 17*w**2 - 18*w - 34. Let c be u(-16). Is -2 greater than c?
False
Let g = -146/23 - -90912/14329. Which is smaller: g or 0?
g
Suppose m + 4*h - 9*h = -60, 0 = -2*m - 4*h - 64. Let q be 1/(-2*(-4)/m). Which is smaller: 1/3 or q?
q
Let v 