bigger: f or k?
f
Suppose -3*x + 8*x - 159 = 3*n, -3*x = -5*n - 249. Let a be -4 - 0 - 360/8. Which is smaller: a or n?
a
Let w be 1/(-3) - (-76)/12. Suppose 0 = -3*g + 6*g - 18. Is w less than g?
False
Let q be 13431/(-242)*(4/6)/2. Which is bigger: 0 or q?
0
Let t = 1312 + -837. Which is bigger: 477 or t?
477
Let j(l) = -5*l**2 - 16*l - 3. Let o be j(-3). Is o > -16/27?
True
Let r = -98581/44 - -2241. Let q = r + -3/11. Suppose 0 = -5*p + 3*u + 1 - 7, -5*p - u + 2 = 0. Are p and q equal?
False
Let a = -4 - -4.076. Let x = a - 0.076. Which is smaller: x or -17?
-17
Let f(g) = 3*g - 4. Let h be f(4). Suppose h*s = 7*s + 14. Let v be 8/4 + (-8)/s. Which is bigger: 2 or v?
2
Let m be -7 + 75820/10472 + 2/(-7). Let t = 6 - 6. Is t <= m?
False
Let o(y) = -4*y**2 + 7. Let r(a) = 5*a**2 - a - 7. Let v(g) = -6*o(g) - 5*r(g). Let s be v(0). Is -5 at least as big as s?
True
Let w = 24 - 23. Let d be -18 + 15 + (5 - w). Let r be 6/9*6 + d. Is r less than or equal to 5?
True
Suppose 5*y + 0*y - 50 = 0. Let b = y + -10. Let i be (4/(-16))/(22/(-8)). Which is bigger: i or b?
i
Let f be (5 - 4 - 1) + (4 - -1). Suppose -5*a - 45 = u, 4*u + 17 = -f*a - 28. Suppose -c - 3*z = 2, 0 = -4*c + 2*c + 5*z - 26. Which is bigger: c or a?
c
Let r be ((-585)/25)/(-9) - -7. Let n be 11 + (-2 - -1 - 1). Which is bigger: n or r?
r
Let j(r) = -5 + 32 - 11*r - r**2 - 15. Let p be j(-12). Is -4 equal to p?
False
Let s = 11 - 10.59. Let a = s - 1.41. Are a and 1/3 nonequal?
True
Let o = -88.824 + 89. Which is smaller: 1 or o?
o
Let r = 110 + -70. Let x be 24/r - 39/(-135). Which is smaller: x or 1?
x
Suppose -4*m = -4*w + 12, 0 = -2*w - 3*m - 0 + 1. Suppose -w*l + 4*z + 26 = l, 4*l + 5*z = -17. Suppose 2*a - 4 = -l. Which is smaller: 2/31 or a?
2/31
Let q = 11 + -10. Suppose -3*u + q - 10 = 0. Let z = 7 + -11. Which is smaller: u or z?
z
Suppose -181*l - 32 = -183*l + 5*u, l - u - 10 = 0. Is l at most as big as 6?
True
Suppose 3*r = -5*p + 9, 5*r = -14 + 4. Let j be p - 3*260/252. Suppose 4*y = -4*z + 16, -3*y + 7 = -z + 3*z. Which is smaller: j or y?
y
Suppose 2*y + 2*y = 5*n, 0 = 5*n + 4*y - 40. Let b be n/(-5)*(-55)/242. Which is bigger: 7 or b?
7
Suppose 0 = -3*q - 3*q + 804. Suppose 86 = -3*r + q. Which is greater: 17 or r?
17
Let s = 0.085 + -0.065. Which is greater: s or 0.1?
0.1
Let o(v) = -v**2 + 2*v - 1. Let u be o(1). Suppose 2*y + y + 3 = u. Is -1 smaller than y?
False
Let o be ((-189)/14)/((-3)/(-20)). Let v be 6/(-27) - 8/o. Is v > 0?
False
Let a = 5 + -2. Let f = -0.25 - -0.3. Let l = -1.05 + f. Which is smaller: a or l?
l
Let q(f) = f**3 - 4*f**2 - 4*f - 7. Let a be q(5). Suppose 2*b = -4*n + 8*n - 8, 5*b = 10. Let m be 1 - (0 + n - -1). Which is greater: a or m?
a
Suppose -4*i - 3*l = -0*i - 8, 0 = -2*i + 4*l - 18. Is i smaller than -15/37?
True
Let r(k) = -k. Let w(z) = z**2 + 21*z + 15. Let y(m) = 6*r(m) + w(m). Let u be y(-14). Let g = -1 - -1. Are g and u equal?
False
Suppose -28 = -d - 4*g, -5*g - 1 = d - 34. Let w(j) = -j + 7. Let k be w(d). Which is greater: 1/36 or k?
1/36
Suppose -z - 5*l + 10 = 0, -7*z - l + 50 = -2*z. Which is smaller: z or 13?
z
Let u(m) = 3*m**2 + 20*m + 1. Let i = 4 - 11. Let o be u(i). Suppose o*v = 3*v - 5*q - 135, 3*q = 5*v + 167. Which is greater: v or -30?
-30
Let i(u) = -3*u + 4. Let y be i(-2). Let q be ((-12)/y)/3*350/45. Which is greater: -2 or q?
-2
Suppose -14*g = -13*g - 307. Which is smaller: g or 308?
g
Let h(f) = f**3 + 20*f**2 - f + 6. Let v be h(-20). Let q be -3 - v/(1 + -1 + 2). Is q not equal to -17?
True
Let k be (-1)/((3 + -2)*-1). Suppose 3*h = 2*s - 0 + 1, 7 = -3*h + 4*s. Suppose 3*m - 6 + 19 = q, 25 = -h*m + 4*q. Is m greater than or equal to k?
False
Suppose 3*x + 122 = -3*k - 100, 3*k + 72 = -x. Let c = -819 + 746. Which is smaller: c or x?
x
Let q(h) = -h + 7. Let b be q(8). Let a = -14 + -24. Let t be a/(-372) + 1/(-6). Which is greater: b or t?
t
Suppose -6*w - 12 = -2*w. Let k be w/(-1) + (-5 - 18). Is k < -18?
True
Suppose -23*b = -7*b + 128. Suppose 3*g - 2*g + 7 = 0. Which is smaller: b or g?
b
Let r be (-147)/(-2401)*(-1 + 0)/2. Is 0 bigger than r?
True
Let c = 281 + -285. Let f(g) = -1 + 10 + 2 + 2*g. Let m be f(-8). Are m and c unequal?
True
Let i = 476619/64 - 7447. Is i at most -1?
False
Suppose -2*u + 0*u + 20 = 0. Let m be (9/2)/(3/6). Which is smaller: m or u?
m
Let w(i) = -5*i - 5. Let b be w(-1). Let y be 6/(-9) - 334/(-795). Let z = y - -6/53. Is z > b?
False
Suppose -57*u - 120 = -54*u. Let b be 16/(-294)*30/u. Let z(s) = s - 2. Let i be z(2). Is b < i?
False
Let u be ((-14)/(-8))/((-290)/(-72) - 4). Let b be 2/((-548)/9 + 14/u). Is b > -1?
True
Let q(r) = r**2 - 51*r + 145. Let v be q(48). Is -4/129 at most as big as v?
True
Suppose -5 = -5*d, -3*b - 2*d = -b - 48. Suppose -8*g - 10 = -18. Which is smaller: g or b?
g
Suppose 45*n - 12*n = 0. Which is greater: 4 or n?
4
Let o = -746/17 - -9702/221. Are 0 and o nonequal?
True
Let v(q) = 1 - 3*q - 5 + 4*q. Let k be v(4). Let r = k - -1. Is r < 7/4?
True
Let k be -5 + 11/((-66)/(-192)) + 3. Is 34 greater than k?
True
Let q = 1068 - 1067.5. Which is bigger: -17/4 or q?
q
Let d = 3 + 1. Let r be (-11)/22 - (-34)/4. Let t = 7 - r. Is t > d?
False
Let y be (-4)/(-2) - 96/46. Suppose -9*b + 214 = -830. Let j = b - 578/5. Which is bigger: y or j?
j
Suppose -4*b = -4*c - 16, -b = 2*c + 132 - 115. Let h be 0/(-2) - 25/3. Is c not equal to h?
True
Let k be (-2 - 176/(-60))/(2/(-63)). Let q = 29 + k. Which is greater: -2/51 or q?
-2/51
Let h(a) = -a**3 + 21*a**2 + 27. Let v be h(21). Which is bigger: v or 32?
32
Suppose -177 = 25*d + 48. Let w be (-1 - 2)/(2/6). Do w and d have different values?
False
Let i(w) = 2*w**2 - 46*w - 29. Let l be i(25). Suppose 87 = -3*s - o - l, 5*o = -4*s - 207. Is s equal to -52?
False
Suppose 61*w = 55*w + 150. Suppose -26 = k - w. Which is smaller: -88 or k?
-88
Let o = 146/77 - 83/44. Is 1/2 != o?
True
Let y be (-90)/360*(-472)/(-10). Let x = -15 + 4. Which is smaller: y or x?
y
Let o(n) = -19*n + 50. Let u be o(-8). Which is smaller: 201 or u?
201
Let j be 75/20*1092/(-8710) - (-2)/4. Let a = 1 - 1. Is j bigger than a?
True
Let r(b) = 6*b**2 - 3*b - 7. Let x(w) = -13*w**2 + 7*w + 15. Let y(s) = 7*r(s) + 3*x(s). Let o be y(3). Let p = o + -24. Which is smaller: p or 2/41?
p
Let i = -14.93 + 15. Let d = -25531/4 + 6435. Let z = 52 - d. Is i bigger than z?
True
Let s = -0.0756 + 56.0756. Which is smaller: -1 or s?
-1
Let i be (1 + 0)*(21 - 8). Suppose -85 = -i*c + 8*c. Let w = c + -28. Is w greater than or equal to -11?
True
Let j be (10/(-90))/((-4 - 0)/(-156)). Is -4 at least as big as j?
True
Let u be 2/(-14) + 495/231 - 28. Which is smaller: u or -25?
u
Let b = -32 - -33. Let z be (2 - 5 - (-4)/b) + -2. Which is smaller: z or 1/137?
z
Let f = 79497/50 - 1590. Which is smaller: f or 5?
f
Let y be (-135)/(-60) + (-114)/8. Which is greater: y or -4?
-4
Let j = -157/156 - -12/13. Let z be 5/(6/(-9)*(-75)/10). Which is greater: z or j?
z
Let c = -18 - -7. Suppose 277 = 4*h - 5*n + 77, 0 = 4*n. Suppose -3*y - 2*y - h = 0. Is y != c?
True
Let q(v) = 6*v - 1. Let z be q(1). Suppose -z*r + 17 - 87 = 0. Let p = -16 - r. Which is smaller: p or -1/2?
p
Let q be (37/5)/((-64)/40). Which is smaller: -5 or q?
-5
Let m = -4 - -9. Let n(j) = j - 1. Let r be n(5). Suppose -2*s = q - r*s, 0 = -2*q - s. Which is smaller: m or q?
q
Let n(v) = 34*v - 1. Let u be n(2). Suppose -183*k + 332*k + 2244 = 183*k. Which is smaller: k or u?
k
Let k = 475 - 476. Is k bigger than -2/1671?
False
Let y(a) = a**3 + 16*a**2 + 13*a - 32. Let t be y(-15). Let j be t/(-13) + (-106)/13. Is -0.09 at most j?
False
Let o = 0 - 7. Let v be (-22)/(-4) - (-2)/4. Let r be (-28)/(-6)*(-9)/v. Is r greater than or equal to o?
True
Suppose -3*j = w + 111, -5*w - j = -0*w + 625. Which is smaller: w or -125?
w
Let x = -230.61 - -231. Which is smaller: x or -0.3?
-0.3
Let v be ((-108)/(-105) - 1)/(9/(-36)). Let u = v + -2/595. Is u bigger than -0.3?
True
Let r(p) = 7*p**2 - 2*p + 3. Let z be r(3). Let s be -3 + 5/(175/z). Is -2 <= s?
True
Let k = -82038 + 1968539/24. Let f = k + 91/6. Let i = 106/3 + -36. Which is smaller: i or f?
i
Let x(d) = 2*d**2 + 8*d + 18. Let m be x(-5). Let b be m/(-70) - (2 + 1436/(-590)). Are b and 0 nonequal?
True
Suppose 5*s + 7 + 3