 = -n + 5 - 3. Let l = -180376/19 + 75237863/7923. Let g = 1/139 + l. Is g at least as big as n?
True
Let l be (36/288)/(19/(-4)). Let z = l + 79/114. Let i = 1 - 1. Which is smaller: i or z?
i
Suppose -j + 13 + 31 = 0. Are 42 and j nonequal?
True
Let g = -17.252 + -3.518. Let q = -0.77 - g. Is -0.2 greater than or equal to q?
False
Let l = 57 + -57. Suppose 0 = 2*t - 6. Suppose 0 = -2*a + 4*v - 2*v - 4, 5*v = -t*a + 18. Is l at least a?
False
Let l = -4 - -3. Let s be -1 + ((2 + 0)*-25 - 3). Let m be (s/28)/(-9) + -1 + 1. Is l smaller than m?
True
Let x = 265 - 449. Let r be x/260 - 2/(-5). Suppose -2*m + 6 = 8. Do r and m have the same value?
False
Let j = 30.7 - 29.55. Is 0.1 < j?
True
Let t be 3/(-5) + (-323)/(-5). Suppose -2*o + t = 8. Let c be (-10)/o*8/(-10). Which is smaller: c or 0.1?
0.1
Suppose 162 = -240*b + 222*b. Is b greater than -11?
True
Suppose -b - 12*z = -16*z + 34, 0 = -4*b + 4*z - 76. Which is bigger: b or -63/5?
-63/5
Suppose -85 = -5*t + 5*f, -2*t - 2*f - f = -49. Suppose 0 = -h + 6*h - t. Suppose -2 = -2*p + h*p. Is 0 != p?
True
Let i = -97 + 130. Do i and 33 have the same value?
True
Let z = 336.01 + -10.01. Which is smaller: z or -1?
-1
Let o = 4083/11 + -371. Is o >= 29/4?
False
Let s(w) = -w**3 - 6 + 34*w - 4 - 15*w**2 + 37. Let k be s(-17). Which is bigger: k or 28?
28
Let a = 84 + -134. Let j be 24/a*(-130)/(-117). Which is bigger: -1 or j?
j
Let u = -21.1 + 21. Let o = u - -4.1. Let w = o - 2. Which is smaller: w or -3?
-3
Let a(l) = 3*l**2 - 1. Let h be (30/(-20))/(3/(-2)). Let y be a(h). Suppose 3*c - 4*c = y. Is c greater than -1?
False
Suppose -x = -4*z - 14, -4*x + 0*x = -z - 26. Suppose 11*t = x*t + 90. Which is bigger: -0.2 or t?
t
Let c = -10.5 - -24.3. Let o = 13.76 - c. Let r = 5 - 2. Which is smaller: o or r?
o
Suppose 2*m + 2*s - 4 = 0, 0 = m + 3*s - 0*s - 6. Let o be (-4)/10 - (-22)/5. Let t be 18/33*o/(-6). Do m and t have different values?
True
Let c = -459 - -1124. Which is smaller: -2/7 or c?
-2/7
Let l = 391 + -362. Is l greater than 32?
False
Let b = 9 + 11. Let w = -18 + b. Suppose -5*n - 16 = -2*v, 0 = -w*n - 2*v - 0 + 2. Is n less than -1?
True
Let v be ((-3536)/32 - 4)*(-6)/4. Is 172 != v?
True
Let y(g) = g**3 + 15*g**2 + 43*g - 24. Let q be y(-11). Let b(f) = f**3 + 7*f**2 + 9*f + 6. Let a be b(-6). Are a and q unequal?
True
Let q(l) = -l**2 - 2*l**2 - 3*l**3 + 3*l + 4*l**3. Let j be q(3). Suppose 126*p + 2*h - 2 = 127*p, p + 2*h = 2. Which is smaller: j or p?
p
Suppose 55*r - 52*r - 261 = 0. Is r < 87?
False
Let h = -29 + 4. Let p = h - -25.38. Let k = p + -4.38. Is 1 >= k?
True
Suppose 0 = -4*i + 2*i - 48. Let j be 92/i + (-3 - 0). Let y = 169/30 + j. Is y > -1?
False
Let k = 2 - -19.2. Let y = 4.2 - k. Let i = -17.4 - y. Which is bigger: i or -1/6?
-1/6
Suppose 2*s - 6 = -4. Suppose 0 = -g - 4 + s, 25 = 2*d + g. Is d at most as big as -2/3?
False
Let l(j) = j**3 - 10*j**2 + 9*j - 9. Let w be l(9). Let n be (-6)/(-21) - w*8/(-203). Is n less than -1?
False
Let b(l) be the third derivative of l**4/24 + 13*l**3/6 - 5*l**2. Let z be b(-10). Suppose -z*v - v = 3*k + 18, -5*k - v = 13. Is k != 0?
True
Let f be (-4)/(1012/(-77))*37/(-75). Let y be (12/9)/(50/(-4)). Let j = y - f. Which is bigger: j or 1?
1
Let c = -86 - -114. Let h be ((-95)/(-15))/(c/(-12)). Is h bigger than 1?
False
Suppose 2*x - 4*y = -35 + 143, -2*x + 88 = y. Suppose 51*w = x*w - 40. Do -11 and w have the same value?
False
Let x = -32 - -56. Let t = -23.88 + x. Which is smaller: t or -1/3?
-1/3
Let k = -1.954 - -2.054. Which is smaller: k or -4.61?
-4.61
Let n = 3.1 + -3. Let m = 0.1 - n. Let q = 0.0583 + 0.2417. Which is greater: q or m?
q
Let t = -12 + 16. Let j be -2*(-22)/(-12) + t. Are j and -1 non-equal?
True
Let i = -12 + 12. Let g(n) = -9 + 0 + n**2 + 7*n + i. Let s be g(-8). Which is smaller: s or -2/33?
s
Let a be (1*(-2 + 2)/(-4))/(-2). Suppose a*b - 4*p + 16 = 2*b, 0 = -4*b + p - 4. Which is bigger: 2 or b?
2
Let l(k) = -2*k + 6. Let a be l(0). Suppose -5*i = -2*i + a. Let z = 29 + -31. Is i equal to z?
True
Let p be -1*1 - 319/(-22)*2. Do 27 and p have different values?
True
Let p(z) = 180*z + 55. Let l be p(-3). Is -484 <= l?
False
Let m be (-2)/9 + 83/9. Suppose -v - m = 2*v. Let a = 4 + v. Which is smaller: a or 2?
a
Suppose 2*y - 37 = -3*p, -y - 5 = -3*p - 37. Suppose k - 25 = -5*v - 8, 0 = k + 2*v - 20. Let d = k - y. Is -2 equal to d?
False
Suppose -1 = -p + 7. Let d = -8 + p. Suppose -4*w = -d + 4. Is -1 < w?
False
Suppose -29*z = 3*z - 32. Let d = 1094/2783 - 16/121. Is z equal to d?
False
Let u = 14/5 + -116/45. Let y(d) = -d**3 - 6*d**2 + 8*d + 14. Let b be y(-7). Suppose -b*l + 8 = 1. Is l > u?
True
Suppose 0 = -5*c - 5*f + 35, 9*c = 12*c - 4*f - 56. Is 9 > c?
False
Suppose -5*y + 0*m + 45 = -2*m, -2*y = -m - 19. Let k = 236 + -228. Which is bigger: y or k?
k
Let u = 42.7 - -0.3. Which is bigger: u or 2/9?
u
Let s = -1221 + 1249. Which is smaller: 39 or s?
s
Suppose 0 = -2*g + 1 - 51. Let w = 1363/2 + -707. Let t = w - g. Which is smaller: t or 3/10?
t
Let j = 1363.2 - 1257. Let m = 106 - j. Is m greater than -7?
True
Suppose r = 4*q + 58 + 84, -72 = 2*q - r. Let i be (-3)/2*(-28)/q. Is -1 less than i?
False
Suppose 0*l + l = 96. Let z = -104 + l. Let y = 9 + -18. Is z at most y?
False
Let m be (-2)/(-3)*(27 + -24). Is -64 > m?
False
Let n be ((-270)/60)/(-2 - 122/(-64)). Which is smaller: n or 148/3?
n
Let v(y) = -3*y - 74. Let f be v(-9). Which is greater: f or -93/2?
-93/2
Suppose 5*t - 3*y - 78 = 2*t, -y + 3 = 0. Suppose -u - t = i - 1, -u = 5*i + 32. Is -28 bigger than u?
False
Let b = -2 + 3. Let l be 2*(4/(-26))/(36 - 42). Which is greater: l or b?
b
Let a = 45 + -67. Let y be ((-1)/(-5)*a)/((-140)/(-100)). Which is smaller: y or -3?
y
Suppose 0 = -17*m - 473 - 3. Which is greater: -30 or m?
m
Suppose -2*s + v + 98 = 34, -3*s + 99 = -3*v. Let d = s - 29. Which is smaller: 1 or d?
1
Let z(l) = l**3 + 11*l**2 - 14*l - 18. Let i be z(-12). Let s be ((-3)/i)/(6/12). Which is smaller: 2/3 or s?
s
Let w be (-57)/95 + (-2)/(-10). Is -115 > w?
False
Let p(k) = k**3 + 1. Let n be p(-1). Suppose -6 = -n*h - 3*h. Is h at most 2?
True
Let s = 442 - 442.4. Is s >= -152?
True
Suppose -21*f + 189 = f + 585. Suppose 0*c = c. Which is bigger: f or c?
c
Let n = 1.1 - 0.85. Let o = -71 - -34. Let s = 37 + o. Which is smaller: s or n?
s
Suppose -i + 1 = w - 2*i, i = 0. Let v = w - -1. Let l be (-5)/(-4) - (-2)/(-8). Which is greater: l or v?
v
Let x = -27.39 + 27.29. Which is greater: -7/67 or x?
x
Suppose 5*d - 9*d - 20 = 0. Let t = d - -1. Which is bigger: -11/4 or t?
-11/4
Let d = 641.26 + -633. Let t = 8 - d. Let h = t - -0.16. Is 3 > h?
True
Let b = -424/9 + 19925/423. Let a = b + -139/282. Which is bigger: 10 or a?
10
Let t(h) = 2*h + 49. Let u be t(-18). Let z be 3/((-6)/7)*-4. Is z < u?
False
Suppose k = -4*n - 0*n - 23, -4*n + k - 17 = 0. Let q be (37/4)/(n/(-20)). Which is greater: q or 2/7?
q
Let j be (1/(-70))/(288/(-120)). Is 0 equal to j?
False
Suppose 0 = -2*i + 4*t + 2, -3*t - 48 = -4*i - 39. Let o be 60/38 + -1 - -1. Is o at most as big as i?
True
Let d be ((-18)/8 + (-3)/(-6))*-68. Does 119 = d?
True
Let l be (-9)/3*(-4)/2. Let h = l - -20. Suppose -2*c = -3*m + 9 - h, -3*m - 15 = 0. Which is greater: -0.6 or c?
c
Let w = -6 - -6. Suppose -5*j + w*j = 0. Let t = 145/4777 - -8/281. Which is smaller: t or j?
j
Suppose 2*v = 4*k + 4, 5*v + 4*k + 6 = 16. Let c be v - (-2 - (22 - 0)). Let g be (-4)/c + 14/91. Which is smaller: 2 or g?
g
Let d(k) = k**3 - 3*k**2 - 6*k + 6. Let h be d(4). Let q = 11227/4 + -2810. Which is bigger: q or h?
h
Let d = 80 - 80. Let q be (d - 2)/((-1 - 0)*5). Which is bigger: q or -1?
q
Suppose -h = -c + 8, 5*c + 3*h - 37 = 5*h. Let m be 0*(-4 + c/2). Let z be (-37)/(-18) + -3 + 1. Is z less than m?
False
Let b = -37215 - -7554660/203. Which is smaller: b or 1?
b
Suppose 4*b - 5 = n, -1 = -3*b + 7*n - 9*n. Suppose -7 = 2*q - 5*q + 4*r, -4*q = 3*r + 24. Let d be ((-2)/(-24))/(q/6). Is d greater than b?
False
Let j(a) = a**3 - 7*a**2 - 20*a + 18. Let x be j(8). Let q = -74 - x. Let s be ((-8)/(-6))/(2/6). Are q and s equal?
True
Let q(t) = -26*t - 55. Let n be q(-2). Let h be ((-14)/4)/(-1 + 2). Do n and h have different values?
True
Suppose -16*j + 4*j + 96 = 0. Is j >