14. Do a and -1/46 have the same value?
False
Suppose 0 = -p + 3*p - 6. Suppose 9 = 6*o - 3*o. Is o at least as big as p?
True
Let u = -3 - -11. Let y be (u/(-12))/(4/(-282)). Let p = y + -421/9. Are 0 and p equal?
False
Let u be -1*1 - 42/(-7). Let z(f) = f. Let j be z(4). Is u equal to j?
False
Let f(p) = -p**2 + 11*p - 8. Let y be f(9). Is y < 9?
False
Let z = -73/12 + 19/3. Which is smaller: 0.8 or z?
z
Let y(i) = 2*i**3 + i**2 - 2. Let r be y(-2). Let j be 0 + 1256/r + 1. Let w = j - -89. Which is bigger: 0.1 or w?
w
Let y be -3 + (-5)/(-1) - -8. Suppose -4*t = 5*v + y, -v = t - 0*t + 2. Is t bigger than 0?
False
Let h(o) = 7 + 3 - 3 - o. Let k be h(3). Suppose k = 2*c - 6*c. Which is smaller: 2/5 or c?
c
Let x(q) = q**3 - 8*q**2 - q + 4*q + 5 - 7. Let a be x(8). Let i be a/(-30) + (-1)/(-3). Which is greater: i or -0.1?
-0.1
Suppose -2*i + 6*i - 4*g = -12, 9 = i + 2*g. Which is greater: -2/15 or i?
i
Let c(z) = -z**2 + 3*z - 1. Let y be c(2). Suppose 0 = -h - 5, -3*t + 2*h + 10 = -0. Let l = y + t. Is l not equal to 2/7?
True
Let x be (-6 - -8)/(5/2). Which is smaller: x or -1/4?
-1/4
Let u be (2/2 + -4)/5. Let n = u - -49/65. Is 0 equal to n?
False
Let k = -65 + 66. Which is bigger: -2/5 or k?
k
Let h be 9/(-90) - 1/2. Let d = 4 - 5. Is h less than or equal to d?
False
Let i(o) = 7*o**3 + 5*o**2 + 7*o + 6. Let w be i(-2). Is -44 less than w?
False
Let w = 0.1 + 0.4. Let k = -2.5 - -1. Let f = k + w. Which is smaller: f or -0.2?
f
Suppose -2*j - j + 357 = 4*w, 3*j - 183 = -2*w. Let i be (-3)/(-1) + (-282)/w. Let c = i + 135/319. Which is greater: c or 1?
1
Suppose 0 = -n + 6*n + 5*i, -n - 4*i = 9. Let d(c) be the third derivative of c**5/60 - c**4/12 + c**3/6 + c**2. Let p be d(n). Is 6 less than p?
False
Suppose 4*j + 0*j = 0. Let f be (2/4)/((-2)/(-20)). Suppose 7*d - 2*d = -f. Which is smaller: d or j?
d
Let j(k) = -3*k + 9. Let z(m) = 4*m - 14. Let f(x) = 7*j(x) + 5*z(x). Let q be f(-8). Is q bigger than 3/7?
True
Let c = 1 - 3. Let q be (-2 - 2)/2 + 11. Let t = q - 8. Which is bigger: t or c?
t
Let z be 4*(-1)/1*4. Let k = z + 28. Let t = k + -8. Which is smaller: 0 or t?
0
Let p(b) = b - 4. Let i be p(5). Is i at least -2/21?
True
Suppose 3*d = 9, -z - 4*z - 8 = -d. Let v = z + 0. Let m = -35/6 + 101/18. Is m >= v?
True
Suppose 7*o + 16 + 12 = 0. Is 1 less than o?
False
Let j = 33.3 - 33. Is -2 <= j?
True
Let m = -2.05 - -0.05. Let p = 3.8 - 3.9. Do m and p have different values?
True
Let n = -6 + 9. Which is bigger: n or 8?
8
Let i = 8 - 8. Suppose i*y - y + 2 = 0. Which is greater: 7/6 or y?
y
Suppose 0 = 3*k + 3*n - 9, -k = -n - 3*n - 8. Let i = 8 - k. Are 3 and i unequal?
True
Suppose f + 77 = -5*w, 36 - 103 = 5*w - 4*f. Does -18 = w?
False
Let z = 1/238 - 137/238. Does -2 = z?
False
Suppose 5*z = 20 + 20. Which is smaller: 9 or z?
z
Let s = -14 - -20. Let m = -2 + s. Which is greater: 0.2 or m?
m
Let o = -25/93 + -2/31. Let n = -19/13 + 107/91. Is n greater than o?
True
Let n(u) = u**3 - u**2 - u + 2. Let i be n(0). Is i greater than 3/4?
True
Let n be -1*(0/1)/3. Suppose n = -2*a - 2*a. Which is smaller: -2/21 or a?
-2/21
Let j = -1 - 0. Which is smaller: 1/33 or j?
j
Let q = -1931/44 + -213/11. Let t = q - -63. Which is greater: t or -2/3?
t
Let x be (4 + -4 + 0)/2. Let y be 7/39 + (-4)/12. Which is smaller: x or y?
y
Let o = 59 + -61.8. Is 2/7 smaller than o?
False
Let a be (3 + 3)/(3/2). Suppose -a*r + 32 = -4. Which is greater: r or 8?
r
Suppose 7*i + 45 = 22*i. Is 4 at least i?
True
Let w be ((-1)/2 - -2)*2. Suppose -u + w = 2*u. Suppose 5*a + u + 11 = -3*j, -3*j - 12 = a. Which is bigger: a or 1?
1
Let d = 108 + -98. Is d greater than 10?
False
Suppose -3*h = 5*l + 26, 28 = -4*l + 2*h - 6. Let f = -2 - 6. Which is bigger: f or l?
l
Let m be (2/(-7))/(1/(-7)). Let j(b) = b**2 - 3. Let k be j(0). Let r = k - -5. Are r and m non-equal?
False
Let i = 27/7 - 143/28. Is i bigger than -1?
False
Let k = 87 - 437/5. Is -22 <= k?
True
Suppose 0 = z - k + 14, 2*k = -3*z + 6*k - 42. Is z less than or equal to -14?
True
Let o be (-1)/(-4) - 76/(-16). Let z = o + -2. Let a(g) = -g**3 + 3*g**2 - g + 1. Let s be a(2). Is z at least as big as s?
True
Suppose 4*y - 54 = 6. Let a be 8/y*15/220. Which is bigger: a or 0?
a
Suppose 5*z - 16 = -2*a - 1, -4*a = 4*z - 36. Let f = a + -9. Is -1/3 <= f?
True
Let p = -6 - -5. Let a = p + 1. Which is smaller: 1 or a?
a
Let z = -96/455 + 2/35. Do -0.2 and z have the same value?
False
Let f be (-2 - (2 - 0)) + -1. Let b = -26 + 16. Let w = b + 7. Is f less than w?
True
Suppose -w + 6*w - 20 = 0. Suppose w*z + r = 3 + 18, 4*z = 3*r + 33. Let y be z/(-3) - 1*-2. Which is smaller: -1 or y?
-1
Let m(h) = -h**2 + h. Let w be m(1). Let l = -131 - -338. Let q = 3521/17 - l. Which is smaller: q or w?
w
Let w = -0.16 + 0.26. Is w at least as big as -1/3?
True
Let j = -2 - 6. Let w(u) = -3*u**2 + 3 - 7*u + 4*u**2 - 2*u**2 + 6. Let v be w(j). Are 3/2 and v nonequal?
True
Let b be 4/22 + 84/22. Let i be 2*9*2/b. Is i != 9?
False
Suppose -5*f + 16 = m, -30 = 3*m - 7*m - 3*f. Let c be (-2 - -4)*m/4. Is 4 greater than c?
True
Let z = -6.9 + 7. Let a = z - 0.2. Let s = 0 - a. Which is smaller: -0.1 or s?
-0.1
Let k be ((-22)/40)/((-2)/15). Which is bigger: k or 4?
k
Let a = -1.2 - -0.2. Let q = -0.17 + 1.97. Let x = q - -1.2. Which is greater: x or a?
x
Suppose 4 = -w + 4*n + 22, -3*n = 12. Let g(q) = -q + 8. Let j be g(6). Suppose -j*k + 2 + 4 = 0. Which is smaller: w or k?
w
Suppose 0 = -l + 4*p + 15, 2*l - 3*p - 10 = -0*l. Which is smaller: l or 2?
l
Let k = -1.6 + 0.6. Which is smaller: -12/7 or k?
-12/7
Suppose 4*i = o + 158, 2*o + 121 = 2*i + i. Let j be -1*i/21 + 1. Is j >= -1?
True
Suppose 0 = -4*h + k - 1, 0*k + k = h + 1. Let n(r) = r + 1. Let t be n(h). Let p = 20 - 79/4. Is t equal to p?
False
Let y be (-1)/5*(-10)/8*2. Let v be (-3)/9 + 20/6. Let s = -6 + v. Is s less than or equal to y?
True
Let s be 1/(-3) + (-50)/(-6). Let t = s + -9. Is t less than or equal to -6/5?
False
Suppose v = 7*v. Which is greater: 1 or v?
1
Let y = 30 + -28. Suppose -5*v = -t + 21, 2*t = 5*v + 25 - 8. Is y <= v?
False
Let u(g) = g**3 + 4*g - 15*g**2 + 20*g**2 - 1 + 1. Let l = -4 + 0. Let q be u(l). Which is bigger: -2/25 or q?
q
Suppose -3*c + 10 = 2*c. Suppose 4*d + 2 = c*d. Which is smaller: d or -2/7?
d
Suppose 47 = 5*f - 13. Let y be (12/(-3))/f*-3. Suppose 2*r = 5*c - 15, -4*c + 7 = r - 5. Is r at most y?
True
Let f = -1.6 + 2.3. Let z = f - 2.7. Let p = -5 + 5.3. Are z and p unequal?
True
Let r = -0.87 + 0.07. Let t = 0.7 + r. Which is bigger: 0.1 or t?
0.1
Let o = 241/9 - 27. Which is smaller: 1/3 or o?
o
Let x = 56.1 - 56. Is x at most as big as -25?
False
Let d = 24 - 24.2. Are 2/25 and d unequal?
True
Let v be 7/1*(-2)/(-10). Which is bigger: 2 or v?
2
Suppose -4*y + 2*b = -46, -16 - 24 = -3*y - 4*b. Which is smaller: 13 or y?
y
Suppose -673 - 1632 = -5*d. Let n be d/6 + (1 - 2). Let t = n + -76. Is 1 > t?
True
Let u be ((-12)/(-16))/((-2)/(-752)). Let v be (u/93 - 3)*-2. Which is greater: -1 or v?
v
Let a(m) = m + 2. Let t be a(12). Suppose 0 = -4*j + 3*j + 13. Which is smaller: j or t?
j
Let c = 5 + -2. Which is bigger: c or 2?
c
Let l = -5 - -1. Let i(d) = 2*d + 8. Let r be i(l). Which is smaller: 1/8 or r?
r
Suppose 24 = 8*u - 4*u. Let a = u + -6. Is a bigger than 3?
False
Let w = 1 - 2. Let s be 0*w/(-2) - -2. Let k = 0 - s. Is -3 >= k?
False
Let n = -0.22 + -10.78. Let p = -16 - -16.1. Which is smaller: n or p?
n
Let p = -93 + 112. Do 22 and p have different values?
True
Suppose 0 = -h + 3*h + 8. Which is smaller: 1 or h?
h
Suppose 0 = -6*k + k + 150. Suppose 0 = 5*n - k - 20. Let i be 5/(-25) - 38/n. Is -1 bigger than i?
True
Let b(o) = o + 3. Let r be b(-3). Is r less than or equal to 2/25?
True
Let a(w) = w**3 - 4*w**2 + w - 4. Let o be a(4). Suppose o = -0*z - 4*z + 32. Is 7 greater than z?
False
Let f = -3 - -5. Let o(j) = -6*j + 111. Let i be o(18). Is i < f?
False
Let v = 0 + 3. Let p be (3 - (v - -1))/(-1). Which is bigger: 1/4 or p?
p
Let j be 2*-1 - (1 + -1). Let a = -90 - -90. Is j < a?
True
Let j = 0.1 - -0.1. Suppose -3*q - 4 = -13. Let u be q/(-15) + (-2)/15. Which is bigger: u or j?
j
Let a be -1 - (-2 - -3 - 2). Suppose 5*k - 5*z - 15 = 0, -z - z - 8 = 0. Let j be 14/(-8) + (1 - k). Whic