7. Let r = k + -1. Do 0.1 and r have the same value?
False
Let a(i) = 4*i - 1. Let s be a(-6). Let o be s*4/(-20)*-2. Which is smaller: o or -8?
o
Let s = 2.26 - 2.3. Which is smaller: 0 or s?
s
Suppose 2 - 14 = 2*y. Let r be (9/(-324))/(2/y). Which is greater: 1 or r?
1
Let q be (63/(-14))/((-6)/4). Let t be (-77)/(-35) + (q - 4). Let h = 1 - 1. Which is smaller: h or t?
h
Let w = 3 + 2. Is w > 4?
True
Let c = -3 + 2. Let f = -4 - c. Let u = 3 + -2.9. Do u and f have the same value?
False
Let a = 8 - 8. Let x be 1 - 2 - (a + 7). Let c = -6 - x. Is 5/3 not equal to c?
True
Let o = 9 - 5. Suppose -q = o + 1. Is -7 smaller than q?
True
Let r = -5 + 4. Let x be (-1)/4 - (-10)/(-24). Is x greater than or equal to r?
True
Let n = 847/6 - 142. Is n bigger than 0?
False
Let n = 7 + 12. Let v = 1 - -2. Suppose 0*f = 4*f - v*p - n, -p = 3*f + 2. Which is smaller: 2/15 or f?
2/15
Suppose 4*k + 136 = -4*i + 3*i, 2*k - i = -74. Let w be (-4)/(-10)*k/21. Which is bigger: 0.3 or w?
0.3
Let d = 34 - 40. Which is smaller: d or -13/2?
-13/2
Let g be (3 - (-2 + 5))/(3 - 6). Let u = -671/4 - -167. Which is bigger: u or g?
g
Let u be 1/(-2 - 27/(-12)). Suppose 0 = 4*l + w - 16, u*l - 5*w = 3 - 11. Which is bigger: l or 4?
4
Let v = -8 - -10. Suppose -2 = -v*t - 0. Which is smaller: t or -2/5?
-2/5
Let g = 39 + -48.1. Let y = g - -9. Are 2/5 and y non-equal?
True
Let i(o) = -o + 3. Let p be i(-5). Which is greater: p or 9?
9
Let o be 55/(-1)*16/(-40). Is 22 equal to o?
True
Let y = -5 - -3. Let t be (-7)/y - (4 - 2). Is t at least 3?
False
Let x = -47048 + 3622935/77. Let h = -42/11 + x. Which is smaller: h or 0?
h
Let l(d) = -5*d**2 - 4*d + 10. Let h(r) = -4*r**2 - 5*r + 9. Let a(x) = -4*h(x) + 3*l(x). Let y be a(-9). Do 7/2 and y have the same value?
False
Let r be 13/(-5) + 8/4. Are r and 0 equal?
False
Let s = 8 - 7.82. Let o = s - -0.02. Let t be (1/3)/((-2)/4). Which is smaller: o or t?
t
Let s = -0.04 + -0.96. Let m = -51.67 + 52. Let g = -0.3 + m. Is g equal to s?
False
Let p(k) = -7*k**3 - 12*k**2 + 23*k + 25. Let f(y) = -3*y**3 - 6*y**2 + 11*y + 12. Let w(n) = 5*f(n) - 2*p(n). Let c be w(-7). Which is smaller: c or -2?
c
Let o = 127.3 + -134. Let v = 23 - 16. Let z = o + v. Which is smaller: 0 or z?
0
Let z = -941/4 + 225. Let t = -35/4 - z. Which is smaller: t or 1?
1
Let a be (2/(-1))/(66/33). Let r = 8 - 5. Suppose -r = n + 2. Is a >= n?
True
Let f(b) = -b**2 - 14*b - 15. Let j be f(-11). Let x = 14 - j. Does 0 = x?
False
Let m(j) = -5 + 4*j - 5*j + 6. Let y(k) = -k. Let z(d) = 4*m(d) - 5*y(d). Let o be z(-4). Which is greater: 1/2 or o?
1/2
Let t(q) = -q**3 - 16*q**2 - 15*q + 17. Let z be t(-15). Which is smaller: 14 or z?
14
Let m = 15 + -12. Do 2 and m have different values?
True
Let c = -8 - -57/7. Let w be (2/(-3))/((-4)/6). Which is bigger: c or w?
w
Let q = -14 + 8. Let a = q + 5.9. Let i = 8 - 6. Which is smaller: a or i?
a
Let b = 8 - 5. Suppose -2*p = b*p + 5. Let a be 1/p*(4 - 3). Is a != -2?
True
Suppose -1 = f, -3*g + 2*g + 4*f = -12. Let a be (7 - g) + (-46)/(-42). Are a and 1 unequal?
True
Let m(o) = o**3 - o**2 - 5*o + 3. Let b be m(3). Let z(d) = 5*d - 9 - 5*d + 8*d - d**2. Let h be z(b). Which is greater: h or 2?
h
Suppose -4*f = f - 10. Suppose o + f = -4. Is o greater than -5?
False
Let i = -4.96 + -0.04. Let v = 33 - 28.1. Let r = i + v. Which is smaller: 4 or r?
r
Let r = -38 + 36. Do r and -4/7 have the same value?
False
Let f = 51 + -53. Let a = 0.18 - 3.22. Let g = a - -0.04. Is f != g?
True
Let p = 0.6 + 1.4. Let c = p + 0. Let r = c + -7. Is r < 0.1?
True
Suppose -5*b = -b. Suppose 2*q + b*n - 4 = n, 12 = 2*q + 3*n. Suppose -q*z = -7*z - 4. Which is bigger: z or 3/7?
3/7
Let i be ((-2)/3)/(2/36). Are i and -45/4 unequal?
True
Let x(l) = -l**3 - 7*l**2 - 8*l - 11. Let f be x(-6). Is f bigger than 3?
False
Suppose q + 4 = 3*q. Let h be 2/(-2) + 0 + q. Is h bigger than 1/2?
True
Let z = 14 - 15. Suppose 0 = -4*t + 1 - 5. Does z = t?
True
Let p be (-10)/(-18)*(15*-2)/(-5). Is 2 equal to p?
False
Suppose 4*o - 8*o = -28. Is 1 at least o?
False
Let w = -2 - -12. Which is greater: w or 13?
13
Let c = 8 - 4. Suppose y - 2*n - 11 + 3 = 0, 2 = c*y - 2*n. Let q be ((-2)/(-3))/(0 + y). Is -1 less than q?
True
Let l = -1/2 + 79/10. Let p = l + -217/30. Let k(h) = -h - 3. Let r be k(-4). Is r at most as big as p?
False
Suppose -y - 2 = -4*x + x, 2 = x. Which is smaller: y or 42/13?
42/13
Let a(l) = l**2 - 5*l + 2. Let v = 1 - -4. Let t be a(v). Is t less than or equal to 2?
True
Let a = 971/73568 - 3/608. Which is bigger: -1 or a?
a
Let s(a) = a**2 - 11*a + 19. Let u be s(6). Is u less than -2?
True
Let o = -33.55 - -34. Let g = o - 0.35. Let u = 0.2 - 0. Is u at least as big as g?
True
Suppose -4*n = 0, -2*j + 2*n - 3*n - 2 = 0. Which is greater: j or 2/23?
2/23
Let j = 17 - 17. Which is smaller: j or -2/3?
-2/3
Let j(w) = w**3 + 2*w**2 - 5*w - 3. Let z be j(-3). Let i = 0.3 + -0.2. Is i greater than z?
False
Let f(g) = 2*g**2 - 13*g + 9. Let c be f(8). Suppose 8*j + c = 5*j. Which is greater: -10 or j?
-10
Suppose -i = -11 + 2. Let f = -5 + i. Is f smaller than 5?
True
Let h(q) = -3*q - 3. Let i be h(3). Let o be (-9)/(-6)*i/(-9). Let g be (3/2 - 1)/o. Is 0 less than or equal to g?
True
Let x be ((-14945)/252)/(-7) + (-4)/18. Does 7 = x?
False
Let y = -3 + 2. Let a be 1 + 2/(24/(-15)). Which is greater: y or a?
a
Let v = 10 - 10. Suppose 0 = -2*n + 3*n - 3. Suppose 18 = -0*x - 2*x - n*d, -2*x = -d + 2. Is x greater than or equal to v?
False
Let d = -2.1 - -2.1. Does d = 10?
False
Let s = -2.2 - -2.16. Is s bigger than -3?
True
Suppose 0 = 3*l - 5*l + 4. Is -3 at most l?
True
Let i be (-312)/(-1141) + (-10)/35. Which is greater: 0 or i?
0
Let i = 7 - 61. Do -0.1 and i have different values?
True
Let s = -0.02 - 3.98. Let f = 2 + s. Let r = 1 + f. Is r <= -1?
True
Let v = -16 - -10. Let a = -99 + 104.9. Let k = v + a. Which is bigger: k or -4?
k
Let o be ((-24)/15 - -2)*5. Suppose 0 = -o*u + 2. Is u less than 3?
True
Let x be 1/(-2) + 48/(-18) + 2. Which is bigger: x or 0?
0
Let i(n) = -7*n**3 + 2*n - 1. Let d be i(1). Let c = -5 - 1. Are c and d nonequal?
False
Let h = -0.2 + -0.2. Let q = h - -0.37. Let a = -15 - -14.9. Are a and q nonequal?
True
Let p = -60.1 - -60. Is 2/27 >= p?
True
Let c(a) = a**3 - a**2 - 3*a + 1. Let x be c(2). Let s = 304 + -3346/11. Which is smaller: s or x?
x
Let b(s) = s - 6. Let h be b(5). Let w = 0.1 + -2.1. Which is smaller: h or w?
w
Let x(d) = -d**2 + 6*d - 5. Suppose 0 = 3*v - 2*h - 8, -v + 3*v + 3*h = 14. Let q be x(v). Suppose 0 = -q*p + 1 + 2. Which is smaller: 0 or p?
0
Let c = -199 + 3389/17. Which is bigger: c or -1?
c
Let z = -7 + 8. Let t = z - 0. Is -2/25 at most t?
True
Suppose -5*y - 4*a = 2, -3*y - 3 = -0*y + 3*a. Suppose -2*t = p - 1 - 10, -2*p + 14 = 2*t. Is y at most as big as t?
True
Let z be (4/57)/((-2)/(-9)). Let v(k) = -k**2 - k + 1. Let a be v(-1). Which is smaller: z or a?
z
Let g = 4/3 - 11/6. Let k = 3 + -5. Are g and k non-equal?
True
Let i be ((-18)/(-8))/(((-25)/20)/(-1)). Which is greater: 2 or i?
2
Let u = 6.5 + 1.5. Let s = 10 - u. Does s = 2/3?
False
Let v = -4 - 1. Let y(d) = d**3 + 6*d**2 + 6*d + 6. Let q be y(v). Which is smaller: 7 or q?
q
Suppose 6*p - 2*p = -12. Let g be 2 + 0 + -1 - p. Let o be (-2 + 1)/((-2)/g). Which is smaller: o or 3?
o
Let b = -24 + 24. Let z be 9/2*(-2)/(-12). Which is smaller: z or b?
b
Suppose -2*p + 2*m + 90 = 0, -7*m - 87 = -2*p - 6*m. Let c be 41/p + 3/18. Is c at most as big as 1?
False
Let n = 28/3 - 9. Let l = -1/4 + n. Which is smaller: 0 or l?
0
Let n = -1 + 1. Let v be (0 + n + 1)/(-1). Let d be -3*1 - (-58)/18. Which is greater: v or d?
d
Let v be 6/9*15/2. Suppose 2*m = 5*c - 3*m - 15, 4*c - v*m - 14 = 0. Let y be -2 + c + -1 + 2. Which is greater: 1/4 or y?
1/4
Let w = 731/851 + -21/23. Is 1 < w?
False
Let p = 1/1187 - -7111/13057. Let c(i) = i**2 - 14*i + 24. Let a be c(12). Which is smaller: a or p?
a
Let w = -126 + 124. Let i = -0.2 + -0.8. Is i greater than w?
True
Let a be 25/(-4) - 1/(-4). Let n be 4/a*3/(-2). Which is bigger: n or -2/13?
n
Let s be (6/(-7)*1)/((-1)/(-4)). Which is smaller: -4 or s?
-4
Let s be (0*(-1)/(-4))/1. Let h be (4/10)/(27/(-5)). Which is bigger: h or s?
s
Let c be 9 - (1 + (-7 - -2)). Is -2 big