al to v?
True
Let a = -67/18 - -20/9. Let q be (-3)/9 - 8/3. Do q and a have the same value?
False
Let p be (-1)/(2/(-1 + 3)). Let i = -3.71 + -0.29. Is p at least i?
True
Let g = 40 - 43. Is -11/5 less than or equal to g?
False
Suppose -57*z = -56*z. Which is smaller: z or -2/147?
-2/147
Let f be (-2)/(26/(-5))*1. Let r = f + -51/65. Is 1 != r?
True
Let m = 4.918 + -0.038. Let n = m + -5. Is n at least -1?
True
Let p = -6.2 + 1.2. Let u = -5.1 - p. Let c = -0.1 - -2.1. Is c equal to u?
False
Let f be 32/(-18) + 6/(-27). Let p be ((-1)/f - 1)*-6. Let q = p - 0. Is q < 3?
False
Suppose 0*b - 4*b + 16 = 0. Suppose 2*n - b = -0*n. Suppose -n*r + 6 = -4*r. Which is greater: -1 or r?
-1
Suppose 50 = -4*l - 2*z - 2, -3*z = -5*l - 54. Let a = -129 - -117. Is a less than l?
False
Let a = 136 + -14010/103. Is 2/9 != a?
True
Let k = 72 + -214/3. Are k and 18 unequal?
True
Suppose -2*y = -y. Suppose y = 5*v + 3 + 2. Are v and -0.1 unequal?
True
Let c be (-2392)/5330 + (-3)/((-15)/2). Which is smaller: c or -1?
-1
Let z = -9 - -7. Which is smaller: 2/7 or z?
z
Suppose -7*t + 7 = -28. Is 5 not equal to t?
False
Suppose -x + 0*x + 11 = -2*g, 0 = 3*g + 5*x - 3. Which is greater: -5 or g?
g
Let y = -2 + 2. Let f = -0.2 + y. Let r = f - -0.3. Which is bigger: -1 or r?
r
Let t = 0.31 + -0.21. Let b = 0.08 - 0.01. Which is smaller: b or t?
b
Let t be 1929/14*-2*2. Let g = t + 550. Suppose 7*b - 10 = 12*b. Which is greater: b or g?
g
Let t = 3/54236 + 85807/409752980. Let s = t - 31747/60440. Let p = -1/40 - s. Is 2 bigger than p?
True
Let c = -4.1 + -3.5. Is c greater than 1?
False
Let v(p) = -2*p**2 - 22*p + 25. Let f be v(-12). Which is bigger: -10/21 or f?
f
Suppose -5*w + 4*j = 2*j - 52, 5*w + 2*j - 48 = 0. Let r(u) = -u**3 - 2*u**2 - 2*u - 4. Let m be r(-3). Is w equal to m?
False
Let v = -4 + 2. Suppose 8*g - 10 = 3*g. Suppose -g*q = 2*h + 4, -q - 5 = 4*h + 6. Is h smaller than v?
True
Let l be (2/1 + -1)*(0 - 1). Which is greater: 39 or l?
39
Suppose -l - 2*l = -6. Suppose 4*n = -3*c - 7, -2*c + 7 = -5*n - 4*c. Let m be ((-2)/6)/(n/6). Is l at least as big as m?
True
Let j be 2*(-1)/14*-1. Suppose 0 = -2*h - 2*h. Let c be (5 + -5)/(h - -2). Is j greater than c?
True
Let x be (16/28)/(6/21). Suppose 0 = -4*t - x - 6. Are 0 and t nonequal?
True
Let l = 9616/23049 - 50/117. Is 0.1 greater than l?
True
Let x = -9 - -9. Suppose 3*n + 12 = x, 4*t + 4*n - n + 24 = 0. Are t and -3 non-equal?
False
Let h = 18.2 - 20. Let g = 9.8 + h. Let b = g + -9. Is 3/4 at most as big as b?
False
Let g be -14 + 14 - (0 - -68). Is g <= -68?
True
Let w(o) = -o**2 + 4*o + 7. Let s be w(6). Let z be ((-1)/s)/((-2)/(-6)). Which is smaller: 0 or z?
0
Let p(j) = -2 - 9 + 0 + j. Let d be p(8). Which is greater: d or -5?
d
Let h(m) = -m + 4. Let i be h(7). Let o be (-3)/((-4)/(8/i)). Let t be (1/(-3)*0)/o. Which is greater: t or -1?
t
Suppose 5*h = 2*i - 2, 6 = 4*h - 2. Let k be i/(9/(-6)*1). Which is smaller: 0 or k?
k
Let q = 473/5 + -95. Let u(z) = 2*z + 11. Let g be u(-7). Is g equal to q?
False
Let i be 6/(-2) - (1 - 2). Let d be (3/i)/((-2)/(-4)). Do d and -3 have the same value?
True
Let d be (-2)/2 + 39/(-9). Let j = d + 23/6. Is j at most -2/7?
True
Let n be (-1)/(-1) - 4/(-4). Let l(y) = 4*y - n + y**2 + 0 - 2 + 3. Let v be l(-4). Which is smaller: -1/4 or v?
v
Let y = -35 - -39. Is 1 < y?
True
Let t = -0.04 - -0.19. Let o = t - 0.05. Which is greater: 4 or o?
4
Let n(i) = 7*i + 4. Let h be n(3). Let m = h + -16. Which is smaller: 8 or m?
8
Let w(y) = y**2 + 12*y + 1. Let i(k) = k**2 + 13*k + 1. Let q(p) = 4*i(p) - 5*w(p). Let c be q(-7). Suppose c = -x + 5. Is -2/23 greater than x?
True
Let y = 1 + 4. Suppose 25 = -y*p + 5. Is p at most -4?
True
Suppose -5*r = -28 + 3. Suppose -5*p = -17 - 8. Are r and p equal?
True
Let h = -24.06 + 24. Which is greater: 3 or h?
3
Let z(b) = -12*b - 27. Let w be z(-6). Is 46 >= w?
True
Suppose -c = -4*v + 17, -5*c + 3*c + 21 = 3*v. Let p be (-28)/(-7) - (0 - 0). Which is smaller: p or c?
c
Let c = -0.08 + 2.08. Let s = -0.4 + -0.6. Let t = s - -2. Is t < c?
True
Let z(l) = l + 7. Let v(n) = n**2 - 11*n + 12. Let p be v(8). Let f be z(p). Let a(c) = -c - 5. Let k be a(f). Which is smaller: k or 1/2?
k
Suppose 0 = 5*c + 12*c - 18*c. Which is greater: c or -7/29?
c
Let j = -154 - -154. Is 0 less than j?
False
Let j = 45/107 + -4487/2782. Let w = -14/39 - j. Which is smaller: 0 or w?
0
Let f = -5.07 + 0.07. Let q = -17 + 67/4. Is f equal to q?
False
Let p = -0.028 - -0.028. Which is bigger: p or -3?
p
Let t be ((-7)/2)/(7/14). Suppose 0 = 2*v - 7 + 1, 0 = 4*g - 4*v + 36. Is g at least as big as t?
True
Suppose -14*b - 8 = -10*b. Is b greater than -18/13?
False
Let l = -2108/13 - -162. Let z = -0.02 - -0.02. Is l > z?
False
Suppose 0 = i - 5*v + 9, -3*i + 2*i - 4*v = -9. Suppose -2*m + 2 = -4*m. Let d be (-1*i)/(m/(-3)). Which is smaller: -1 or d?
d
Let u(s) = 2*s - 4. Let j be u(4). Suppose 15 = -m + j*b, 0*b = -2*m + 3*b - 10. Suppose -n - m = -0*n. Is n at most 0?
True
Let d = -1826204 - -69389857/38. Let u = 1936947/12502 + d. Let o = -4/47 + u. Is o bigger than 0?
False
Suppose 0 = -8*x + 11*x + 3. Let k be 2 - (224/(-58))/(-2). Is x < k?
True
Let r be (-3 - -5)*(-2)/4. Let h be (0 - 7) + -1*1. Let o be -2 - (r + 10/h). Which is smaller: 1 or o?
o
Let m = -0.02 - -1.02. Is m at most as big as -2/9?
False
Let n = 9 + -17. Let c = 4 - -2. Let t = n + c. Is 1 < t?
False
Suppose -p + 6 = m + 4, 0 = p - 5*m + 22. Is -10/7 at most p?
False
Let c = 1.1 + -1. Let j = -0.02 - -0.07. Is j equal to c?
False
Let u(i) = 3*i**2 + i - 2. Let n be u(2). Let b = n + -4. Let z be ((-1)/((-2)/b))/2. Are z and 2 unequal?
False
Let x = 1929583/5885 + -96/1177. Let p = x - 329. Are p and -1 equal?
False
Let j = -6/47 - -796/5499. Which is smaller: 0 or j?
0
Suppose -2*y - 1 = 1, y - 5 = 3*a. Let w be 1/(-3 + (-4)/a). Suppose 3*p + 13 = 2*h, 3*p + 19 = -7*h + 3*h. Is w not equal to h?
False
Let p = -9108 + 318728/35. Let z = 6/5 + p. Is z != 0?
True
Let u(d) = d**2 - 1. Let p(f) = -f**3 + 8*f**2 + 4*f + 1. Let k(n) = -p(n) + 4*u(n). Let s be k(5). Let i be 4/14 - 11/(-35). Which is greater: s or i?
i
Let d = 10 + -15. Which is smaller: -4 or d?
d
Let b be 157 - (-2 - 1/(-1)). Let n = b + -1424/9. Which is smaller: 1 or n?
n
Let r be (-2)/(-7) + 9/(-7). Let d(u) = u + 3. Suppose -37 = 5*t - 4*n, t + 4*t + n = -22. Let y be d(t). Is r >= y?
True
Let l be (-138)/(-4)*24/108. Is 7 greater than l?
False
Let r be 3 - (7 + (2 - 2)). Which is greater: 0.5 or r?
0.5
Let t = 0 - 0. Suppose 5*a = 20, -18 = 2*b - t*b - 5*a. Suppose 2*i + 3 = -d, -15 = -2*i + 6*i + 5*d. Are b and i nonequal?
True
Let s = -7 - -6. Which is smaller: s or -9?
-9
Suppose v - 3*q + 8 = 0, 4*v - 5*q + q = 0. Suppose 32 = v*h - 4*y, 7*h - 3*h + 4*y = 8. Which is bigger: h or 7?
7
Let r be (-8)/6 - 508/(-84). Is r at most 5?
True
Let v = 42 - 22. Suppose v = c + 4*f, -4*c + 15 = f + 2*f. Which is bigger: 2/15 or c?
2/15
Let x(b) = -b**2 + 7*b - 5. Let r be x(2). Is r greater than 2?
True
Let m be (-39)/6*(-122)/1305. Let z = 2/261 - m. Which is bigger: z or -2?
z
Let o = 101 - 100.6. Is o smaller than -0.6?
False
Suppose 0 = -2*h + 5*h + 6. Which is smaller: h or -22/9?
-22/9
Let f be 2/(-4) + 9/2. Suppose -4*j + t - 1 = 0, 0 - 3 = 3*j - 3*t. Suppose 3*w = f*i + i + 13, -i + w - 3 = j. Is i less than -1?
True
Let w = 7.6 + -0.6. Let k = -11 + w. Which is smaller: -1/3 or k?
k
Suppose 3*q - q = t - 10, 2 = -t. Which is smaller: -5 or q?
q
Let i = 14.9 + -15. Which is greater: -10 or i?
i
Let f = -4 + 9. Is f at most as big as 4?
False
Let q = -32 + 33. Is q greater than 0?
True
Let r = -24 - -24.7. Let f be ((-2)/(-12))/((-1)/(-4)). Is r at least f?
True
Let w(q) = -2*q**2 - 17*q + 19. Let f(c) = -c**2 - 8*c + 9. Let i(m) = 13*f(m) - 6*w(m). Let l be -5 + -4 + 2 + 4. Let g be i(l). Which is bigger: g or 3/7?
3/7
Let o be 11/((-44)/(-24)) + -4. Let v be o - ((-102)/(-27) + -2). Is 0 >= v?
False
Let n be (-1)/(-14)*2*-2. Suppose -3*y + g + 15 + 0 = 0, 0 = -2*g. Let l be -1*1*(-4 + y). Which is bigger: l or n?
n
Suppose 0 = -2*z - 4*k + 20, -5 + 1 = -4*z + 4*k. Let s = -13 - -9. Let y = s + z. Which is greater: -1/3 or y?
y
Let m(w) = w**3 - 4*w**2 - 2. Let t be m(4). Let d be (-10)/3 + (-2)/(-6). Do 