same value?
False
Suppose -5*v - 125 = -5*h, -4*h + 4*v + 114 = 7*v. Suppose a = 5*r + 20 + 9, 5*r - 145 = -5*a. Is h not equal to a?
True
Let f = -14.3 - 1.7. Let s = -15 - f. Is 2/19 smaller than s?
True
Let w = -149.3 + 160. Let c = w - 14. Let l = 1.3 + c. Is l <= -1/6?
True
Let q = -20 + -7. Let p be (-12)/(-9)*q/(-225). Is 0 greater than p?
False
Suppose -s + 15 = 2*s. Let z(r) = -3*r + 2*r**2 + 0 - 3*r**2 + 0 + s. Let g be z(-4). Which is smaller: g or 0.5?
0.5
Let a = -0.072 + -0.128. Let r = a + 2.2. Is -9 smaller than r?
True
Suppose -2*j = 3*z - 32, 0*z + j + 39 = 4*z. Suppose z*d - 15*d = 30. Is d greater than or equal to -35/6?
False
Let s = -583 + 34400/59. Which is smaller: 1 or s?
s
Let m = -36 - -6. Let g = -30.1191 + 0.1591. Let j = g - m. Which is smaller: j or 0.1?
j
Let g(u) = -u**3 - 5*u**2 - 4*u. Let i be g(-4). Suppose -107*o - 622 = 1197. Is o less than i?
True
Let a(l) = 3*l**3 - 2*l**2 - 5*l + 6. Let h be a(2). Suppose -9*q + h*q = -60. Let u(v) = -v**2 - v - 1. Let g be u(4). Is g smaller than q?
True
Let i be (-57)/(-117) - (-1)/(-3). Suppose 5*x - 5 = 5*y, -4*x - 3*y - 13 = -38. Let a = 3 - x. Which is smaller: a or i?
a
Let z be (-1)/((420/(-76))/(-5)). Which is smaller: 0 or z?
z
Suppose 0*y = 4*y - 12. Suppose 27 + y = -3*u. Let s be 4 + 15/u*2. Is -1 at most s?
True
Let r = 28.39 - 1.19. Let m = -2.8 - r. Let t = -30.04 - m. Is -1 < t?
True
Let y = -558 - -562. Which is smaller: y or 3/104?
3/104
Let b = 13 - 12.85. Let i = -2.7 + 1.85. Let z = i - b. Does 2 = z?
False
Let c be -29 + (-2)/1 + -2. Let i = c - -100/3. Let j = 0.004 - 9.004. Is j bigger than i?
False
Let p be 15/36*4/(-1120)*2. Which is greater: 0 or p?
0
Let r be (-14)/49 - (5085/(-35) - -3). Is 141 < r?
True
Let m = 5836.1 - 5835. Let k = -2 - -1.8. Which is greater: k or m?
m
Let p = 593 - 592. Which is greater: 1/693 or p?
p
Suppose 3*l + l = 4*m + 8, 0 = 3*l - 4*m - 11. Let v = l - -7. Does v = 4?
True
Let l = -1746 - -5182/3. Let c = 207/5 + -41. Is l greater than or equal to c?
False
Suppose -25*g + 254 - 429 = 0. Which is bigger: -11 or g?
g
Let x be ((-2)/12 + 14/(-24))*-4. Suppose 3*p + 7 = v, 3*p - 2*v - 1 = -x. Is -2 < p?
False
Suppose -4*j = -4, 307*u - 309*u = -2*j + 10. Is u greater than -94/31?
False
Let m = -1/4184 - 9413/4184. Let z(v) = 2*v - 1. Let a be z(-1). Is a at least m?
False
Let m(i) = i + 2. Let z be m(-2). Suppose 3*l = -2*t - 0*t + 1, 0 = -2*t + l + 21. Let p be t/(-24)*(-6)/81. Which is greater: p or z?
p
Let y be 594/(-12) + (2/4 - 2). Let x = y + 43. Is -9 not equal to x?
True
Let t be -1 - (-3 - (-25)/15). Suppose w + 1 = -4. Let p = -4 - w. Is t at least as big as p?
False
Let s = -2639/17 - -155. Is s > 1?
False
Suppose -a + 0*a - 3*c = -6, 2*a + 15 = 3*c. Which is bigger: a or -20/7?
-20/7
Let p be (-54 + 61)*(-1 - (-127)/49). Is 10 bigger than p?
False
Let k = 14124/29 + -487. Is -2 bigger than k?
False
Suppose -2*i - 5*g = -3*i + 13, 4*i + 5*g = -48. Let h = 114 + -122. Which is greater: i or h?
i
Let p = -567 + 568.09. Is 4 greater than or equal to p?
True
Let t(p) = p**3 - p - 1. Let k(q) = 2*q**3 - q**2 - 2*q - 1. Let c(o) = k(o) - 3*t(o). Let y be c(-2). Suppose 3*f = y*f. Do -5/6 and f have different values?
True
Let t = 26.18 - 26.18. Which is smaller: t or 220/7?
t
Let f = -345 - -512. Suppose 2*i + f = -i + u, -3*i - 175 = -5*u. Is -55 smaller than i?
False
Suppose 2*p + 3*p + 110 = 5*u, -5*u - 44 = 2*p. Let t be ((-1)/(-2))/(1/4). Let x = -23 + t. Which is smaller: p or x?
p
Let j(t) = 18*t**2 + 5*t + 11. Let m(h) = -10*h**2 - 2*h - 5. Let x(d) = 6*j(d) + 11*m(d). Let w be x(7). Is w at most as big as -32?
False
Let r be (18/2)/(-1 + 0). Let m be ((-185)/(-25))/((-28)/35). Is m greater than r?
False
Let r = 3.8 - 24.8. Let v = -21.13 - r. Are v and -1 equal?
False
Let m(d) = d + 9. Let i be m(-10). Let y = 31 + -28. Is y greater than or equal to i?
True
Suppose -4*v - 90 = -i - i, i - 25 = -3*v. Suppose -2*g - 186 = -4*u - u, -4*u = -2*g - 150. Which is bigger: u or i?
i
Let o = -56 + 41. Let v be (-3)/2*10/o*-3. Is v < -5?
False
Let y = -353 - -357. Is y less than or equal to 0.43?
False
Let l = 4.1 - 33.1. Let f = -0.122 - 29.978. Let d = l - f. Is 2/3 > d?
False
Suppose 11*z = -4*u + 6*z - 328, z = u + 91. Is u less than -87?
False
Let r be 66/(-15) - (3 + -7). Which is smaller: 20 or r?
r
Let t = -4 + 7. Suppose -35 = 8*i + 93. Let p be i/18*(54/120)/(-3). Which is greater: t or p?
t
Let n be 23 + -1 + (13 - 24). Is 162/17 greater than n?
False
Suppose 4*k + 13*c + 9 = 10*c, -5*c - 15 = -k. Which is smaller: -5/29 or k?
-5/29
Let z(k) = k**3 + 3*k**2 + 3*k - 4. Let a be z(-3). Suppose 2*b - 60 = -3*b. Let r = b + a. Does -1/21 = r?
False
Suppose y = i - 113, -5*y = -3*i - 8*y + 345. Let c be (4/(-48))/((-3)/(i/(-1))). Let j be -8*(2 - 1)/2. Which is bigger: c or j?
c
Let b = 63.9 - 3.9. Let u = -59.7 + b. Is u at least 10?
False
Let x(w) = w**3 + 31*w**2 - 39*w - 100. Let t be x(-32). Which is smaller: 125 or t?
t
Suppose -h - 83 = -4*w, 0 = -3*w + w - h + 49. Is w greater than 158/7?
False
Let k = -186 - -184. Which is smaller: k or -1/2?
k
Let s = 179 + -173. Which is smaller: s or 16?
s
Let p(l) = l + 1. Let h be p(0). Let v be 7/(-56) - (39/8 + -5). Which is smaller: h or v?
v
Suppose 9*k - 1260 = -0*k. Is 140 bigger than k?
False
Let b be (-1)/1 - (-9290)/4046. Let x = 3/289 - b. Does x = 0?
False
Let r = -1368.73 + 1370. Which is smaller: -2 or r?
-2
Let s(g) = g**2 + 4*g - 151. Let h be s(11). Which is smaller: 11 or h?
11
Suppose -5*y + 5*z = -10, -5*y - z + 8 = -4*z. Let b be y/(2/8*-2). Let o be (b/(-4))/(6/(-24)). Which is smaller: o or -3/4?
o
Let m be (5/(100/8))/((-3)/30). Let z(p) = p**3 + 2*p**2 - 4*p + 4. Let u be z(m). Is u > 2/7?
False
Let r be 2/(-15) + 208835/825. Is 253 > r?
False
Suppose 32*g - 34*g = -2. Which is greater: 12 or g?
12
Let x = 35 - 11. Let q = -24.1 + x. Which is smaller: q or 21?
q
Let i(y) = -48*y**2 + 7*y - 3. Let a be i(1). Which is bigger: a or 5?
5
Let b = -9.7 + 5.1. Let i = 2.2 + b. Which is smaller: -1/3 or i?
i
Let t = -1.03 - -0.73. Is 62 > t?
True
Let u(i) = -i**3 - 10*i**2 + 11*i + 167. Let k be u(-12). Which is greater: k or 965/3?
k
Let n be (-4)/(-70) + 576/(-280). Let g(u) = -3*u**3 - u - 1. Let d be g(-1). Suppose -d*x = 2*x + 15. Which is bigger: n or x?
n
Let d = -1.575 - -0.275. Is d greater than or equal to -2/5?
False
Let j = 15 - 9. Let x = -15 - -20. Let m = j - x. Which is smaller: m or -0.4?
-0.4
Suppose 4*x = 5*x. Suppose x = 5*k - 0*c + 2*c + 12, -4*k - c = 12. Is k > -2?
False
Let a = 5191/4 + -1312. Let h = 215249/780 - 6801/26. Let i = a + h. Which is greater: -1 or i?
i
Let f = 15.95 + -16. Let x = -0.69 - 0.11. Let y = 0.9 + x. Is y at least f?
True
Let m(k) be the third derivative of k**6/15 + k**5/30 - k**3/6 + 4*k**2. Let q be m(1). Suppose i = -3 + q. Which is greater: 5 or i?
i
Let q(u) = -u**3 - 13*u**2 + 13*u - 16. Let d be q(-14). Let w be 36/135 - d/5. Which is smaller: w or -19?
-19
Let u = -109.53 - -80.415. Let j = u - -0.115. Which is smaller: -1 or j?
j
Let o = -22.5 + 32.6. Is o smaller than 0?
False
Suppose 384 = a - 5*n, 376 = 2*a - a + 3*n. Is 378 < a?
True
Let y(r) = -10*r + 178. Let t be y(47). Is -290 at most as big as t?
False
Let p be 0/(-2) + 2 + 158/711. Is -0.12 >= p?
False
Let o = 0.16 + 0.04. Let l = 0.2 - -0.8. Is l less than o?
False
Let p = 7 + -8. Let f be p - (-6)/(-3) - -3. Suppose -2*y = 3*a - 0 + 3, 3*y = f. Which is greater: 0 or a?
0
Let u(y) = -y**3 - 18*y**2 - 15*y + 37. Let q be u(-17). Let b be (7/(-7))/(1/q). Let p = -9/23 + -88/69. Is b at most as big as p?
True
Let l = -83 + 163/2. Let i(a) = a - 15. Suppose 55 = 3*c + 19. Let y be i(c). Which is greater: l or y?
l
Let o = 1/2 + -5/6. Suppose -15 = -5*d, s - 10*d = -9*d - 2. Which is smaller: o or s?
o
Let h be ((-1)/4)/(5/(-20)). Which is smaller: h or -7/44?
-7/44
Let b = 10 + -9. Let c = 2 - b. Is -1/11 != c?
True
Suppose 147*s = 135*s + 72. Let i be (-14)/(-3) - 8/(-4). Is i not equal to s?
True
Suppose 6*i - 4*i = 80. Let q = i + -40. Is q less than 0.8?
True
Let y be (-2*2/3)/(76/114). Are 79 and y unequal?
True
Let q be 427/21 - (-3)/(-9). Let w = -131 + q. Let h be (-10)/(-65) + w/(-39). Is h equal to 7?
False
Let h