+ 55, 53 = 5*w + 2*f + 154. Which is smaller: w or -38?
-38
Let z(r) = 11*r - 36. Let w be z(3). Which is smaller: w or -9?
-9
Let c(r) = r**2 - 8*r + 7. Let a = 11 - 1. Let x = -4 + a. Let n be c(x). Which is smaller: n or -2?
n
Let j be (-1)/(4/((-16)/9)). Let h = 6 - 1. Let z be (-1)/h - (4 - 52/10). Is j at least z?
False
Suppose -5*p = 30 - 80. Let z = -129/13 + p. Is z > -1?
True
Let q = 8.62 + 13.38. Is q less than 3/5?
False
Suppose -3*y + 4*g = -286, -y - 3*y = 2*g - 374. Suppose 93*i - y*i = 0. Which is smaller: i or 3/7?
i
Suppose -4*h = -5*l, -h - 4*h = 2*l. Let w = 4/269 - -1859/1614. Which is bigger: w or h?
w
Let r = -198 + 206. Is r equal to 0?
False
Let b be (-2)/6*7/((-14)/6). Are 3/191 and b non-equal?
True
Let h be 2 - (2 + 4 - 234). Is 231 >= h?
True
Let b(t) = t**2 - 2*t - 36. Let p be b(7). Is p bigger than -7/69?
False
Suppose 7 = 2*v - 3. Suppose -4*i + v*i = -3. Is -5/2 greater than i?
True
Let p = 22.7 - 25. Let h = p - -2.3. Is h less than 8?
True
Let k = 17 - -9. Suppose 4*q = 3*c - 34, 0*q + 3*c + k = -2*q. Is -12 < q?
True
Let x(r) = r**3 - 2*r**2 + 6*r - 4. Let y be x(1). Which is smaller: y or 1/109?
1/109
Let r(f) = -f**3 + 2*f**3 + 10*f**2 - 204 + 194 + 15*f. Let w be r(-8). Which is greater: -1 or w?
-1
Let v be (-2 - -124)/(0 - 2/1). Let p = 60 + v. Is p < -7/4?
False
Suppose 0 = -66*i + 64 + 2. Do -1461 and i have different values?
True
Let m be ((-18)/(-24))/(1/4). Suppose 4*c = -2*u + 7*u - 31, 0 = -4*u - 5*c - 8. Is m greater than u?
False
Let j be 1/12*252/168. Is 4 equal to j?
False
Let s = 6009 + -6043.99. Let n = -35 - s. Suppose x - c = 7, -3*c - 13 = -1. Is x <= n?
False
Let w(h) = -h**2 - 5*h + 3. Let f be w(-5). Let n(i) = -4*i**2 - 4*i + 5*i**f - 6*i**3 - i**2. Let c be n(-4). Do c and 6/11 have the same value?
False
Let r(o) = o**2 - 10*o - 11. Let y be r(10). Let m be 6 + -3 + -1 - 12. Is m < y?
False
Let q = 150 + -216. Which is bigger: 1 or q?
1
Suppose 0 = -7*y - 1550 + 423. Let w be (-7)/7 - 1235/y. Let h = -47/7 + w. Which is smaller: h or 0?
h
Let s = -1939/12 + 162. Is s equal to -0.1?
False
Let z be 159/(-2)*(-14)/(-21). Are z and -48 non-equal?
True
Let y = 36 - 29. Suppose 44 + 110 = -y*g. Is g greater than -23?
True
Let y(l) = -l + 2. Let t be y(0). Suppose -t*i = h + 15, 0 = 3*h + 10 + 5. Let u(g) = -g**3 + 2. Let n be u(2). Which is smaller: n or i?
n
Let s = 83 + -74.8. Is 2/5 greater than s?
False
Let k = -0.02 - 0.1. Let s = -0.359 - -0.139. Let i = k - s. Which is bigger: i or 2?
2
Let b = -13 + 16. Suppose t + b*y = 4*t - 3, -3*t + 7 = -4*y. Let p(q) = q**3 - 3*q**2 - q - 1. Let h be p(3). Are h and t unequal?
True
Suppose -7 = -7*x + 8*x. Let y = 6 + x. Which is bigger: 2/391 or y?
2/391
Let y = 33 - 21. Let l = 16 + y. Do -1 and l have the same value?
False
Let y be ((-12)/(-1408)*12)/((-6)/4). Do y and -0.2 have different values?
True
Let l = -6.07 - 0.03. Let g = -5.818 - 0.182. Let d = g - l. Which is smaller: d or -2?
-2
Let s = -695 - -698. Let x = 6 + -5.7. Let c = x + -0.1. Which is smaller: s or c?
c
Let v(l) = -l + 5. Let p be v(-9). Suppose -24*m = -10*m - 70. Suppose m*q - 9 = -p. Is -12/5 smaller than q?
True
Suppose 2*a + 28 = 6*a. Suppose 4 = 3*j + 2*d - a, -2*j - 5*d = 0. Suppose k = 5*k + 4*s + 20, 0 = -j*k + s + 5. Are 0.3 and k equal?
False
Let c = -2/679 + -2706/3395. Suppose 30*t + 5 - 5 = 0. Are t and c equal?
False
Suppose -3*b + 9*z = 8*z - 3, 4*b + 12 = -4*z. Which is bigger: b or 1/2757?
1/2757
Suppose -2*z + 4 = -w, 3*w - 3*z + 3 + 3 = 0. Let b be (15/6 + -3)*w. Suppose 6*c - 2*c - 28 = -5*o, b = 3*c - o - 21. Is c >= 7?
True
Suppose -3*n + 150 = -8*n - g, 0 = 5*g - 25. Which is smaller: n or -38?
-38
Suppose 3*x + o = -5, 2*x - 6*x - 4*o - 12 = 0. Let n be (-3)/6 - (-201)/414. Which is bigger: x or n?
n
Let a be -28*(-1 - 39/(-12)). Let x be 27/a + 78/(-14). Is x not equal to -7?
True
Let i = 0.16 + -0.21. Let l be (2/4)/((-9)/18). Which is bigger: l or i?
i
Let l be ((-93)/(-12))/((-3)/12) - -5. Which is smaller: -25 or l?
l
Let p = 43.9 + -41. Let g = p + -3. Let a = 0 - g. Which is bigger: -6 or a?
a
Let t = -61 - -71. Let u be (t/4 + -3)*(-4 - -6). Is u at most as big as -1/6?
True
Let x = -8/283 + -270/10471. Does x = 0?
False
Let x(k) = -k**2 - 7*k - 4. Suppose -12 + 0 = 3*i. Let l be ((-14)/4)/(i/(-8)). Let m be x(l). Which is smaller: -3 or m?
m
Suppose -14320 = 13*k - 2399. Which is bigger: -915 or k?
-915
Let c = -29295/16 - -1832. Is c <= 2?
True
Suppose -1849 = -8*c + 463. Suppose 100 - c = -7*x. Which is smaller: 26 or x?
26
Let h = -11 + 14. Let a = 0 + 0. Suppose -h*x - 3 = -a*x. Which is smaller: x or -2?
-2
Suppose 2*v - 16 = -2*v. Suppose q - v = -q. Suppose q*i + 2*i = 0. Which is smaller: -6/11 or i?
-6/11
Let z(u) = -8*u**2 - 11*u - 5. Let j be z(-4). Let b = j + 81. Which is bigger: -9 or b?
b
Suppose -9*j - 2*j = 0. Is j bigger than -8/9?
True
Let w(o) = 30*o - 223. Let u be w(17). Is u < 288?
True
Let t(y) = -y**3 - 7*y**2 + 63. Let n be t(0). Which is greater: n or 65?
65
Let z = 290/3 + -2511/26. Which is bigger: -1 or z?
z
Let o be -1*(24 + -22 + (-90)/46). Which is bigger: 0 or o?
0
Suppose 24 = 64*j - 40. Suppose 2*q + 4*m - 44 = -0*m, 0 = 3*q - 3*m - 30. Suppose h + 3*u - q = 0, -2*h + 4 = 5*u - 19. Do j and h have the same value?
False
Let v be (-1)/(-2)*0 - -193. Is v smaller than 193?
False
Let y(j) = -5*j - 2. Let a(q) = -135*q - 55. Let d(w) = -2*a(w) + 55*y(w). Let f be d(2). Let p be (-4)/f + (-15)/(-25). Is p greater than 1?
False
Let s = 24 - 18. Let q = 6.12 - s. Let y = 0.18 + q. Which is bigger: y or 3?
3
Let g be 14/30 + (-22)/33. Which is bigger: -1/4 or g?
g
Let k(w) = -4*w + 36. Let v be k(6). Let d be (-292)/30 + 2 + (-20)/v. Which is smaller: -8 or d?
d
Let d be -2 + (-1489)/(-126) - 1. Let u = d + -80/9. Let n = u + 17/42. Is n bigger than 1?
False
Let h be (7 - 2)/(-5)*1. Let d = 568/19 - 30. Does h = d?
False
Let g = -1981 - -1963. Which is greater: g or 10?
10
Let h = -87 + 21. Let w = 104 + h. Which is greater: 40 or w?
40
Let g = -55 - -56. Is g != 5/26?
True
Let l(g) = 13 - 6 - 2*g**2 + 4*g**2 - 6*g - 4*g**2. Let t be l(1). Let n be 18*(-1)/19 + 1. Is n greater than t?
True
Let s = -43.932 - -44. Let w = s + 0.032. Is w at least 10/9?
False
Let u = -25 + 40. Let a be (-1 + 2)/((-316)/(-64) - 5). Let j = u + a. Which is smaller: j or 6/13?
j
Let g = 4.5 + -47.6. Let v = -43 - g. Let q = 3.1 + -3. Do v and q have the same value?
True
Let m = -527.64 + 507. Let d = m - -21. Let k = d - 6.36. Are k and 0.1 nonequal?
True
Let f(j) = -4*j**3 - 7*j + 3*j**3 + 43 + 13 + 5*j. Let c be f(0). Is 57 <= c?
False
Let h = -9/19 + 245/76. Let q(y) = -6*y - 3*y**2 + 3 + 4*y**2 + 0*y. Let b be q(6). Is b not equal to h?
True
Let w = 6.85 - 0.65. Let r = w + -5. Let d = -0.9 + r. Which is smaller: 2 or d?
d
Let g = -12 + 11. Let i be (-6)/15 - 1072/(-2780). Is g at least i?
False
Let u(j) = 15*j + 1. Let p be u(-2). Let l = p - -29. Which is smaller: -9/7 or l?
-9/7
Let d = -0.71 - -0.67. Let v = -23.04 - d. Is -1/2 less than v?
False
Let y = -2487/8 - -1237/4. Is y >= -2?
True
Let i be (6/(-4))/((-3)/6). Suppose 4*n = i*n + 3. Let t be (-2)/(-4) - 18/20. Which is smaller: n or t?
t
Let t = 1281442695/1003 + -1277610. Let j = t + 1/59. Which is smaller: j or 0?
j
Let p = 4.92 - 5. Let q = -806 - -804. Which is bigger: p or q?
p
Let j = -3.7 + -4.3. Let b = 8.1 + j. Which is greater: -3/16 or b?
b
Let g = 2.1 + 157.9. Which is greater: 1 or g?
g
Let d(o) = o**2 - 9*o + 36. Let s be d(10). Which is smaller: s or 47?
s
Suppose -5*r + 5*i - 730 = 0, -4*i + 5*i - 3 = 0. Let x be 121/r + 4/(-26). Let u be 4 - ((-6)/2)/x. Which is smaller: 2/67 or u?
2/67
Let o = 8 + -7.42. Let b = -17.58 + o. Which is greater: b or 2?
2
Suppose -4*p + 73 = 3*z, -4*p = -5*z - 0 - 49. Which is greater: p or 170/11?
p
Let j = 25 - 25.04. Let t = j - -1.04. Which is smaller: 0.1 or t?
0.1
Let j = -22.4 - -23. Let b = j + -0.75. Which is greater: 0.2 or b?
0.2
Let b(j) = -j - 3. Let u be b(-3). Let n = 12265490/3 + -331318321/81. Let k = n - -1853. Is k at least as big as u?
True
Suppose c = -5*n + 1, 2*c + 4 = -n - 3. Let m(q) = 5*q + 58. Let g be m(-12). Let o = c - g. Are -2/3 and o non-equal?
True
Let u = 13 + -1. Let w = -3011 -