 + 3. Are v and i non-equal?
True
Suppose -4*r + 3 = -3*r. Suppose -3*t + 12 = 0, -3*x = r*t - 4*t - 35. Suppose l - 1 - 3 = v, x = -2*l - 5*v. Is 1/17 less than l?
True
Let d = -0.0585 - -8.0685. Let p = 8 - d. Let i = p + -0.09. Which is smaller: i or -5?
-5
Let n be (-221770)/98624 - 18/(-8). Which is greater: n or -1?
n
Let x(p) = -3*p + 15. Let c be x(23). Which is smaller: -55 or c?
-55
Suppose 5*d + 5*r = 930, 13*d - 11*d - 2*r = 384. Is 192 >= d?
True
Let g(x) = 3*x**3 - 2*x**2 - 3*x - 2. Let k be g(-1). Let w be (-16)/(-4) + 1 + k/2. Which is smaller: 10/3 or w?
w
Let f = 19/6 + -65/21. Suppose 4*c - 6*c = 0. Suppose 4*d - 3*n - 2*n - 4 = c, d + 3*n = 1. Is f greater than or equal to d?
False
Let j be 204/18 - 10 - (-3)/(-9). Which is greater: j or 4/101?
j
Suppose 3*z = 5*l + 160, -3*z + 5*z = -2*l + 128. Which is bigger: z or -4/3?
z
Let p be (-33)/(-484) - 1/4. Suppose -4 = -4*x - 0. Which is smaller: x or p?
p
Let s be ((-154)/33 + 0)*(-75)/(-1). Are -351 and s equal?
False
Let r(a) = a**2 + 2*a. Let u be r(-4). Let y = 12 - u. Suppose 4*j - y = 6*j. Is j bigger than -4/7?
False
Suppose 0 = -8*w + 10*w + 24. Let z be (16/1308)/(-3 + (-44)/w). Is 0 < z?
True
Let v = -31 + 32. Is v at most as big as -1.15?
False
Let n(a) = a + 1. Let u be n(3). Let w be (1 - -1)/(0 + 1). Suppose 12 = 5*h + w. Which is smaller: h or u?
h
Let z be -1*(3 - 3) - -20. Let y be (45/z)/(2 - 3). Is -1 at most y?
False
Let j be (-13 + 4 + 21)*(-375)/(-12). Are j and 375 non-equal?
False
Let t = 2.4 + -4. Let j = 1.46 + t. Let v = j - -0.04. Is v equal to 0.05?
False
Let t(g) = 21*g + 92. Let k be t(-5). Which is bigger: -12 or k?
-12
Suppose -3*h + 0 = 3*y + 6, -4*y + 17 = -h. Which is smaller: 15/8 or y?
15/8
Suppose -3*t + 2 - 8 = 0. Let i = -67/28 + 38/21. Which is bigger: i or t?
i
Suppose -5*l + 0*l = 0. Let u(s) = -s**3 + s**2 + 4*s - 3. Let z be u(l). Is z greater than -3?
False
Let z = -1327/6 + 220. Suppose x = -u + 3*x + 1, -3*x + 16 = 2*u. Suppose 0 = -u*p + 2*t - 0*t - 4, -3*p - 4 = -2*t. Which is greater: p or z?
p
Let f be (-225)/50*8/(-12). Is 22 not equal to f?
True
Let x = 3765 - 52733/14. Are x and -2 unequal?
True
Let k = 0.1438 - 0.3438. Is 1/32 < k?
False
Let l = -11 + 5. Let a = 24 + -18. Let j be (l/36)/(4/a). Which is smaller: j or 7?
j
Suppose 61 = -z + 26. Let t be 4 + (300/z)/2. Let r = -0.1 - -0.4. Which is smaller: r or t?
t
Let a = 1039 + -895. Is a less than or equal to 714/5?
False
Let h(a) = 6*a**2 + 3*a + 2. Let b be h(-1). Let p = -9 + 12. Suppose 0 = c + 4*v - b, 3*c - c - p*v = -1. Which is greater: c or 2/3?
c
Suppose -4*a - 26 = a + 4*b, 4*b = 5*a - 6. Suppose -7*z + 704 - 2272 = 0. Let t = z - -1116/5. Is a less than t?
True
Let l(i) = i**2 - 2*i + 2. Let w be l(1). Suppose -f = 5*d + 1154, d - 3*d - f - 461 = 0. Let t = -1845/8 - d. Which is greater: t or w?
w
Let v = -1240025/6656 + 2422/13. Is -1 at least as big as v?
False
Let w = 17.12 + -0.12. Let i = -7 + w. Let x = -13 + i. Is 1 bigger than x?
True
Let j = -1.69 + -280.31. Which is greater: -2 or j?
-2
Let x be 3/54*(-1 - (3 - 1)). Suppose 0 = -0*n + n. Is x > n?
False
Let s(t) = 4*t + 62. Let z be s(-14). Let m be -1*(-2 - -1) + 19. Suppose 5*k = m, -3 = -c + z*c - 2*k. Are -5 and c equal?
False
Let d(w) = -3*w - w**2 + w - 1 - 2 - w. Let z be d(-2). Suppose 3*b = -3*r - 15, -b - 6 = 3*r + 5. Which is smaller: z or b?
b
Let i be (-4)/14 - 27/(-21). Suppose l = 13 - 0. Let m = l - 9. Do m and i have the same value?
False
Let z be (-11)/44 - 202/(-8). Suppose 20 = g - o, -g - o + z = 9. Is 18 equal to g?
True
Let j = -53 + 56. Suppose 2*g - 2*l - 8 = 0, -l = -j*g + 3 + 3. Let z = -0.4 - -0.2. Which is greater: g or z?
g
Let t be (1*(-2)/(-2))/1. Let k = 2 - 7. Let n be k/(20/(-8)) - 2. Is t greater than or equal to n?
True
Let q = 35 + -37. Suppose 4*g - 3*g = -2. Let s = g - q. Which is smaller: 1 or s?
s
Suppose -8*j - 5*j = 13. Is j >= -2/23?
False
Let v be (-1)/(-1) + 20/20. Let s be (0 - v*(-4)/(-8)) + 2. Which is bigger: s or 1/7?
s
Suppose 5*w - 2*w + 27 = 0. Let s be ((-12)/w)/((-4)/(-12)). Suppose -5*l - n = n - 5, s*l - 4*n - 32 = 0. Is l at most as big as 1?
False
Let c be (-34)/(-120) - 1/4. Let l = 2457 - 2456. Which is smaller: c or l?
c
Let i = 11 - 18. Let y(b) = b**2 + 8*b + 10. Let a be y(i). Is a equal to 3?
True
Let y(o) = -o**2 - 36*o - 67. Let m be y(-34). Which is smaller: -1/29 or m?
-1/29
Let n be 2/2*(12 + -7). Let s be ((-7 - -7) + 1)/(1/n). Which is smaller: 11 or s?
s
Let z = 2526 + -2422. Which is smaller: z or 112?
z
Suppose -4*x + 58 = -2*u, 0*u = u + 4*x + 5. Let d be (3/(-9))/(u/(-24)). Which is bigger: 0 or d?
0
Suppose -4 = g - l, -g - 11*l + 16*l = 16. Suppose 0 = -5*z - 125 - 25. Let o be -1 - z/16 - 1. Which is smaller: g or o?
g
Let h = 4115 + -218101/53. Which is smaller: h or 1?
h
Let g = 643.1 - 644. Which is smaller: g or 8/11?
g
Let u = 52 - 54. Let d be u/(-4)*(-10 - 0). Which is greater: d or -11/2?
d
Let r be (-26)/(-22) - 36/198. Is 2/7 at most as big as r?
True
Let s = -61 + 50. Which is bigger: s or -5?
-5
Let d be (-1 + 2)*(-2 + 0). Let q = 8 + -15. Let r be 16/(-14) + (-1)/q. Is r smaller than d?
False
Suppose 0 = t - 2*y - 41, -29 = -t - 4*y + 24. Suppose -6*n = -n + t. Which is bigger: n or -11?
n
Let j be (5 - -5)*(-2)/(-2). Suppose -2*a + 4*h = j, -h + 5 = 4*a - 2. Which is smaller: -2/149 or a?
-2/149
Suppose 2*m + 346 = -2*w, 3*m = m - 4*w - 336. Is -178 at least as big as m?
True
Let z(g) = -g**3 - 3*g**2 - g - 4. Let b be z(-3). Let a = -1584 - -1582. Is b < a?
False
Let q = 62 - 61.9. Which is smaller: q or 697/2?
q
Let v = 66.7 + -65.7. Which is smaller: -9 or v?
-9
Suppose 0 = -5*r + 8*r - 2*g + 484, 5*r + 5*g = -790. Is -158 bigger than r?
True
Suppose 4*f - 8*f + 16 = 0. Suppose 2 = -v, 10 - 22 = -4*o + f*v. Which is bigger: 35 or o?
35
Let c = -114.26 + -0.74. Let g = c + 110.9. Do 0 and g have the same value?
False
Let y = 18587/11 - 1694. Let s = -5127/22462 + 1/1021. Let d = s + y. Is d bigger than -6?
True
Let b = 50.8 - 59.8. Which is smaller: -0.22 or b?
b
Suppose 2*t - 213 = -3*c, -2*c - 4*t - 61 + 211 = 0. Let a = -541381/10 - -54069. Let n = a + c. Which is bigger: -1 or n?
n
Let v = -3 - -4. Suppose -s + 4*u + 14 = 0, -2*u - 4 = s - 3*s. Let j be s/5 + 144/(-140) - -1. Is j equal to v?
False
Let j be 9/4 - (-2)/(-8). Let g = j + 12. Suppose 4*z = -p + g, -4*p + 6*p - 16 = -5*z. Which is bigger: p or 0?
0
Let z be 2*(-195)/(-6)*7. Let r = 41407/91 - z. Let s be (2/(-6)*-1)/(2/(-6)). Is r >= s?
True
Let q(c) = -c**2 + 12*c - 20. Let l be q(10). Suppose 4*k = -l*k. Suppose k*y = 4*y - 12. Which is smaller: 15/8 or y?
15/8
Let t be (-33)/(-2)*312/(-9). Let g = t + 2253/4. Let r = -9 - g. Which is bigger: r or 1?
1
Suppose 4 = -2*t, 2*t = -5*r + 3*t - 333. Which is smaller: -1 or r?
r
Let k be 1012/20 - (-6)/(-10). Let z = 22 + k. Let f = z - 506/7. Which is smaller: 0 or f?
f
Let m(y) = -y**3 - 9*y**2 - 9*y - 7. Suppose 5*u - 3*u = -16. Let n be m(u). Let c be -2 - (n + -4 - -13). Is c != -11?
True
Suppose -5*v + 4*n - 7 = -3, 0 = 5*n - 5. Let p = -1682/5 + 337. Are v and p unequal?
True
Suppose 3*s = 27*s + 37*s. Is s not equal to -1/748?
True
Let p(s) = 13*s + 2. Let x be (-15*(-1)/3)/1. Suppose -5*w + x + 0 = 0. Let n be p(w). Do n and 13 have the same value?
False
Let k = 0.996 - -0.004. Which is smaller: k or -0.07?
-0.07
Let u be 1/2 - (-3465)/42. Which is bigger: 80 or u?
u
Suppose -3*x = -7*x. Suppose -7*c = -12*c - 80. Let b = 18 + c. Which is smaller: x or b?
x
Let o(c) = 9*c**3 - 3*c**2 + 7*c + 10. Let w be o(-3). Are 2/7 and w nonequal?
True
Let j = 117/5 - 23. Which is smaller: -12 or j?
-12
Let m(g) = -g**2 - 11*g + 14 - 14. Let h be m(-8). Suppose 10*c = 12*c - h. Is c != 11?
True
Let m(r) = 39*r**2 - r + 2. Let g be m(1). Suppose 0 = 3*a, -c - 2*a = -g - 12. Suppose -4*f = -5*u + c, f = -f - 6. Is 8 > u?
False
Suppose 3*d + 3*z = -15, 2*d - z - 3*z - 20 = 0. Which is smaller: d or -6/95?
-6/95
Let f = -38 - 5. Let t = 42.2 + f. Which is greater: t or -4?
t
Let g(n) = 3*n**2 - n - 2. Let b be g(-1). Let a be (6/(-24)*b)/(1/(-10)). Is a < 6?
True
Suppose 4*q = q + 36. Suppose 2*l - 93 = -4*i + 5, -5*l - 4*i + 233 = 0. Let a = 55 - l. Which is smaller: a or q?
a
Let u be 7