
Let h = -5/12 + 3/4. Are 1 and h nonequal?
True
Let m be ((-12)/(-24))/((-2)/8). Is -12/7 less than m?
False
Suppose 0 = -z - 3*z - 1968. Let n be z/(-42)*6/8. Let u = n + -17/2. Which is bigger: 0 or u?
u
Let z = -0.3 + 0.06. Let j = -0.34 - z. Let k be -1*2 - (-34)/18. Is j greater than or equal to k?
True
Let i be (-4)/(-10) - (-8)/5. Suppose -2*w = -3*u + 73, -6*w + 4*w = u - 27. Suppose 5 - u = -5*j. Is j at least i?
True
Suppose -22 - 14 = -4*c - 4*n, -2*n + 8 = 0. Suppose -2 = -k - c. Are -3 and k equal?
True
Let j(i) = -i + 5. Let w be j(2). Suppose -12 = -4*s + w*r, 0 = s + 3*r + 13 - 1. Does 1 = s?
False
Let f(q) = q**2 - 4*q - 8. Let g be f(6). Suppose 0 = 3*n - 9, -p = p - 4*n + 2. Which is bigger: p or g?
p
Let u = 0.8 + -1. Let i = -0.1 + 0.2. Let d = i + -0.1. Which is smaller: u or d?
u
Suppose 0 = 7*t - 2*t + 15. Suppose 18 - 34 = 16*y. Do y and t have the same value?
False
Let t be 28/(-14) + (-129)/(-5). Which is bigger: 25 or t?
25
Let o(r) = r**2 + 7*r + 28. Let q be o(-7). Which is smaller: 0.1 or q?
0.1
Let k(x) = x**3 - 2*x**2 - 3*x + 3. Let i be k(3). Suppose u = 2*z + i*u, -4*u = 12. Is z bigger than 3?
False
Suppose -x + 6*x = 2*g - 6, 14 = -2*g - 5*x. Suppose -5*y + 0*d = -d + 15, 15 = -5*y + 2*d. Let o = -7/2 - y. Is o less than or equal to g?
False
Let k = -14/5 + 181/20. Which is smaller: 2/3 or k?
2/3
Let a be (5 - 4 - 1)/4. Are -18/17 and a unequal?
True
Let v = -12059/17 - -709. Is v bigger than -1?
True
Let r = -123/406 - -1/58. Suppose -3*v = 2*v - 2*f - 20, f - 29 = -4*v. Let p be (-3)/v + (-3)/6. Which is smaller: p or r?
p
Let j(y) = 10*y - 7. Let c be j(8). Let n = c + -585/8. Is n bigger than -1?
True
Suppose z - 4*z = 2*i - 13, 2*z = 2*i - 8. Is -9 not equal to z?
True
Let t = 0.05 - -0.05. Let m = -2.8 + 3. Let o = t - m. Is o at most as big as -1?
False
Let t(l) = l**2 + 7*l - 11. Let n be t(-8). Let j be (-28)/(-8) + n/2. Suppose 3 = -q - j*q. Does -2/15 = q?
False
Let s = 9 - 4. Suppose -s*b + 8 = 5*i - 62, 2*b = 4*i - 56. Suppose -t = 2*o - 8, 0 = o + 2*o - 5*t + i. Are 3 and o unequal?
True
Let w = -5.99 + -0.01. Let b = -6.1 - w. Is b at least as big as 1/4?
False
Let j = -7 - -4. Is j >= -3?
True
Let a = 12 - 10. Is 1 smaller than a?
True
Let a = 2 - 6. Let o = -5 - a. Which is smaller: o or -1/5?
o
Let f = -1 - -2. Let z = 0.09 - -4.91. Which is smaller: f or z?
f
Let t(w) = -3*w - 1. Let u be t(-1). Let r(k) = -k**2 + 4*k - 3. Let c be 1/3 + 15/9. Let d be r(c). Is u at least d?
True
Let g be 24/(-132) - (-2)/11. Is 11/2 at least as big as g?
True
Suppose 4 = 2*d + 12. Which is smaller: d or -9/2?
-9/2
Suppose -3 = 2*m - 5*m. Let z be (m - 16/6) + 1. Let x(t) = -t - 4. Let f be x(-4). Which is greater: z or f?
f
Let g = -27 - -26.86. Which is smaller: -4 or g?
-4
Let r be 0 - (-2)/(2*-1). Let p = 3 - 3. Suppose p = 3*i + 2 + 4. Is r at most i?
False
Let p(a) = a**3 + 5*a**2 + 5*a - 2. Let z(i) = -i**2 + 13*i - 17. Let b be z(12). Let s be p(b). Let x be 3/(s/(-6) + 0). Is x not equal to -2?
True
Let j = 682/7 - 97. Let i(k) = k**2 - 2*k - 4. Let b be i(3). Is b less than or equal to j?
True
Let f be 1/(-1) + -1 - 225/(-115). Do f and 0 have the same value?
False
Let j = 7/293 - -1227/9962. Let s = -29/255 + j. Let r = -19/30 - s. Is -1 >= r?
False
Let j = 11 - 9. Let l = j + -4. Which is greater: -0.2 or l?
-0.2
Let j = -13 + 10. Let c be 13/j + 3 - -2. Which is bigger: 1/3 or c?
c
Let p be (1 - 12/(-15)) + 0. Let z be 33/11 - 22/6. Which is greater: p or z?
p
Suppose -o + b - 3 = -2*o, 4*o - 15 = -b. Suppose -3*k - 16 = -o. Suppose -4*n - n = 25. Which is smaller: k or n?
n
Suppose 2*s - 7*s - 13 = -2*g, 7 = -g - 2*s. Suppose 4*l - 10 = 2. Let j be (1/4 - 1)/l. Which is greater: j or g?
j
Let g(h) = -h + 3. Let t be g(2). Is 1/3 at least t?
False
Suppose 0*g + 5*p + 14 = 2*g, 4*g + p = -16. Suppose 2*k + 4 = 3*v, -4*v + 0*k - 18 = 2*k. Is g at most v?
True
Suppose j = -2*s + 5, 5 = s + j - 0*j. Let w be s + (-30)/(-39) - 1. Which is bigger: w or -1?
w
Suppose -3*s + 15 = -9. Let d(r) = 4*r**3 - 7*r**2 - 5*r + 5. Let f(y) = -3*y**3 + 7*y**2 + 6*y - 4. Let x(v) = 2*d(v) + 3*f(v). Let c be x(s). Is c < -2?
False
Let d = -3 + 5. Let z be (0 - -1)/((-1)/d). Let h = -0.1 + -0.9. Which is bigger: z or h?
h
Let j = -3 - -3. Let s(l) = j*l**2 + 7 + 8*l + l**2 + 0*l**2. Let w be s(-7). Which is bigger: w or 2/7?
2/7
Let q = -45 + 64. Let f = q + -20. Is -3/2 bigger than f?
False
Let g = -12 + 13. Which is bigger: -1 or g?
g
Let w be 2*(9/(-2) + 2). Let c = w + 2. Let f be 6/2*1/c. Is f less than or equal to 0.1?
True
Let s = 2/7 + 8/21. Which is smaller: 2 or s?
s
Suppose -3*k = -5*b + 63, -2*k + 53 = 3*b - 0*k. Which is bigger: b or 16?
16
Let t = -55 + 49. Let y = -14/9 - 34/9. Is y > t?
True
Let v be -3 - (2264/28)/1. Let h = 185 + -101. Let z = h + v. Is 1 not equal to z?
True
Let f be ((-3)/((-3)/(-2)))/(12/(-162)). Is 26 != f?
True
Suppose -i + 2 = -2*i. Let u be 1/3*(0 - i). Is 2 >= u?
True
Let s be (-513)/(-1956) - 2/8. Let p = s - 352/2119. Let f(z) = -z + 1. Let v be f(0). Is v bigger than p?
True
Let u(o) = -2*o + 15. Let l be u(7). Is 3 equal to l?
False
Let c be (-3)/9 + 46/3. Is c != 14?
True
Let y = 8 + -6. Let c be 2/(-2 - y/4). Is c at most as big as -1?
False
Suppose -11 = -2*u - 3. Suppose -j = 3, -4*w + 0*w + u*j + 4 = 0. Which is greater: w or 0?
0
Suppose y = 4*a - 2, y - 58 = -2*y - 4*a. Which is greater: y or 13?
y
Let f(i) = 5*i + 1. Let c be f(-5). Let u be c/(-18)*(-2)/8. Suppose 4 = -4*a - y - 0, 0 = -4*y - 16. Which is smaller: u or a?
u
Let a(i) = -7*i - 9. Let q be a(-4). Which is bigger: q or 18?
q
Let w be 234/12 - 2/(-4). Let y be w/6*(-3)/2. Suppose 5*s - 2*s = -4*q - 4, 16 = 4*s. Which is bigger: q or y?
q
Suppose 0*r - 2*r + 8 = 0. Suppose -r = -2*k + 3*x, -2 = -4*k - 4*x + 6. Suppose -20 = -4*g, -m - 5*g + 28 = k*m. Is m > 2?
False
Let g(z) = 2*z + 21. Let b be g(-10). Which is bigger: 1/35 or b?
b
Suppose v - 1 - 5 = 0. Let t be (-8)/v*(-3 - -6). Is -6 bigger than t?
False
Let p(s) = -s**3 - 6*s**2 - 5*s - 3. Let q(u) = u**2 + 7*u - 4. Let r be q(-7). Let m be p(r). Let n be (-28)/m + -2 + 0. Which is smaller: -1 or n?
-1
Suppose 5 = j, 6*t - j + 2 = 3*t. Let m be t + (1 - 1) + 0. Is 1/4 less than or equal to m?
True
Suppose -5*g - 1 + 21 = 0. Let a be 9/11 + (-2)/(-11). Is g smaller than a?
False
Let p = 94 + -100. Is -3/7 bigger than p?
True
Let n be 1*87/66 - -2. Let h be (2/(-8))/(1/(-14)). Let r = n - h. Are 1 and r nonequal?
True
Let d be -3 - (-2 + (-474)/10). Let o = -46 + d. Suppose -4*p + 2*j = -2*j + 24, 3*p + 13 = 2*j. Is o <= p?
False
Let f = 4 + -4. Suppose j = 6*j + 10. Let q be (j - f)*(5 + -3). Which is greater: q or -3?
-3
Let t be 3 - (1 + (-74)/(-10)). Is t > -4?
False
Let x = 13 - 5. Let p = x - 16. Let z be -1 + 5/(-7) - -2. Is p bigger than z?
False
Let u = 0.171 + 0.059. Let n = u + -0.17. Which is smaller: 0.2 or n?
n
Suppose 5*h = -0*h + 225. Suppose 3*z + 0*z - h = -4*l, 4*l - 65 = z. Suppose -y + 3*y + 10 = -3*d, y + 4*d = -l. Is y at most as big as 2?
True
Let v be 1/4 + (-15)/28. Suppose 2*z - 2*h + 9 = 3*z, 0 = -3*z + 5*h - 28. Do z and v have different values?
True
Suppose 13 = 2*l - 3*v, -l + 6*v = 5*v - 4. Is 12 < l?
False
Suppose -7*j + 2*j = -15. Suppose 5*x + 6 + 5 = j*k, -2*k + x + 5 = 0. Suppose -6*y = -2*y - 4. Is y smaller than k?
True
Let w = 28 + -215/8. Is w <= 1?
False
Let w = -4.32 - -9.2. Let q = -42 - -41.88. Let t = w - q. Is 0.1 smaller than t?
True
Suppose 2*g = v - 10, 0 = -g + v + 3*v + 2. Is g at least as big as -6?
True
Suppose -l - h = 1, -2*l - 5*h = -7*l + 5. Suppose -4*p + 0*p - k - 2 = l, 0 = -2*p + k + 2. Let o be ((-27)/30)/(-9)*2. Is p less than or equal to o?
True
Let w = -4.51 + 3.51. Let k be 2 + 15/(-4) - -1. Which is greater: k or w?
k
Suppose 12 = -l - 3*c + 8*c, -4*l - 16 = -4*c. Let s = l + 2. Is 0 < s?
False
Suppose 0 = 4*t - 25 + 5. Suppose 0 = -4*c - t*a - 12, -c - 5*a - 26 = -4*c. Suppose 5*r + 4 = 2*h, c*h - 2*r = -2*h + 8. Is h less than 3?
True
Let m(a) = a**2 + 8*a + 9. Let f be m(-6). Suppose -8 + 0 = 2*p. Let t be (1 + -3)/(p/(-6)). Is t at least f?
True
Suppose 0 = -3*j - 2*r - 37, -3*j + r = 5*r + 47. Are -8 and j equal?
False
Suppose -5*k - 4 = -k + 4*z, -k - 2*z - 2 = 0. Su