 z?
False
Let p be (-66)/(-9)*(-3)/(-1). Let z be 26/p - (-1)/(-1). Are 0.1 and z nonequal?
True
Let x be (-87150)/28*(-8)/(-78). Let c = 319 + x. Which is smaller: 0 or c?
c
Suppose -5*o = 251 - 221. Is -7 not equal to o?
True
Let y(a) = -a**2 + 10*a + 8. Let u be y(10). Suppose -5*k - 4*d + 1 = 0, k + 3 - u = 4*d. Do k and 3/4 have different values?
True
Suppose 5*q + 13 = -7. Let l be (q/78)/((-3)/9). Suppose -4 = -3*g - 2*t, -2*g + 3*g - 2 = -t. Do l and g have different values?
True
Suppose 4*r = 9*r + 20. Is r > -4?
False
Let k = 161 + -21. Let c be k/63 + (-4)/18. Which is smaller: c or 1?
1
Suppose -h = -2*h - 1. Let p be 1/(h/(-44)) + -2. Let z be ((-8)/p)/((-12)/14). Is z <= 0?
False
Let t = -29 - -16. Let b = 326 - 339. Is b smaller than t?
False
Let n = 45/2 - 23. Let t(v) = v**3 - 9*v**2 - 9*v - 14. Suppose 2*g = 28 - 8. Let r be t(g). Which is smaller: r or n?
r
Let p be ((-8)/(64/(-60)))/((-3)/(-6)). Is 4 less than p?
True
Let a(s) = -s**3 + 4*s**2 + 5*s + 2. Let p be a(5). Suppose 0 = n - p*n - 1. Is -2 smaller than n?
True
Let o = 191 - 2673/14. Let n = 1 + 0. Is o at least as big as n?
False
Let w be (-7)/((-21)/(-12)) + 3. Do -1/55 and w have the same value?
False
Let i be 2/(-4)*-10 - 1. Let f be (1*i/(-30))/(-1). Suppose u + 2*o + 0 + 9 = 0, -4*u + 4 = -2*o. Which is smaller: u or f?
u
Suppose 6*x = x - 30. Let q be 10/x + (-6)/(-9). Which is greater: -5/4 or q?
q
Let x be (-4)/(-4*(-2 - (-6)/4)). Which is bigger: x or -3?
x
Let r = -423 - -432.02. Let p = 9 - r. Is p < -1/4?
False
Let n(i) = -i - 12. Let u be n(-12). Let s = -4861/22 - -221. Which is smaller: u or s?
u
Suppose -4*l + 14 = 2. Is 3 less than l?
False
Let w(n) = -n**3 - n**2 - n - 1. Let h be w(-2). Suppose z - 1 = -2*f, -3 = 2*z + 5*f - h. Let l = 2 - z. Do l and -2/23 have different values?
True
Suppose -3 = -3*m - 12. Suppose 5*c + 2*f = 45, 34 = -0*c + 2*c + 4*f. Let i be (-6)/21 - 19/c. Do m and i have different values?
False
Let n be (-2)/8*-2*2. Let u = -73/2 - -38. Which is bigger: n or u?
u
Let m(o) = 3*o**2 + 4*o + 5. Let i be m(-2). Suppose s = -2*s - i. Are s and -2 unequal?
True
Let j be 39/220 + (-3)/15. Which is smaller: j or 0?
j
Let y be (-2)/(-14) - (-78)/91. Which is bigger: -1/6 or y?
y
Let b = 18 + -25.5. Let y = b - -1.5. Let a = 5.9 + y. Which is smaller: -1/4 or a?
-1/4
Let c be 11025/(-180) + ((-3)/4 - 0). Which is greater: c or -61?
-61
Let k(d) = -d**2 - 6*d + 17. Let y be k(-8). Which is smaller: y or 1/9?
1/9
Let t = 562/5 - 113. Suppose 0 = 5*u + 5*b - 30, -9 = -u - 0*u - 2*b. Suppose -c = 2*c + u. Which is greater: c or t?
t
Let d be (-1)/((-1)/(4 + 2)). Suppose -v + d*v = 0. Which is greater: v or 4/3?
4/3
Let w(h) = -3*h**3 + 3*h + 2*h + 2*h**3 + 4*h**2 + 0*h. Let q be w(5). Which is greater: 2/3 or q?
2/3
Let a = -39 - -7. Are -33 and a equal?
False
Let o(w) = -w**2 + 6*w - 3. Let n be o(5). Which is smaller: 3 or n?
n
Suppose 3*z - 15 = -3. Suppose 0*o + 4 = o. Suppose -q + z*p - o = 0, -p = 5*q - 5*p + 4. Are -3/5 and q equal?
False
Let s be 592/(-30) + (-1)/((-20)/8). Which is smaller: -20 or s?
-20
Let f = -9.77 + -0.23. Let t = 8 + f. Is 1 > t?
True
Suppose 0 = -3*u - 4 - 11. Let c(j) = j**3 + 5*j**2 + 2*j + 7. Let q be c(u). Which is smaller: -1 or q?
q
Suppose -4*m + 3*m - 5 = 0. Let r = m + 3. Suppose -j + 2 = z + 7, 2*j = 2*z - 2. Is z < r?
False
Suppose -2*c - 4*h + 0 = 16, -h + 10 = -3*c. Is -7 less than or equal to c?
True
Suppose f + 0 = -4*m - 3, -4*m = 4*f. Let v = m + -6. Do -7 and v have different values?
False
Let g = 16 + -20. Which is smaller: -3 or g?
g
Suppose j - 25 = -z, -3*z + 42 = 2*j - 32. Let k be z/14*(-12)/(-9). Is 2 less than k?
True
Let z = -5 - -1. Let i be 28/6*(-9)/(-6). Let x = i + z. Which is smaller: -1 or x?
-1
Let g(h) = h**3 - 13*h**2 - 1. Let i be g(13). Let t = -74/5 + 15. Which is greater: t or i?
t
Let j be 115/(-378) - 48/(-168). Let z be -14*1/(-27) + 1. Let h = j + z. Are h and 3 equal?
False
Let n = 3.2 + -3. Let q = 0.34 - -0.06. Let s = q + -0.5. Is n > s?
True
Suppose 0 = x - 7 - 7. Which is greater: 16 or x?
16
Let f = 0 - -0.1. Let d = f - 0. Are -3/7 and d unequal?
True
Let w = -15 - -9. Let j = w + 5. Let p = 104 - 2390/23. Is j at least p?
False
Let k = -325 + 38351/118. Is k > -1?
True
Suppose 0 = 2*h + 5 - 7. Does 4/13 = h?
False
Let p be (9/(-2))/3*-2. Is p < 4?
True
Let s = 9 + -9.8. Let o = 1 + s. Let c = 14.9 - 15. Is c >= o?
False
Let w = -54/11 - -377/88. Let r = w - -1/8. Is r less than 0?
True
Let m be (-1)/(-55)*25/(-2). Is m less than -1?
False
Suppose 57 - 51 = 2*v. Which is greater: 39/10 or v?
39/10
Suppose 12*i - 5 = 11*i. Is 11/3 >= i?
False
Suppose -2*o = -o. Let a = 1711 - 20551/12. Let g = a - -5/4. Is g less than or equal to o?
True
Let v = -0.3 + 0.2. Let u = -0.2 + v. Let d be 8/44 - (-13)/(-11). Is u not equal to d?
True
Let x(s) = -s**2 + 3*s + 2. Let v be x(3). Let r be (-162)/(-10) - (-3)/(-15). Suppose a = -v*q - 5, -r = 4*q - 3*q + 5*a. Is 0 <= q?
False
Let c be (0 - 3)/((-15)/(-4)). Let n be -4 - (-2 + 0/(-1)). Which is smaller: n or c?
n
Let t = 2/449 + 848/11225. Suppose 5*d + 5 = -3*a + 2, -a = 2*d + 2. Let x be -2*(2/a - 1). Is t at least as big as x?
False
Let p(s) be the second derivative of -s**4/6 - 2*s**3/3 + 5*s**2/2 - 6*s. Let g be p(-4). Which is smaller: -10 or g?
g
Let t = -23 + 13. Let m = t - -7. Is -3 <= m?
True
Let m(s) = -1 + 3*s**3 + 2 + s + 0 - s**3. Let y be m(-1). Which is smaller: y or -1?
y
Let n = 52.2 - 52. Which is bigger: n or 4/7?
4/7
Suppose 5*y = 5*b + 80, 70 = -4*b - y + 3*y. Is -19 < b?
False
Suppose -3*k + 5 = -61. Let z be (-6)/(k/(-6) - -3). Are z and 8 unequal?
True
Let q = -0.3 + 0.8. Let n = q + -0.3. Is n at most 0.1?
False
Suppose -7 = 3*o - 2*o. Let u be (-2)/(-7) - (-44)/o. Let s be 4*(-1 + (-3)/u). Are -1 and s non-equal?
True
Let j be (-7)/((-21)/30) - 0. Suppose y + 4*b + 6 = 0, -y + 7*b - 3*b = -j. Suppose -2*i + y = -i. Does 4/3 = i?
False
Let k = -50 + 50.08. Let i be (2/(-15))/(3/(-9)). Which is bigger: i or k?
i
Let b be 16/40*3/(-3). Is 1/3 < b?
False
Suppose -2 = -2*k - 10. Let w be (k/(-8))/(5/5). Which is smaller: w or 0.08?
0.08
Suppose 5 = 2*r - 19. Let v be (-4)/(-40)*r - 1. Which is bigger: 0 or v?
v
Let f = -241 - -959/4. Which is greater: f or -1?
-1
Let v be (-4)/(-6) - (-4 + 1312/276). Which is smaller: -4 or v?
-4
Let v(p) = 59*p**3 - 1. Let f(o) = o**3 - 8*o**2 - o + 9. Let g be f(8). Let z be v(g). Let b = 231/4 - z. Is -3 smaller than b?
True
Suppose 0 = 2*i - 4*s + 14, 5*s + 13 = -4*i + 10*s. Let n be (-2)/8*2 + 2. Which is bigger: i or n?
i
Suppose 3 = 3*v + 6. Let m = -4093/8 - -511. Which is smaller: m or v?
v
Let y(q) = q**3 + 5*q**2 + 4*q + 6. Let o be y(-4). Let f be (-18 - 0)*4/o. Let z be 2/(-21) - 8/f. Is 1 bigger than z?
True
Let j be 15/20 + (-1 - -4)/12. Which is smaller: 2/67 or j?
2/67
Let v = 164 - 651/4. Let p(x) = x - 6. Let o be p(7). Is o greater than or equal to v?
False
Let v = 61 - 181/3. Which is smaller: v or 0?
0
Suppose 5*k - k = 0. Let y = 3/5 - -3/20. Is k greater than or equal to y?
False
Let k = -935245/36 + 25981. Let i = -12425/5571 - -5/619. Let v = k + i. Is 0.2 <= v?
False
Let c be 1/((-2)/(4/(-2))). Let j be (107/(-5))/((-84)/10). Let v = j - 17/6. Which is greater: c or v?
c
Let v = 125 - 59. Which is bigger: 0 or v?
v
Let n = 4 - 4. Do 19 and n have the same value?
False
Suppose 2*s + 6 = 5*k - 20, 0 = -4*s - 12. Let w = 4 - -2. Which is smaller: w or k?
k
Let q = -29 - -28. Which is smaller: -3/4 or q?
q
Let m = -1.96 + 2.89. Let a = m - -0.07. Which is smaller: 2/5 or a?
2/5
Let p be ((-5)/(-3) - 1)*-3. Which is smaller: p or -1?
p
Suppose -4*a - l - 7 = 0, 5*l = a + 3*a - 11. Does a = -2/69?
False
Let p = 6 - -3. Let v = p + -6. Is 0.1 > v?
False
Let h = -15 + 19. Is h at least as big as 5?
False
Let y = -3.02 + 3.6. Let g = -0.08 + y. Which is greater: g or -0.1?
g
Let m = 2 + -3. Let d = m - -2. Is 2 >= d?
True
Let x = 41 - 32. Which is smaller: -2/3 or x?
-2/3
Suppose -2*p + 2 = -4. Suppose -p = -2*d + 4*d - 3*u, 5*u - 5 = 3*d. Is d <= 3/7?
True
Let x = 0 - -3. Let r = x - 4. Let n = 0.1 - 0.1. Which is bigger: n or r?
n
Let v be 1/((-18)/4)*3. Is -1 > v?
False
Let n(f) = -f - 41. Let g be n(0). Which is smaller: g or -40?
