 - v + 10. Let k be i(8). Let o be k/(-102)*3*j. Do o and -1 have the same value?
False
Suppose -3*j - 2 - 67 = 0. Let i = 314 - 349. Let v = i - j. Are v and -12 non-equal?
False
Suppose 0 = 5*m + 3*y - 52, 3*m = 2*m - 2*y + 16. Suppose -2*h - 6 = m. Is h at most -7?
True
Let u = 9 + -3. Let g = u + -17. Suppose 0 = 3*r - 42 + 48. Which is smaller: g or r?
g
Let y(i) = 16*i + 96. Let m be y(-21). Are m and -240 equal?
True
Let s = -62 - -181. Which is smaller: s or 115?
115
Let o = 0.024 - 2.724. Let t be (4/25)/((-62)/155). Which is smaller: o or t?
o
Suppose 47 = 3*y + 2*g, 4*g = -y + 2*g + 13. Suppose -5*x + 510 = x. Let n be ((x/(-2))/5)/(1/(-2)). Are y and n equal?
True
Let v = 137 + -135. Suppose 2*d = 3*s - 19, 31 = d - 6*d + v*s. Is -6 < d?
True
Let f = -160668887/49 + 3281773. Let b = -2816 + f. Which is smaller: 1 or b?
b
Let o be (-3)/(1 + 1032/(-1034)). Let j be (-18714)/o*2/(-136). Let g = 1/1034 + j. Are 1 and g nonequal?
True
Let m be (-9 + 6 + 2)*(-16)/(-22). Suppose -q + 3*q = -2. Is q >= m?
False
Let b = -313 + 314. Is 1/937 at least b?
False
Suppose 9*k = -9*k + 558. Is k equal to 94/3?
False
Let v = -160 + 143. Which is greater: -22 or v?
v
Suppose 4*l + 276 = -4*x, -5*x + 4*l = 144 + 210. Let v be ((-24)/(-14))/((-5)/x). Suppose 4*g + 0*g = -v. Do g and -0.1 have the same value?
False
Let f = 1220 + -1197. Which is greater: f or -9?
f
Let b = 37/70 + -1/35. Let q be ((-2)/6 - 1)*45. Let i = q + 182/3. Which is greater: b or i?
i
Let i be (16/360)/(2/(-12246)). Let m = -272 - i. Suppose 2*n + 4*l + 7 = -1, 3*l + 6 = 4*n. Which is smaller: m or n?
n
Let w = 19.07 - 18.97. Is 0.0502 at least w?
False
Let d = 1276 - 1276. Is d at least as big as 2/1345?
False
Let q be (0 - 1) + -2 + 602/198. Which is smaller: 0 or q?
0
Let q = 36.6 + -34. Let f = 6.6 - q. Which is smaller: 1/3 or f?
1/3
Let v be 158/(-10) + 1/(-5). Let q be (-24)/v + 1/2. Suppose 0 = -3*z - 5*a - 45, q*z + 5*a - 15 = 5*z. Is -11 bigger than z?
False
Suppose 3*o = -3*n + 21, -4*n - 53 = -o - 4*o. Suppose 4*w + 7 = -5*g - 0, -3*g - o = 0. Is 22/9 less than w?
False
Let h = -849.4 + 850. Which is smaller: h or -4/7?
-4/7
Let x = -1.612 - -1.6495. Is x != -3?
True
Let w = -0.22 + 0.02. Let o be 6 - ((-15)/(-3) + -2). Let r be o/(-2)*(-3)/18. Which is smaller: w or r?
w
Let u = -12 + -22. Let p = u - -33.7. Is -1 bigger than p?
False
Suppose -108 = 9*m - 3*m. Let w be ((-3)/m)/((-4)/8). Which is smaller: -2/3 or w?
-2/3
Let l be (-36)/8*5/(45/6). Let y be 8/(-36) + (-2)/(-9). Which is bigger: l or y?
y
Suppose -3 = 2*c - d, 0*c - 6 = 5*c - 2*d. Let y be c/(-1 + -3 + 2). Is 5 greater than y?
True
Suppose -4*z - 30*v + 25*v = -15, -6 = 5*z - 2*v. Does z = 5/436?
False
Let i(l) = l**2 - l + 1. Let q be i(2). Let u(g) = -g**2 + 7*g + 102. Let y be u(14). Which is bigger: y or q?
y
Let x(o) = o**2 - 8*o - 1. Let j be x(4). Let m = -10 - j. Let h be ((-28)/(-16))/((-3)/(-48)*4). Is h < m?
False
Let n = 4 - -3. Let y = n - 6.9. Is y smaller than -1/3?
False
Let a = -5.5 - 0. Let v = -19.583 - -0.083. Let f = v + a. Which is smaller: f or -1?
f
Suppose 10*r = 5*r + 20. Suppose 97 = -r*b + g + 2*g, 0 = b + g + 19. Let n = -18 - b. Which is bigger: 2 or n?
n
Let x = -10 - -9. Let v = 5.8 + -0.8. Let y = v - 4.5. Is y less than or equal to x?
False
Suppose -8 = x + 7*x. Let a = -244/561 - 1/51. Which is bigger: x or a?
a
Let f(x) = 4*x**3 - x + 1. Let k be f(1). Suppose -k*a = -12, t - 3*a = -2*a + 4. Which is smaller: t or 8?
t
Let p be -4*1 + (-7 - -6 - -4). Let l = 11 + -8. Is l at most p?
False
Let m(s) = 20*s**2 + 4*s. Let d be m(6). Let p = d + -37943/51. Which is bigger: 1 or p?
1
Let a = 139.6 - 81.5. Let q = -58 + a. Do q and -7 have the same value?
False
Suppose 2*m - 3*u - 22 = 0, 2*m = -0*u - 2*u + 32. Suppose 3*s = 5*s + 24. Let c = s + m. Is c < 6/5?
False
Let j = -68 - -43. Let s be 1*(-3 + j/15). Is -4 not equal to s?
True
Let m = -9.6 - -9. Let f = m - -3.6. Let v = f - 3.6. Which is smaller: v or -0.1?
v
Let b = -25.17 + 1.17. Is 1 >= b?
True
Let x = 734/9933 - 4/301. Is -1 at least as big as x?
False
Let d = -9 + 14.1. Let o = 4.9 - d. Which is smaller: o or 0.1?
o
Suppose -5*a + 52 = 3*p, -p + a + 28 = -0*p. Let v be (p/10)/(-3)*85/17. Which is bigger: -32/7 or v?
v
Let n = -303 - -290. Suppose 0 = -2*f - 20 - 4. Which is smaller: n or f?
n
Suppose -9 = -p - 2*p, 2*p - 16 = -i. Suppose -i*s + 6*s = 0. Let h = -1 + 1.1. Is s at least as big as h?
False
Let h be (-1)/(-6)*((-18387)/18)/(-3). Let l = -57 + h. Which is bigger: l or -1?
l
Let l = 27/40 + -247/840. Which is greater: -1 or l?
l
Suppose 0 = -3*c + 5*b + 45, 5*b = -2*c + 6*c - 55. Suppose 10 = z - c. Suppose -3*g = -8*g + z. Which is bigger: -0.3 or g?
g
Let r be (-8)/3856*(-7)/((-21)/12). Suppose 2*l = -h + 11, 0 = h - 3*h + 2*l - 8. Is h less than r?
False
Let p be 18/(-21)*(-16)/(-24). Which is smaller: -1/10 or p?
p
Let a be (34/8)/(18/72). Suppose -8 = l + a. Is -26 less than or equal to l?
True
Suppose -2*b = 3*j - 115, -b - 65 = -2*j - 0*j. Let y be (-56)/j - (-1 - 0). Let q = -2 - -1. Which is smaller: q or y?
q
Let w = 114 + -115.03. Let d = 0.97 - w. Is 2/5 greater than d?
False
Let o(c) = c**2 + 25*c - 5. Let u be o(-25). Suppose 0 = 3*p - 4*q + 11, 3*p = 2*p + 3*q - 7. Let y = u - p. Are y and -3 unequal?
True
Suppose 6*z = -6*z + 132. Is 12 at least as big as z?
True
Let z(g) = -g - 2. Let v be z(6). Let n be ((-12)/v)/3*2. Let o = 0 + n. Is -1/10 > o?
False
Suppose 0 = -4*j + 3*j + 47. Suppose 5*y - y + 3*t = -j, -4*t - 12 = -y. Let b = 6 + y. Is -4 < b?
True
Suppose -8*f = -22*f + 1610. Which is smaller: 117 or f?
f
Suppose -5*y = -12*y. Suppose y = -5*f + z - 114, f + 5 + 13 = 5*z. Is 0 >= f?
True
Let p = -76 + 48. Let q = 0.1935 + -0.3935. Are q and p equal?
False
Let f(b) = b - 7. Let i be f(8). Let w be (2 - 4)*1/65. Which is greater: i or w?
i
Let m(f) = 11 + 19*f + f**2 - 3 - 6*f. Let c be m(-13). Which is smaller: 9 or c?
c
Let v = 109 - 64. Let r be 3 - v/(4 - -1). Which is greater: -5 or r?
-5
Suppose -2*f = 5*f - 35. Suppose -3*k + f*k = 0. Which is greater: -2/47 or k?
k
Let p = 5 + -1. Suppose y = -3*r - 598, -784 = 4*r + p*y - 0. Let n = r + 3416/17. Is n smaller than 1?
True
Let t be (-864)/22 - (0 - 0). Let d = -2515/66 - t. Let x = d - 5/6. Are -2/3 and x non-equal?
True
Let r = -1/3600 + 324019/68400. Let v = -110995129/152 + 730226. Let y = r + v. Which is greater: 2/5 or y?
2/5
Suppose -4*w - 185 - 137 = -2*f, 4*w - 282 = -2*f. Which is smaller: 152 or f?
f
Let y(r) = -r**2 - 5*r + 6. Let u be y(-6). Let s be 7 - (24/(-4) - -12). Which is smaller: s or u?
u
Let m = 15/236 - 1021/30916. Let o = -314/1703 + m. Which is greater: 3 or o?
3
Let n(i) = -12*i + 22. Suppose 6*f - 25 - 17 = 0. Let g be n(f). Is -62 less than g?
False
Let q(j) = j + 4. Let h be q(3). Let b = h - 7. Suppose b = 2*y + 2*y. Do 2/23 and y have different values?
True
Suppose 667 = 5*n + 7122. Is -1291 at most as big as n?
True
Let t = 37 + -35. Let y be -1*t/(-8) + (-74)/360. Which is greater: y or 1?
1
Suppose -5*b = f + f + 2067, -3*f = -3*b + 3069. Let n be (315/f - (-1)/3)*12. Do n and 0 have different values?
True
Let h(v) = 13*v - 17. Let y be h(6). Let g be -1*(-15)/((-9)/(-3)). Suppose g*w = 4*u - y, u - 1 = -2*w - 28. Are w and -12 non-equal?
True
Let n(q) = 2*q**2 - q + 1. Let y be n(-2). Suppose 1 = -5*d - 2*w, -4*w - y = d - 0*d. Let l = 1/334 + 499/668. Which is greater: l or d?
d
Let q(f) = -f + 2. Let v be q(-2). Suppose 0 = -2*h + v*h + 676. Let c be (1 - -1)/(h/(-39)). Is c greater than or equal to 1?
False
Suppose 2*r + 4*d - 20 = -0*d, r + 14 = 4*d. Suppose 5*w - 2*n = -63, 2*w + 37 = -w + 2*n. Let v be (-1)/r*(-26)/w. Is 2/3 at least v?
True
Let l = 110 + -33. Which is greater: l or 64?
l
Suppose -5 = -14*b + 9*b. Let w be 9713/26724 + b/(-4). Let r = w + -20/131. Which is bigger: 1 or r?
1
Let l be 54/(-90)*(-190)/6. Suppose p + o = 3*o + 12, -o = -5*p + 96. Is p less than or equal to l?
False
Let t be 4 - (1 + 2/2). Let l(u) = 4*u + 1. Let h be l(t). Suppose -62 + 512 = 45*p. Are p and h equal?
False
Suppose 0 = 369*j - 388*j + 76. Let v = -3 + 2. Let r be (7/((-7)/6))/v. Is j at least as big as r?
False
Suppose 3*g - 2*p + p - 33 = 0, 3*g - 4*p = 42. Let a(y) = -y**2 