 to g?
False
Suppose -5 + 11 = 2*t. Suppose -t*d + 7*d = 12. Let f be (d - 9/3)*1. Is f at least as big as -1?
True
Let k be (6/8)/((-10)/(-8)). Let l be (0 - 0)/(0 + 2). Suppose j + 2*m - 6 = 0, -2*m = -3*j - l*m - 6. Do j and k have the same value?
False
Suppose 5*g = -17 - 18. Let z = -11 - g. Let q(o) = -o**2 - 4*o - 2. Let a be q(z). Does -1/3 = a?
False
Let p be (1 - (-3 - -6)) + -22. Is p less than -25?
False
Let u = -0.31 + 0.21. Let h = 1.8 + u. Are h and -0.1 equal?
False
Let a(y) = -y**2 + 7*y + 10. Let v be a(8). Is 10/3 <= v?
False
Let r(q) = -q - 2. Let y be r(-6). Suppose y*s = -3 - 1. Let l be (-1)/(-1) - 18/14. Which is smaller: s or l?
s
Let v = 2 + 1. Suppose a - 4 = -2*u - u, 0 = -v*u + 3*a + 12. Are u and 2 unequal?
False
Let k = 8 + -2. Let z be 1/2 - (-3)/k. Is z smaller than 1?
False
Suppose 4*p - b - 9 = 0, -2*p + 2 + 0 = 2*b. Which is smaller: 6/11 or p?
6/11
Let i be (-6)/2 + 3 + -2. Let z be i/3*-9 - 1. Suppose 2*t - 5 = f, 4*t + 2*f - 5 = 5*f. Are t and z equal?
True
Let o = 0.24 - 0.04. Let l = 1 - 0. Let d = l + -1.1. Is d >= o?
False
Let u = 1.58 - -0.22. Let s = -1.9 + u. Is -14 at most s?
True
Let p be 0/2*(-8)/16. Are -1 and p equal?
False
Let h = -35 + 36. Which is greater: h or -1/63?
h
Suppose j = 3*j - 6. Let h(r) = r. Let m be h(3). Let u = j - m. Do u and 0 have different values?
False
Let z = -11 + 9.4. Let m = 1.5 + z. Is m >= 1/3?
False
Let w = 8.83 - -0.17. Let t = -12 + w. Let o = -2 - t. Which is greater: 0.1 or o?
o
Let u be (-12)/(-8)*2 + 3. Let b be (-14)/(-3) - (-2)/6. Suppose d + b = u*d. Is 0 <= d?
True
Let v = 21 + -6. Let c(f) = -2*f + 5. Let n be c(-5). Is n > v?
False
Let c be 8 - 8 - -1*4. Which is bigger: 1 or c?
c
Let g(j) = j**3 - 2*j**2 - 5*j - 2. Let w be g(4). Let u(r) = r**3 + 2*r**2 + 2. Let b be u(-2). Suppose 0 = -b*d + 7*d + w. Is 0 at least d?
True
Suppose 4*x = -3*i + i, 16 = 2*x + 5*i. Let z be x + 3 + (-3)/4. Which is greater: z or -2?
z
Suppose 0 = -5*x + 3*x - 2. Let n be x*1*12/168. Are 0 and n equal?
False
Suppose 5*u + 4 = u. Let k = 34 - 20. Let y be (6/(-15))/(k/10). Is y at most u?
False
Suppose b - 3 = 2*d, -2*d - 2*d + 1 = 5*b. Let t(k) = -k**2 - k. Let y be t(d). Suppose -5*s + 3*s = y. Is s not equal to 0?
False
Suppose 0 = 5*j - 15, 68 + 19 = -3*o + j. Which is greater: -29 or o?
o
Let p = -7 - -7. Suppose p = u - 2*u. Let z(m) = m**2 - 2. Let v be z(u). Is v less than 0?
True
Suppose 0 = q - 0*q - 5. Let i = q - 2. Suppose i*w - 2 = 1. Which is smaller: w or 4?
w
Let p = 14 + -10. Suppose 0 = 3*d + o - 4*o + 6, 0 = 5*d - p*o + 6. Suppose 3*a - 3 = 3. Is d smaller than a?
False
Let m = 0.01 - 0.51. Let h = m - 0.5. Let l = -2.2 - -2. Is l >= h?
True
Let y = -0.01 - -8.01. Let k = 18 - y. Which is smaller: k or 1?
1
Let k(l) = -l + 10. Let u be k(3). Is u greater than -0.1?
True
Suppose 5*j = 9*j - 28. Let k be 6/(-10) - (-312)/45. Is k != j?
True
Let k(o) = o**3 + 6*o**2 + o + 8. Let f be k(-6). Let l be ((-3)/(-6))/(f/(-12)). Is l at most -3/2?
True
Suppose -2*y = -r + 3*r - 2, 1 = -5*y + r. Are y and -4/35 non-equal?
True
Let b(s) = s**2 + 6*s + 6. Let j be b(-4). Let t = 4 + -4. Are t and j nonequal?
True
Let k = -74 + 73. Let h = 597/17 + -35. Which is smaller: h or k?
k
Let c = 2 + -3. Let i = 19159/100 + -767/4. Let d = -53/175 - i. Which is bigger: d or c?
d
Suppose -3*p + 0*p + 14 = -4*l, -6 = -3*p. Let o be l/8 - (-15)/12. Suppose 2*u = 3 - o. Which is bigger: 0 or u?
u
Let z = -0.0216 - 4.0884. Let m = 0.11 + z. Let y = -23/30 + 1/10. Is y > m?
True
Suppose 3*a = 4*b - 9, 4*a - 2*b + 1 + 1 = 0. Is -3/2 greater than a?
False
Let r(c) = c - 7. Let n be r(0). Let t = n - 2. Let i be ((-3)/t)/(2/(-6)). Which is bigger: -2 or i?
i
Let x = 900/19 - 126938/2679. Which is smaller: -1 or x?
-1
Let i = 3 - 3.3. Let f = i + -1.7. Let s = -4.1 - -2.1. Is s at least as big as f?
True
Let z = 68.4 + -75. Let i = z - -7. Are i and -0.1 equal?
False
Let m be 5/5 + (-44)/1. Let b = 97 + m. Let q be (-2)/6 + 6/b. Do -1 and q have different values?
True
Let d be (3 + -4)*-5*1. Is d not equal to 2?
True
Let s(n) = -3*n**2 + 2*n**2 + 2*n**2. Let c be s(0). Which is smaller: c or 2/5?
c
Let s be (-14)/(-50) + 0 + -1. Let f = s + 4/5. Suppose 2 = -2*w - 0*w. Which is smaller: w or f?
w
Let n = -0.99 + 1. Is n >= -2?
True
Let r be 1 + (17/(-26) - 2/4). Is r smaller than 0?
True
Let o be ((-6)/(-36))/(2/8). Which is smaller: o or -1?
-1
Suppose 4*f = -5 + 1. Is f > 1/21?
False
Let d(i) = 2*i + 3. Let t be d(-2). Let c = t - -1. Let o be 3/(-5) - c/1. Do o and 0 have different values?
True
Suppose -5*n = -5*o, -3*n + 0*o + 4*o - 4 = 0. Let r be 11 + (-12)/(-4*1). Let z be 12/105 + n/r. Is z less than -1?
False
Suppose -3 + 10 = h. Suppose 2*n = h*n - 5. Is 1/3 less than n?
True
Let d be ((-2)/(-6))/(2/36). Let l be (0 - (-2)/d)*6. Let b be l/((-10)/(-4) + -2). Is 2 < b?
True
Suppose -4*l = -2*l - 2. Let d(a) = -a**3 + 9*a**2. Let m be d(9). Is l < m?
False
Let o = 0.9 + -1. Let u = 0 - o. Is 4 less than or equal to u?
False
Let k be 66/24*-2*(0 - 2). Is k greater than or equal to 6?
True
Let x = -1 - -0.9. Let a = 0.05 + x. Is a bigger than -2?
True
Let p be ((-6)/(-4))/(12/32). Suppose j = o - 4*j - 25, 3*o + j = 11. Suppose n + 2 = o. Is p at most as big as n?
False
Let j(i) = 14*i**3. Let v be j(1). Let r be (2/70)/(v/(-28)). Which is bigger: r or 0?
0
Let c be 17/(-52) + (-1)/(-4). Let m(p) = 2*p + 6. Let z be m(-3). Is c > z?
False
Let t = 833/57684 + -3/437. Which is smaller: -1 or t?
-1
Let l = -1.5 + 0.5. Let u(v) = v**3 + 2*v**2 - 4*v + 1. Let c be u(-3). Which is bigger: l or c?
c
Let u = 5 + -53/11. Let f = -21/55 + u. Let a = 6 - 44/7. Which is greater: a or f?
f
Let j = 18 - 0. Let f = -56/3 + j. Which is greater: f or -4?
f
Let w be (-2)/(-13)*(28 + -31). Is w equal to 0?
False
Let l be -1 + 5*2 + 1. Let z = -7 + l. Suppose -z*q = -2*g + 2*q + 18, -2*g = 5*q + 22. Which is smaller: g or 1/2?
g
Suppose 5*v = 22 - 2. Suppose v*u - 6 = 3*u. Which is smaller: 1 or u?
1
Let w = 1 - 0.94. Let m = w - -0.44. Which is smaller: m or -0.1?
-0.1
Suppose 1 - 7 = -2*n. Suppose 0*g - 15 = n*g. Let q be g/((1 - 2)*-1). Is -3 equal to q?
False
Let b = 188/7 + -27. Is -4 less than or equal to b?
True
Suppose 4 = -2*l - 5*g + 1, -5*g = -5*l + 45. Let z = l + -2. Let w be (-2)/(-3)*6/z. Is w >= 1/2?
True
Let i = 0.4 - -6.6. Let p = -5 + i. Which is smaller: 2/3 or p?
2/3
Let m = -661 + 667.83. Let p = -0.17 - m. Let g = 4 + p. Which is smaller: g or -0.1?
g
Let o = -48 - -27. Which is smaller: o or -1/4?
o
Suppose 6*g = g + 40. Suppose 2*k - y + 4 + 2 = 0, -3*y + g = 4*k. Let m be 1*(2*-2 - k). Which is greater: m or -2?
-2
Suppose -4*f - 16 = -8*f. Suppose -20 = -f*j + 9*j. Let c(u) = u + 3. Let h be c(j). Are h and 1 unequal?
True
Let t = 6 - 6. Is -2/5 < t?
True
Let y = 111 - 112. Let d = -377/50 - -15/2. Which is smaller: y or d?
y
Suppose 0 = -l + 3*l. Let o = -2 - l. Let g be o/4*-2 + 2. Which is greater: g or 2?
g
Suppose 8 - 23 = -3*n. Suppose -5*a + 24 + 1 = n*u, 4*u - 25 = -5*a. Which is smaller: 2/13 or u?
u
Let h be (8/(-2) - 2) + 2. Let r = h - -7. Which is bigger: r or 2?
r
Let d be (6/(-5))/(-6 + 8). Let k = -0.1 - -0.2. Let u = -0.2 + k. Which is smaller: d or u?
d
Suppose -5*m + 10 = -25. Which is smaller: 15/2 or m?
m
Let j = 371856/14707 - -3/2101. Let q = 25 - j. Is q equal to 1?
False
Let y be 4/14 + 0 + (-124)/(-14). Which is bigger: 9 or y?
y
Let j = 1 - 3. Let y = 4.8 - -0.2. Let b = y - 4.9. Which is smaller: b or j?
j
Let g = -0.05 + -0.75. Let a = -0.2 + g. Let j = 0 - -2. Is j at least as big as a?
True
Let l = 0.5 - -0.5. Let d = -4 - -4. Is l bigger than d?
True
Let f be (6/15)/((-6)/30). Is f != 4?
True
Let v be (-52)/3 + 6/(-9). Let d = v + 71/4. Which is greater: d or -1?
d
Let s(n) = n**2 - 6*n - 3. Let i be s(6). Let d be 2*i/(-3*2). Suppose -2*p - 4 = -3*r + 5, -3*p - 10 = -r. Are d and r nonequal?
False
Let i(f) be the third derivative of 0 + 0*f + 2*f**2 + 1/12*f**4 + 1/2*f**3. Let y be i(-2). Is y != -2?
True
Suppose 5*q = -30 - 45. Let a be (1*-4)/(20/q). Is 3 smaller than a?
False
Suppose 0*i + 3*i - 3 = 0. Let s = -13 - -13. Let f be 84/(-132) - (s + -1). Is i <= f?
False
Suppose -4*z + 22 = g - 6*g, -z = -3*g - 9. Suppose -z*h + 5*h