 + 6. Let n(l) = l - 12. Let b be n(9). Let y be (b/(-81))/(2/(-4)). Are y and j equal?
False
Suppose -5 = 39*c - 44*c. Which is greater: -4/115 or c?
c
Let s = -55 + 118. Let x = s - 62.7. Which is bigger: -2 or x?
x
Suppose 2*n + n = -5*c + 7, -2*n = -8. Suppose -34 = -6*o - 46. Let y be (o/3)/(84/9 + -1). Is y at least as big as c?
True
Let q be (-171)/(-13) - ((-37)/13 - -3). Is q <= 11?
False
Let o(i) = i**3 + 14*i**2 + 16*i + 13. Let y be o(-13). Let d = 23 - y. Which is bigger: d or 50?
50
Let w be (2 - 3)*14 + 1*-3. Let o = w - -16. Let j = 1/34 - 2/357. Is o at least j?
False
Suppose 16 = -4*r - 2*t, 5*t + 0*t = -4*r - 16. Which is greater: r or -36/13?
-36/13
Let v = -1 + 1.01. Let t be (-4)/(-30)*(-6 - -3). Is v smaller than t?
False
Let p(l) = 68*l + 61. Let u be p(-1). Are -54/7 and u nonequal?
True
Let c = -3/3665 - 1711546/10995. Let u be (49656/(-18))/1*(-35)/(-620). Let q = u - c. Which is bigger: q or 1?
1
Let j be (-60)/(-675)*5/(-18). Suppose -l - 15 = 5*t - t, -5*l - 3*t = 7. Which is smaller: j or l?
j
Suppose -2*x - 1 = 15. Which is smaller: -1/2 or x?
x
Let v be (-1)/2*-8 + -1. Suppose 2*i - 3*g + 1 = -v*i, 3*g + 9 = 0. Is -6 bigger than i?
False
Let z = 0.6 - -37.4. Let h = z + -44. Are h and -1 unequal?
True
Let l be -1 - (15/(-3) + 3). Suppose -35 = 2*i - l. Which is bigger: -15 or i?
-15
Let d = 10.7 - 8.4. Which is greater: d or -2/11?
d
Let o = -774 - -934. Is 159 greater than o?
False
Let a = -254 + 251. Which is smaller: a or 10?
a
Let k = 971 + -943. Which is smaller: k or -13?
-13
Let k(h) = -2*h - 7. Let d(u) = u**3 - 19*u**2 + 17*u + 15. Let q be d(18). Let v be k(q). Is -5 > v?
False
Let y = -84 - -83.4. Let q = -0.8 - -0.3. Let d = 0.3 + q. Is y at most as big as d?
True
Let w = 4268/119 - 235/7. Which is bigger: 2 or w?
w
Let l = 29 + -9. Let q = l + -12. Let b = -8.1 + q. Which is bigger: b or -0.05?
-0.05
Let u(x) = -77*x**3 - x**2 + 1. Let f be u(1). Let s be 4/(-10) - f/55. Are s and 2 equal?
False
Let o be (3 - (-5)/(-2))*-34. Suppose 16 = 2*j - 54. Let h = 34 - j. Is h less than o?
False
Suppose 5*y = 9*y. Suppose y = -4*t + 7 + 1. Let r(k) = -2*k - 3. Let h be r(-3). Which is smaller: h or t?
t
Let v be (-12)/(-9)*(-5 - -8). Are 30/11 and v unequal?
True
Let a = -95.8 + 95.6. Which is smaller: -123 or a?
-123
Let o = 662 + -496. Which is bigger: o or 164?
o
Let a = -149 + 1041/7. Suppose -10*w = 3*q - 9*w + 112, 80 = -2*q - 2*w. Which is bigger: a or q?
a
Suppose 4*v - 49 = 3. Let a = 13 - v. Is -6/19 equal to a?
False
Suppose 2*o - 8 = -2*g - 0*g, 0 = 4*o + 5*g - 21. Suppose 50*l = 45*l + 5940. Let r be ((-1206)/l - (-1 + 0))*-1. Are o and r nonequal?
True
Suppose m + 2*m - 10 = -u, 2*u - 14 = -3*m. Suppose -p - 25 = 5*g, u*p + 21 = 1. Let c be (-51)/12 - (-3)/g. Is c >= -3?
False
Let v(t) = 3*t + 34. Let y be v(-5). Let x(j) = j**2 + 6*j - 38. Let h be x(-11). Which is greater: h or y?
y
Let v = 18 + -16. Let w be (72/(-16))/(v/4). Is w > -7?
False
Let p = -7 - -11. Suppose -f + 4*f - 24 = p*y, 2*f - 4*y = 16. Let r = -162 + 171. Which is greater: r or f?
r
Let u = 1277 - 1277.3. Which is smaller: 4 or u?
u
Let k = 395288/321 + -3694/3. Which is bigger: k or 0?
k
Let k(s) = 3*s - 1. Let g = -4 - -4. Let r be k(g). Let y be 1/(1/(2/(-17))). Is r less than y?
True
Let b = -701/9700 - 3/388. Suppose 0 = 4*l - 7 + 11. Let x be (1*2/(-2))/(l - 0). Which is bigger: b or x?
x
Suppose 1 + 3 = -b, b = 3*r - 10. Suppose r*x + 2 = d, -3*x = 5*d + x + 4. Is -16/11 equal to d?
False
Let n = 30 + -30. Suppose -x - p - 23 = -n*p, -5*x = 2*p + 106. Are -3/4 and x equal?
False
Let i = -17 + 22. Suppose 0 = 2*t - j + 1, -3*t - i*j = 31 + 3. Let g be (77/4)/7 + t. Is 2/15 less than g?
False
Suppose 0 = 2*q - 5*l + 52, 78 = -28*q + 25*q - 4*l. Which is smaller: q or -29?
-29
Suppose -128*r = -129*r + 25. Is 28 bigger than r?
True
Suppose d + 352 = -4*i - 144, 1475 = -3*d + i. Which is smaller: d or -491?
d
Let t = 80.5 - 80. Which is smaller: t or -0.075?
-0.075
Let i = 24 - 29. Let k be (4/(-63))/(10/i). Which is smaller: 0 or k?
0
Suppose 3*v + 10 = 4*r - 0*v, -2*v - 16 = -5*r. Suppose 5*p - 5*d + 9 + 11 = 0, -4*d = r*p. Is -7/6 greater than p?
True
Suppose 15*z - 1187 = -752. Which is bigger: z or 4?
z
Suppose 0 = -4*i + 3*i + 99. Suppose 4*y = 3*w + i, 2 + 1 = -3*w. Let n be ((-4)/14)/((-16)/y). Which is smaller: n or 1?
n
Suppose -5*t = 5*q - 35, -5*t = -5*q - 2*t + 3. Suppose 3*p - 5*u - 4 = -4*u, 3*p + 5*u - 16 = 0. Suppose -q*x = p*x. Are x and -1 equal?
False
Suppose 0 = 2*o + 67 - 63. Let l = o - -1. Is 2/11 less than l?
False
Let x = 30 + -18. Let u be (-82)/(-7) + (-32)/(-112). Is u at least as big as x?
True
Let i be ((-34)/(-2618))/(1/(-6)). Which is greater: i or -1?
i
Suppose 0 = -9*j - 0*j + 162. Which is bigger: j or 75/4?
75/4
Let l be -27*2/8*(-944)/42. Let y = l + -152. Which is greater: y or 59?
59
Suppose -27*p + 12*p - 45 = 0. Do p and 1 have the same value?
False
Suppose 2*r = -10, -4*j - 6 = -2*r + 12. Suppose 5*f - 11 = -4*b - 35, -2*f - 13 = 5*b. Let v be ((-1*6)/(-1))/b. Which is bigger: j or v?
v
Let h = 172 - 163. Which is bigger: 104/11 or h?
104/11
Let y = 7149917 - 264577969/37. Let o = 839 + y. Is 0 >= o?
False
Let y = -7713/14 - -551. Suppose 5*b = -v + 2 + 19, -4*b + 17 = v. Let w be 0/1 + v + -1. Is y <= w?
False
Let a be (-3 - 91)/(-8 - -6). Let q = a - 193/4. Let i = q + 49/36. Is i greater than -1?
True
Let i(j) = -j**3 - 9*j**2 - j - 5. Let n be i(-9). Suppose -n*a - h = -1, -2*a - h + 23 = 4*h. Which is smaller: 9/22 or a?
a
Let b(u) = u - 3. Let n be b(4). Let f = -267 - -282. Which is bigger: n or f?
f
Let v(y) = -3*y - 7. Let t be v(1). Let r be ((-12)/t)/(2/(-5)) - -2. Is r at most 1?
True
Let s(b) = -7*b. Let z be s(1). Let x be (-24)/(-14) - (-4)/2. Let g = -157/14 + x. Are g and z unequal?
True
Let y = 643/1467 - -1/163. Let z = 0.2 + -0.1. Let s = z + -0.2. Is s greater than or equal to y?
False
Let f = 771 + -771. Which is greater: f or -29/4?
f
Let h be ((-18)/5)/(8/(-20)). Let s be 2/1 - (-3 - 7). Let m = h - s. Which is smaller: -7/3 or m?
m
Let o = 5 + -17. Let v = 12.1 + o. Let c = v - 0. Which is greater: 1 or c?
1
Suppose -133 = 2*p + 13. Which is smaller: p or -74?
-74
Let j(h) = -h**3 - 10*h**2 + 10*h - 8. Let o be j(-11). Let i be 2/6*0 + 2. Let q be i - -3 - (6 - 5). Does o = q?
False
Let o be 5/(-4) + (-5685)/60. Is o equal to -97?
False
Suppose 2*w + 5*m = -3*w - 25, -w - 2*m - 10 = 0. Suppose -t + w = -3. Which is smaller: t or 9/5?
9/5
Let j = -210 + 161. Which is smaller: 0.1 or j?
j
Let a be (-2)/1 - (-18)/(-2). Suppose -3*j - 2*t + 64 + 51 = 0, 0 = 2*t + 8. Suppose 40*s - 10 = j*s. Is a at least as big as s?
False
Suppose 7*c - 8*c - 4 = 0. Let p be (-1)/((3/(-4))/(c/(-16))). Is p at most 2/35?
False
Let t = -251/330 - -8/11. Are t and 1 unequal?
True
Let t = -27.979 - -28. Let u = -2.379 - t. Which is greater: u or -1/4?
-1/4
Let h be (3 - (-32)/(-10))/((-656)/40). Let a(r) = 2*r - 14. Let t be a(7). Which is smaller: t or h?
t
Let v = -1833 + 1596. Which is bigger: 2/13 or v?
2/13
Let n be (11 - (-442)/(-39))*3. Let f be 0 - ((-131)/60 + 1). Let j = -31/12 + f. Which is greater: n or j?
n
Suppose -4*v + 5*f = 2*f - 1215, 3*v + f - 921 = 0. Let h = v - 13771/45. Is h less than or equal to 1?
True
Let c = -437 - -1731/4. Is c not equal to -3?
True
Suppose 403*g - 405*g + 60 = 0. Which is smaller: 13 or g?
13
Let i be (-5 + -3 + 10)/(-2). Let s = -8/23 - -25/138. Which is smaller: i or s?
i
Suppose 92 = -17*y + 840. Let r = -37 + y. Is 9 less than or equal to r?
False
Let r = -1.619 - -0.119. Which is smaller: r or 1?
r
Let f = 0.01 + 37.99. Let i = -38 + f. Is 0.1 equal to i?
False
Suppose 0 = 33*o - 668 - 256. Let z(r) = 3*r + 5. Let x be z(6). Suppose 2*p + 4*s = o, -7 + x = 4*s. Is p < 6?
False
Suppose 69*c - 72*c + 6 = 0. Which is smaller: c or 3/2?
3/2
Suppose -2*i + 3 + 1 = -4*h, 4*h - i = -2. Suppose -2*c + c + 2 = h. Let f be (c - 1) + (8 - 1). Do 6 and f have the same value?
False
Suppose 5*l - 9 = 3*m + 7, 3*l - 15 = 0. Suppose 3*t - 3 - 9 = 0. Suppose m = -t*p - 5. Which is smaller: -1/2 or p?
p
Let z = 4 - 11. Let a(y) = 3*y + 14. Let t be a(-6). Is t bigger than z?
True
Let u(k) = 18*k**3 - 39*k**2 - 2*k + 11. Let f be u(5). Whic