e -2*b + y = -3*k, 3*k - 2 + 56 = 5*b. Do -1 and k have different values?
True
Let l(w) = -w**2 - 104*w - 296. Let t be l(-3). Suppose -g + 5*h - 1 = 7, 0 = -3*g + 5*h - 24. Let o(f) = f + 17. Let s be o(g). Is t <= s?
True
Suppose 0 = 3*f - 15 + 12. Suppose 0 = 2*w + 6, -2*y - 5*w + 17 = -70. Let h be 1 - y/(-42) - 2. Which is smaller: h or f?
h
Let o(q) = q**2 - q - 2. Let x be o(-4). Let h(t) = t**3 + 72*t**2 - 640*t + 18. Let m be h(-80). Do x and m have the same value?
True
Suppose u = -0*u. Let p be 24/(-15)*(-60)/(-8). Let n be 14/p + (-8)/(-8). Which is smaller: u or n?
n
Let j = 386 + -653. Is -267 greater than j?
False
Let g = 1750.1 + -1750. Is g equal to -1489?
False
Let p(d) = d**2 + d - 1. Let u(n) = 5*n**2 + n - 8. Let j(w) = -6*p(w) + u(w). Let m be j(-2). Suppose -4*f - 5*z = -33, 2*f - 2*z = f - 8. Is m less than f?
False
Let t = 229 - 227.9. Let w = 28.1 - 30. Let q = t - w. Do -1 and q have different values?
True
Let q(y) = -2*y. Let m be q(1). Let f be (-12)/m*3/2. Suppose f*c - 6 = 6*c. Which is bigger: c or 1?
c
Let s(i) = i + 9. Suppose 2*o = 5*o - 4*r + 8, 3*r + 20 = -o. Let m be s(o). Let q = m + -1. Is -4/7 greater than q?
False
Let c = -0.033 + -298.967. Let h = -317.1 - c. Let p = -18 - h. Which is smaller: p or -2/11?
-2/11
Let d = 850 - 795. Which is smaller: d or 59?
d
Let j = 58 - 53. Suppose -f - 26 = 5*b, 10*f + 25 = j*f - 4*b. Which is smaller: f or -2/5?
f
Let t(v) = -9*v. Let j be t(1). Let d be (4 - 4) + 27 - -3. Let p be (-6)/(-15) - 252/d. Do p and j have different values?
True
Suppose -o - 105 = -5*c, -2*c + 40 = -2*o - 2. Which is smaller: 5 or c?
5
Suppose 0 = -3*m + 9, 2*v + 3 - 18 = -5*m. Is -4/23 != v?
True
Suppose 3 = 2*s - 5*s. Let a(n) = n**2 - 31*n + 23. Let k be a(30). Let l be (3/6)/((315/(-20))/k). Is l at least s?
True
Let t be (-10)/105 - 20/(-210). Is -1/392 not equal to t?
True
Let q be 15/6*2 + 5122/(-1027). Is q at least 1?
False
Let g = 1531 - 1568. Is g not equal to -30?
True
Let p = 3/34 + -749/7718. Let u = -40 + 39. Do u and p have different values?
True
Suppose 2*g - 1 - 15 = 0. Suppose 0 = -3*n - k - 70, -g = -3*n + 4*k - 103. Are n and -25 nonequal?
False
Let s be -4*1 - (36/6 + -10). Is s != 60?
True
Let j be 6064/228*(-3)/2. Let d(k) = 4*k**2 + 4. Let z be d(-3). Let r = j + z. Which is smaller: r or 1?
r
Let v = 360.7 + -208.8. Let n = v - 152. Which is greater: -6 or n?
n
Let u = -0.2338 - 0.0482. Which is smaller: -2 or u?
-2
Let q = -0.03 + 0.1. Let m = q - 4.07. Let a be 22/(-20) + 6/(-15). Which is smaller: a or m?
m
Let o = 78 - 3199/41. Suppose q = 5*y - 4, 5*q - 2*y - 3 = -0*y. Is q at least o?
True
Let z = 50 - 51. Which is greater: 2/159 or z?
2/159
Let u(y) = 57*y**2 - 14*y + 32. Let z be u(3). Are 503 and z equal?
True
Suppose 4*y - 498 = -2*z, -3*z + y = -245 - 516. Let d = -1762/7 + z. Let g = 56 + -55. Which is smaller: d or g?
g
Suppose 5*k + 5*r = 130, 5*k = r + 46 + 78. Let d be 10/k*(-5)/(-6). Let l = 328 + -324. Which is greater: d or l?
l
Let h be 128/(-5 - 429/(-88)). Is h at least as big as -1024?
True
Let m = -201 + 205. Is m at least as big as -17?
True
Suppose 160*a = 182*a - 88. Which is bigger: 159 or a?
159
Let r = -29 + 31. Is -4/59 at most r?
True
Let u(h) = -9*h**2 - h - 3. Let j be u(-1). Let t(s) = s - 11. Let b be t(-5). Are b and j non-equal?
True
Let k = -1913 - -1861. Which is smaller: k or -14?
k
Suppose -10*j - 42 = -12. Let y be j/(-27) - (-1)/(-3). Which is greater: 3 or y?
3
Let o = 212 - 235. Which is greater: -25 or o?
o
Let f be -1279 - (-8 + 14 + 2). Is -1288 equal to f?
False
Let m = -85 + 85.35. Is 0.1 bigger than m?
False
Let d be (-9)/(-126) - (-12)/28. Is 8.7 at least as big as d?
True
Let q = 378 + -376.01. Let z = q + 0.01. Let m = z - 2.2. Which is smaller: -3 or m?
-3
Suppose 3*f = o + 35, -9 = -2*f + 4*o + 1. Is 15 <= f?
False
Suppose -4*z + 148 = 180. Is -22/3 at least z?
True
Let o = -16 + 8. Let w be ((-38)/(-114))/((-1)/15). Is w equal to o?
False
Let c = -4027/237830 + -1/1399. Is c at least as big as 1?
False
Suppose 0 = -2*v - t + 4, 5*v = -t - 3 + 7. Suppose v = b, u + b - 1 = -3. Let c be -21 - (-4)/(u/(-1)). Do -20 and c have different values?
True
Suppose -3*b - 8 = -5*b. Suppose -5*n - 151 = -4*c - 24, b*c = -2*n + 134. Is 34 greater than c?
True
Let l = -35/8 + 439/104. Suppose -3*b + 3*f + 2*f = -10, -f = 2*b - 11. Suppose 2*d = -2*h, -3*h + 8 = -10*d + b*d. Is d > l?
False
Let l be -31 + -3*(-30)/18. Which is bigger: l or 0?
0
Let y = -208 + 297. Let z = y + -88.77. Do z and -0.3 have different values?
True
Let w be 40/3850 - (-4)/(-22). Suppose 137 - 140 = -3*v. Which is smaller: v or w?
w
Let x = 209 - 210. Does 10/63 = x?
False
Let a = -409 + 408. Which is smaller: -87 or a?
-87
Let t = -16243 + 48164/3. Let c = t + 190. Let n(w) = -w - 5. Let a be n(-6). Which is greater: a or c?
c
Let w = 0.4 - 2.7. Let v = -0.565 + -1.035. Let u = w - v. Which is greater: -0.1 or u?
-0.1
Let v = 172 - 169. Let q(p) = -2*p**3 + 4*p**2 + 8*p - 6. Let c be q(v). Is -18/17 at least c?
False
Let r be (-3)/(45/(-3)) - 24/(-105). Is 1/12 at least r?
False
Let z = -2653 + 591621/223. Is z smaller than 0?
False
Let a = 22 - 21. Let u(j) = 136*j**2 - j. Let m be u(1). Let q be (-6)/(-15) + 96/m. Is a smaller than q?
True
Suppose -22*k + 3 = 25. Is k > 2/83?
False
Let b = -1754 - -1838. Is b smaller than 82?
False
Suppose 12 = v + 3*v. Let t(n) = -n - 1. Let b be t(v). Suppose 6 = 174*k - 177*k. Is k less than or equal to b?
False
Let v = 33 - 26. Let f be (-1 - 41)*v/(-14). Suppose 0 = 8*s - 5*s + f. Is s >= -7?
True
Let n be (-16)/6 + (-3)/9. Which is bigger: n or -20?
n
Let y be (-10 - (11 - 15))*-9. Which is greater: 217/4 or y?
217/4
Let w(c) = c**3 - 11*c**2 - c + 16. Let n be w(11). Suppose -n*z - 4*k = 13 + 5, 0 = -3*z - 3*k - 12. Are -2 and z non-equal?
False
Let v = -45 + 112. Which is bigger: 69 or v?
69
Suppose 0 = 3*j - 5*m - 229, -5*j - 14 + 339 = 3*m. Is j < 59?
False
Let t = -0.1 - 0.08. Let f = -44.88 + 45. Let a = f - t. Which is smaller: 0.1 or a?
0.1
Let s(p) = -5*p**2 - 5 + 25*p**2 - 7*p**2 - 12*p**2 - 5*p. Suppose 0 = 2*c + 4, 2*v - 3*c = -c + 16. Let m be s(v). Which is bigger: m or 1/34?
m
Let l(u) = u**3 - 29*u**2 - 4*u + 116. Let r be l(29). Is r greater than -1/158?
True
Let f(u) = 26*u - 206. Let c be f(10). Do c and 53 have the same value?
False
Let y = -9 + 9. Suppose -3*a = -y*a + 78. Are a and -26 nonequal?
False
Let r(z) = -z + 1. Let m(s) = 4*s + 1. Let g(i) = -m(i) - 5*r(i). Suppose 0 = -2*d + 5 + 5. Let f be g(d). Are -4/15 and f nonequal?
True
Let v be -8 + 9 + (0 - 38/82). Is 0.2 != v?
True
Let x(h) = -h**2 - 31*h + 18. Let o be x(-31). Is 18 less than or equal to o?
True
Suppose -2*q + 2 = 0, -3*p + 0*p - 85 = -q. Let a be p/70 + 29/35 + 0. Let f be 3/(-3) + 2 + -1. Which is bigger: f or a?
a
Let o = 65 + -113. Let v = -47.8 - o. Is v smaller than 3/4?
True
Let a = 1/3247 + -370165/22729. Which is smaller: -15 or a?
a
Let z(h) = -h**3 + h**2 + 10*h - 16. Let y be z(-8). Is y at least 478?
True
Let l be -23 - (-1 - 0 - -1). Let d(f) = f**3 + 13*f**2 - 18*f + 155. Let p be d(-15). Is p at most l?
True
Let o be (-14)/(-420)*(-4)/6*1. Let q = 37/45 + o. Which is smaller: q or 2?
q
Suppose l + 2*h - 89 = -4*l, 0 = -4*h - 12. Let k be (-190)/l + 4 + 0. Suppose a + 5*r + 22 = 0, 0 = -0*a + 4*a + 2*r + 34. Is k less than a?
False
Let g(i) = 3*i**3 + i**2 + 3*i. Let o(t) = 16*t**3 + 6*t**2 + 16*t. Let s(j) = 11*g(j) - 2*o(j). Let r be s(2). Let f be r*1 - 12/6. Is f < 4?
False
Let r be (-1 + 2)*1*3. Suppose 136*b - 168 = 52*b. Which is greater: b or r?
r
Let y be 12/60 - 17/35. Let o = 44 + -18. Does y = o?
False
Let i = -105 + 27. Which is smaller: i or -76?
i
Let g(w) = w**2 - 108. Let m be g(0). Let i = -72 - m. Let h = 6 + -7. Which is smaller: h or i?
h
Suppose -97 = -15*n + 68. Is 15 greater than n?
True
Let q(f) = f**3 + 20*f**2 - 21*f - 20. Let z be q(-21). Is z at most -8?
True
Let s be 4 - 31/24*-3. Is 7 smaller than s?
True
Let k(w) = 2*w**2 + 9*w - 6. Suppose 3*o - 6*o - 3*a = 6, 6 = -o + a. Let v = o + -1. Let h be k(v). Which is smaller: h or 2/13?
h
Let v = -195 + 196. Which is bigger: v or -73?
v
Let k = 55 + -91. Let a be -2 + (-93)/k*12/4. Is 2/7 <= a?
True
Suppose 5*w = q