 + (-3)/(-5). Which is greater: i or g?
i
Suppose -5*d - z = -14, 2*z - 2 = 6*d - 3*d. Let t = -4 + 3.7. Let y = t - -0.1. Is d not equal to y?
True
Let n(g) = g + 2. Let w be n(-2). Let l = -2 - 1. Let t be (-2 - l) + (-22)/26. Is t at most as big as w?
False
Let t = -24 + 21. Which is greater: t or 1?
1
Suppose 0 = a - 3*a + 6. Is 3 greater than or equal to a?
True
Let v = 4 + -5. Let c = -4.23 + 0.23. Is v less than or equal to c?
False
Let k = -5 - -8. Suppose k*g = -g. Which is smaller: g or 3/11?
g
Let x be (-70)/15 - (-20)/4. Is x bigger than 0?
True
Let p = 3 + -4. Let k(h) = h**3 + h**2 - 1. Let t be k(p). Which is smaller: -5/9 or t?
t
Let t = -0.18 + -7.32. Let v = 0.5 + t. Let o = -7 - v. Which is smaller: 0.3 or o?
o
Suppose -2*p - 5 = -i, -p - 5*i + 25 = -0*i. Is -1 not equal to p?
True
Let m = 71 + -71. Let k = -4 + 7. Suppose 1 = 2*d + k. Which is smaller: d or m?
d
Let q = -0.5 - -0.2. Let r = 1.1 + -0.1. Which is smaller: r or q?
q
Let p be 11 + -1 + -1 + 3. Let g be (-1)/10 - p/(-20). Which is smaller: g or -0.3?
-0.3
Let q(h) = h. Let a be q(-2). Let u be (1 - 0)*(a + 1). Let z(j) = -j**2 - 7*j + 18. Let l be z(-9). Is l >= u?
True
Let m be 4/20 + (-48)/(-10). Suppose y - m*y = 0. Is y >= 2?
False
Let o = 18 + -74. Let g be ((-3)/2)/(12/o). Which is smaller: g or 6?
6
Let s = 1 + 0. Suppose 3*u - s = 4*y, 2*u = -0*y + 5*y - 4. Are u and 3 equal?
True
Suppose v = -2, 7*v - 4*v + 1071 = 5*f. Let x = 646/3 - f. Let h = x + -17/6. Which is smaller: 2 or h?
h
Let i(v) = v - 3. Let a be i(-3). Suppose 3*x - 9 = 0, -67*u + 2*x - 30 = -63*u. Do a and u have the same value?
True
Let u be 1/1 - 1/3. Suppose -10 = -4*c - 6. Which is smaller: c or u?
u
Suppose 3*l - 4*f = -8, -2*l + 3*f - 7*f = -8. Let v be (0 - l - -18) + -2. Which is smaller: 15 or v?
15
Let s be (-850)/215 - (-8)/2. Which is smaller: s or 0?
0
Suppose 2*d + 3*d = 0. Suppose z - 2*z = -2*a - 4, -3*z + 3*a + 6 = 0. Suppose 5*n - 4*v - 2 = z, 5*v + 25 = -5*n - d. Is n at most as big as -2?
True
Suppose 0*w + 3*w - 4*v - 175 = 0, 2 = -2*v. Let c = 117/2 - w. Is 1 smaller than c?
True
Let t = 0.19 - 0.09. Which is bigger: t or 16?
16
Let d be (-22)/187 - (-87)/17. Is -1 greater than or equal to d?
False
Let d = -695/2 + 360. Let z = d + -13. Is 1/2 != z?
True
Suppose 0 = 3*z - r + 4*r + 3, 3*r + 1 = -5*z. Is 1/8 > z?
False
Suppose 0 = -4*k - x + 109, 68 = 3*k + 3*x - 5*x. Let w be (-2)/3 - k/(-30). Which is greater: 1 or w?
1
Let l(o) = -o**2 - o + 1. Let w be l(2). Let u(j) = -j - 4. Let b be u(0). Is b != w?
True
Let d = -3 - -9. Let g be 2/(-3) - (-4)/d. Which is smaller: g or -4?
-4
Let s(q) be the second derivative of q**3/6 - 3*q**2/2 + 2*q. Let g be s(5). Suppose -14 = 5*j + 2*i, 0*j = -3*j + 4*i + g. Which is smaller: -1/2 or j?
j
Let h = 356 + -4626/13. Let q = h - 36/65. Let d = -5 - -4. Which is smaller: q or d?
d
Suppose -8*m + 3*m = 145. Which is greater: -27 or m?
-27
Let m be (-5 + 5)/((-2)/2). Let u be (681/(-1491))/(-1) - m. Let n = u + -2/71. Which is bigger: n or 1?
1
Let x be 1/(-6) + (681/90 - 7). Which is smaller: -2 or x?
-2
Let j be -2 + 2 - (13/10 + -1). Are -1/3 and j non-equal?
True
Let l(m) = 2*m - 24. Let r be l(11). Let i(a) = 1 - 3*a + 4*a + a. Let p be i(r). Is p less than -3?
False
Let x = 27.2 + -27. Which is smaller: 3/5 or x?
x
Let w = 28715/12 + -2390. Let f = -11/3 + w. Suppose 0 = -b - 7 + 6. Which is greater: f or b?
f
Let g = 0.27 + -8.27. Is g greater than 0.2?
False
Suppose 0 = -h - 3*f + 13, 4*h - 4*f = -0*f - 12. Let i(v) = v + 8. Let b be i(-6). Which is smaller: h or b?
h
Suppose 0 = 4*h - 0 - 4. Is h less than -1.1?
False
Let k(m) = 34*m**2 + m. Let g be k(1). Let a be (-20)/g*2/(-4). Which is bigger: a or -1?
a
Let n(s) = -s**2 + 5*s + 8. Let i be n(6). Suppose -2*v - i = -3*v. Are v and 1 equal?
False
Let x(b) = -b**3 + b**2 + 2*b + 5. Let q be x(4). Is -36 less than q?
True
Let r = 4 - 3.6. Let a = r - 0.4. Let t be 1 + (112/20)/(-4). Does a = t?
False
Let n = 21 + -13. Let p = 2 - n. Is p bigger than -7?
True
Let y be (-1278)/496 - (-27)/9. Let p = y + -3/62. Is p smaller than 1?
True
Let p be 12/24 - 2/(-4). Is p > -3?
True
Let f = 34 + -34.1. Let u = -0.1 + 0.05. Is u at most as big as f?
False
Let b = 12 - -4. Do -1 and b have the same value?
False
Let l(y) = 2*y. Let a be l(1). Let t(p) = -p**2 + 6*p + 4. Let r be t(5). Suppose r = 2*k + k. Which is smaller: a or k?
a
Suppose 2*q - 139 = 3*y, -3*y + 5*q - 230 = 2*y. Let h = 989/21 + y. Which is bigger: -1 or h?
h
Let k be 2/(-5)*(-6)/(-20). Let l = k + 37/100. Suppose 3*y = -2*y. Which is bigger: l or y?
l
Let y be -1 + 1 + 4/(-36)*-9. Which is bigger: -2/367 or y?
y
Let w(d) = d - 3. Suppose -2*b = -4 - 8. Let h be w(b). Suppose -2*o + 5 = -h. Which is greater: o or 3?
o
Suppose -2*y = 2 + 8. Let k = y - -4. Let a be (1 - 5)*k/1. Is 4 > a?
False
Let h = -243 - -248. Let w be 2 + (2/1 - -2). Are w and h nonequal?
True
Let v = -0.1 + 0.2. Let t = -0.07 - 0.03. Which is bigger: v or t?
v
Let g(j) = -5*j + 4. Let m be g(1). Does 4/137 = m?
False
Let l = -6 - -2. Let k = l - -3.9. Is k at least as big as -2/3?
True
Let x = -0.012 - -1.012. Are 0.5 and x unequal?
True
Let j be (-2835)/1722 + (-1)/((-2)/3). Which is bigger: j or 0?
0
Let n = -0.18 - 11.82. Let w = n - -22. Which is greater: w or 0?
w
Let q be 62/6 + 2/(-6). Let a be (2*1/(-2))/q. Suppose 5*h + 4 = h. Is a smaller than h?
False
Let y = -4 - -3. Let q = y - -15. Let n be (-4)/14 - (-4)/q. Which is smaller: n or 1/3?
n
Let o = 24.3 + -21. Does o = -0.1?
False
Let n = -0.13 + 3.13. Are 2/9 and n non-equal?
True
Let x be (-7 - -7)*(0 - -1). Which is smaller: -8/11 or x?
-8/11
Let y = 120.02 - 118. Let k = -0.02 + y. Which is greater: k or -1?
k
Let u = -26811/4510 - -131/22. Let b = -84/205 + u. Which is smaller: b or -2?
-2
Let c = -4 + 6. Suppose -c*o + 7*o - 20 = 0. Is 4 less than o?
False
Let v be 0 + 2/(-4) + 0. Let w be 8/(-4) + 3*1. Suppose a + w = 2. Which is bigger: a or v?
a
Suppose 2*k + 19 = 5*o, -5*k = 2*o - 5*o. Let w = 7 + -5. Suppose -5*r = -w*s + 14, -2*r + r = s. Which is smaller: s or k?
s
Let l(x) be the first derivative of x**2/2 + 6*x + 3. Let c be l(-5). Let b be c*2/((-2)/5). Is b greater than or equal to -6?
True
Suppose -w - 6 = 4*j - 40, 0 = 3*j - 2*w - 20. Suppose -i - 4 - j = 0. Is i equal to -12?
True
Suppose -5*u + 15 = 25. Which is smaller: u or -3/4?
u
Let m = -3 + 2.96. Let f = m + -0.26. Suppose -z = 4*z. Which is smaller: f or z?
f
Let c = -7625 - -300319/39. Let l = -2/845 - -190976/2535. Let n = l - c. Which is greater: n or -1?
n
Let z = -10 + 10. Is -4/11 less than z?
True
Let k = -0.91 + -0.09. Do k and 0.04 have the same value?
False
Suppose 0*n + 4*d = -3*n - 6, 0 = -2*n - d - 4. Let o(s) = s**2 + 4*s + 2. Let q be o(-5). Let h = 4 - q. Is h less than n?
True
Suppose -l - 2 = 5*a, 4*l + 0*l = -a + 11. Which is smaller: 2/33 or a?
a
Let n = 0.1 - 0.2. Suppose -k - 13 = -5*a, -a = -3*k + 2 + 1. Suppose 3*d + 2*d + 10 = r, 12 = 3*d + a*r. Which is greater: d or n?
n
Let r = -622/7 + 89. Which is bigger: 1 or r?
1
Let m(r) be the third derivative of -r**6/120 + 2*r**5/15 - r**4/4 - 5*r**3/3 - r**2. Let i be m(7). Which is smaller: i or -2?
i
Let y = 47 + 14. Are 63 and y non-equal?
True
Let f = 2 + 0. Let g(t) = 17*t - 2. Let d be g(f). Let i be d/14 + 6/(-3). Which is bigger: i or 1/4?
i
Let r(l) = l**2 + 5*l - 10. Let g be r(-6). Which is smaller: -5 or g?
-5
Let m(f) = -f**3 - 2*f**2 + 2*f - 1. Let d be m(-3). Let o be d/11 - (-20)/11. Which is smaller: 4 or o?
o
Let m = 14 - 16. Suppose 2*r - 15 - 3 = -4*b, -4*r - 29 = -5*b. Is r <= m?
False
Let s be (-3)/(-9)*1/(-1). Suppose -6*w = -5*q - 3*w + 15, 0 = 2*q + w + 5. Suppose q*o + 5 = -5*r - o, 5*o = r + 1. Which is greater: r or s?
s
Let s(l) = -28*l + 5. Let u be s(-5). Let k = 1012/7 - u. Which is bigger: k or 1?
1
Let g = 17 - 69/4. Let b = 551 - 2191/4. Let m = 7/2 - b. Which is smaller: g or m?
g
Suppose -3*x - 5*l + 11 + 2 = 0, -3*l = 4*x - 10. Which is bigger: x or 0.1?
x
Let s be 374/84 + 4/(-24). Is 5 less than s?
False
Suppose 0 = 10*i - 637 + 207. Do 43 and i have different values?
False
Let d be (-6)/27 - 18242705/(-9). Let j = 1197937885/591 - d. Let y = -2/197 - j. Which is smaller: y or -2?
-2
Supp