 - o. Are q and -1/2 unequal?
True
Let d be ((-2)/(-57))/(21/126). Which is smaller: d or -1?
-1
Let z be (-3 + -2)/(-1)*1. Let t = 0 + z. Suppose t*f = f. Which is smaller: 2/7 or f?
f
Let x = -46 - -51.1. Let j = x + -5. Which is smaller: j or -1?
-1
Let k(b) = b + 3. Let s be k(-6). Is s at most as big as -2?
True
Let n be 4/(9/((-108)/(-8))). Which is smaller: n or 9?
n
Let k = 3 - 1. Let y be ((-1)/(-1))/((-11)/44). Let z = y + k. Which is bigger: -1/2 or z?
-1/2
Let n = 62.02 + -62. Which is bigger: n or 0?
n
Let p = 117/4 - 29. Is p at most as big as -3.1?
False
Let l = 0.06 + -0.86. Let z = -3 - -4. Let m = z + l. Which is bigger: 0 or m?
m
Suppose 17*y + 455 - 115 = 0. Does y = -21?
False
Let w be ((-3 + 2)*-3)/1. Suppose -4*b + 5 = w*c - 0*b, -3*c + 8 = b. Suppose 12 = -g + 5*u, -c*u + 4 = -5*g + 10. Is g greater than or equal to 3?
True
Let b = -1249681497/667 - -1873587. Let q = 34/23 - b. Do 0 and q have the same value?
False
Let v = -632/1475 - -30/59. Which is greater: -1 or v?
v
Let p be 44/(-6) - 14/21. Let m be p/(-5) + (-6)/6. Which is bigger: m or 0.2?
m
Let b = -3.12 + 0.32. Let f = -3 - b. Is f smaller than -1?
False
Let i = -306 + 309. Let c(b) = -3*b - 3. Let j be c(-2). Does j = i?
True
Let s be (0 - 1)*((-56)/(-16))/(-7). Which is bigger: 0.53 or s?
0.53
Suppose 3*z + 9 = -0, -3*d + z = -15. Suppose 5*u - 15 = 3*r, d*r + 4*u - 1 = -21. Is r bigger than -5?
False
Let f be 6/(-4)*10/(-6). Are f and 0.2 non-equal?
True
Let r be ((-12)/(-10))/((-394)/200 - -2). Is r bigger than 40?
False
Let w = -7005/13 + 70485/91. Let m = w - 234. Which is greater: 2 or m?
2
Let n = -124 - -109. Suppose -3*a = -10 - 23. Let c = a + n. Is c greater than -2?
False
Let o be (-1 + 0)/(2/(-4)). Let t be 3*(-3)/(-6)*o. Suppose 0 = -t*y - 2*y. Do y and 6/7 have the same value?
False
Let a = -92 + 93. Which is greater: a or -1/30?
a
Let d be (8/10)/(5/25). Let v be (-9)/(-2) + d/(-1). Is -16 bigger than v?
False
Let p(a) = 9*a - 4. Let w be p(-2). Which is greater: -45/2 or w?
w
Suppose 4*r - 2*k = 2*k - 32, 5*r = 3*k - 32. Let q be (-1038)/(-7) - (-4)/(-14). Let j be q/88 - (-6)/r. Which is smaller: j or 1?
j
Let c(d) = 1 + 0 - d**3 - d - 2 - 2*d**2 - d. Let l be c(-1). Which is smaller: -2/11 or l?
-2/11
Let p be -3 - 10*3/(-6). Let j = 17/5 + -43/20. Let l = j + -7/12. Which is smaller: l or p?
l
Let f = -3329 + 469387/141. Let r = -296/987 - f. Is -3/4 at most as big as r?
True
Let v = 0.6 + -0.9. Let z = -0.3 - v. Let c = 0 + z. Is c at most as big as -1/4?
False
Suppose -7*y + 12*y = -85. Is -10 >= y?
True
Let b = -2.6 + 0.6. Suppose 0 = 3*c - 4*k + 2 - 4, 4 = 4*c - 5*k. Suppose -2*w + 4 = -0*z + z, 3*z - c = 0. Is w greater than b?
True
Let m(f) = -7*f + 4. Let z(t) = -t + 1. Let x(w) = -m(w) + 6*z(w). Let s be x(-2). Suppose 4*k + 3*l = -8 + 2, -4*k - 2*l - 4 = 0. Is k greater than s?
False
Suppose -6*g - 3*n + 27 = -3*g, -10 = 2*n. Let d = -10 + g. Suppose -d*o - 4 = -12. Which is smaller: o or 1/2?
1/2
Let z be ((-5)/30)/(10/8). Are z and 0.1 nonequal?
True
Let l be 0 + 9 + (0 - -1). Let c = l - 6. Let i be 1 + 0 + 2/c. Are i and 1 nonequal?
True
Let c = -2/17 + -190/119. Is c < -2?
False
Suppose -3*v + 12 = t + 4*t, 2*v + 5 = t. Suppose 2*z = t*z. Do -1/4 and z have different values?
True
Let i = 5 - 2. Suppose -1 - i = 2*c. Let m be 3/(-15) + (-33)/60. Is c at least as big as m?
False
Let k be (-1)/(-4) + 3/(-12). Let c = -238 - -2620/11. Is c less than k?
False
Let u = 0 - -10. Does -2 = u?
False
Suppose 320 - 77 = 9*n. Is n <= 25?
False
Suppose -h - 2*h - 4*q + 42 = 0, -5*h - 2*q + 84 = 0. Do 18 and h have different values?
False
Let f = 0.03 + -4.63. Let u = f - -5. Let h = u + -1.4. Which is greater: -1/2 or h?
-1/2
Let b be (3856/(-21))/((-4)/6). Let l = b + -275. Is l at most as big as -1?
False
Let q = -25 - -76/3. Let x = -0.87 + -0.03. Let s = 0.1 - x. Is s != q?
True
Let c be (-17)/(-4) - (-21 + 25). Is c less than 1?
True
Suppose -o + 0*c + 20 = 4*c, 5*o = 5*c. Suppose -4*a = o*m, 5*m - 8*a - 20 = -3*a. Is m at least 2?
True
Suppose -2 = 5*h + 3, 3*t + 2*h + 2 = 0. Which is bigger: 1 or t?
1
Suppose 5*w + 30 = -2*t, -4*w = -2*w + t + 13. Let k = -8 - w. Is -4 > k?
False
Suppose 0 = -2*t - 2*h + h + 2, -t - 2*h = -1. Let z be 3 + (-3)/t - 0. Which is bigger: -2 or z?
z
Suppose 2*t + t = 6, 2*a - 16 = -3*t. Suppose 25 = 5*u - 5*x, -5*u + a = -u + x. Are u and 2 unequal?
False
Let c(i) = -i**2 + 9*i + 6. Let n be c(10). Let j = -2 - -3. Let z be j*(-1 + 1*n). Is -5 greater than or equal to z?
True
Let r = 137 - 57. Let u be 1/(-2)*r/(-8). Suppose -u*b + 8*b - 3 = 0. Which is smaller: 2/5 or b?
2/5
Suppose -f = 2*f + k + 7, 9 = -f - 2*k. Let m be (-1)/(8 - (f - 1)). Suppose -4*l + 4*h - 3 = 1, -5*h + 9 = -l. Which is bigger: m or l?
l
Let h be ((-24)/(-18))/(58/3). Which is smaller: -1 or h?
-1
Let q(s) = -4 + 0 + s - 2. Let c be q(6). Which is smaller: -2/11 or c?
-2/11
Let t = 4 + 0. Let v = -7 + t. Let s = -2.9 - v. Which is bigger: s or 2?
2
Let k = 24 - -42. Are k and 67 equal?
False
Let l be 0 + 2/(-2)*-1. Suppose 5*u = 3 + 12. Suppose -u*c = -3 - 0, 4*z - 3*c = -3. Which is bigger: z or l?
l
Let a be ((-36)/54)/((-172)/6). Is a bigger than 1/3?
False
Let l = -674/7 - -96. Is 0 != l?
True
Let x = -6 - -8. Suppose x*h + 0*h = -6. Let d be (-1 - (-4)/6)/h. Which is bigger: 1 or d?
1
Let v = 4 + -3. Let k be (2/2)/(0 + v). Let w be ((-6)/(-8))/(10 - 7). Is k >= w?
True
Let u = 1.1 + -1.6. Let m = 5.5 + u. Which is smaller: m or 1?
1
Let y = 33 - 28. Let f be (-9)/(-2) - (-2 - -3). Which is smaller: y or f?
f
Let o(w) = 2*w - 4. Let h be o(-4). Let x be 4/h - (-3)/(-18). Is x not equal to -2?
True
Suppose i - 8 = q - 4*i, 0 = -3*q - 2*i + 10. Let r be (-35)/8 + q + -1. Let j = -97/24 - r. Does 2 = j?
False
Suppose -h + 1 = 2*b - 2, 3*h + 13 = 5*b. Suppose 0*w + 2*w - b = 3*v, -5*w = -3*v - 14. Which is bigger: 2 or w?
w
Let g = 4/5 - 1. Which is greater: g or 5?
5
Let y = -72/23 + 556/207. Is -1 less than y?
True
Let n be (4 + -4)*-1 + -4. Let u = 3 + n. Which is greater: -1/9 or u?
-1/9
Let c = 3.8 + -4. Let k = 3.8 - 3. Let f = k - c. Is -2/5 less than or equal to f?
True
Let q be (0 - -2)/((-16)/(-10)). Which is smaller: -1/3 or q?
-1/3
Let x(w) = -w - 3. Let o be x(-4). Suppose 0*t + t = o. Which is bigger: t or -2/9?
t
Let t be -1 + 1 + 1*-5. Let v(l) = 8*l - 7*l - 2 + 0 + 8. Let r be v(t). Which is smaller: 0 or r?
0
Let n(l) = -l + 12. Let i be n(0). Let m be (-3)/i - 6/8. Do -1 and m have the same value?
True
Let x = 70 - 70. Which is bigger: x or 4/17?
4/17
Let f be (-4)/(-8)*6/(-1). Let c = f + 1. Let s be 0/2 + 2 + -1. Which is bigger: c or s?
s
Let i be 2*2/(-4) + 3. Let a be (-5)/(-3)*i/5. Let g = -10.3 - -10.2. Which is bigger: g or a?
a
Let w = 7/44 - -1/11. Let r = 3 - 2.9. Which is smaller: r or w?
r
Let f = -1441 - -10034/7. Let k(z) = z**3 - z**2 + 3*z - 2. Let g be k(2). Let n = g + f. Is n bigger than 2?
False
Let q = -13 + 10. Which is greater: q or 0?
0
Let o be (-2)/10*(-10)/2. Which is bigger: 6/19 or o?
o
Let f be -4 + 13/3 - (0 + 0). Which is smaller: f or 0.42?
f
Let n be 48/8*(-4)/(-6). Which is greater: 5 or n?
5
Let n = 76 + -36. Is 41 greater than n?
True
Let k = 14559975 - 655164898/45. Let a = k - 755. Which is greater: a or 0.1?
0.1
Let i = 17/14 + 9/7. Let k(q) = 2*q - 5. Let r be k(4). Which is smaller: i or r?
i
Suppose 4*v + 2*g = 2*v + 184, 5*g - 284 = -3*v. Is v greater than 89?
False
Let c = 3.21 - 2.21. Suppose 2*t - 3*q = 0, 2*q - 19 = -2*t - 3*t. Which is smaller: c or t?
c
Let a be (-60)/(-81) + 0 - 0. Let w = 19/135 - a. Is -1 smaller than w?
True
Let m be 0/(3 + 3 + -4). Suppose -s - 3*s - 8 = m. Do s and -4 have different values?
True
Suppose 3*k = 6*k + 3. Let r be 6/(2/k) - 0. Let f = r - -4. Which is smaller: 3 or f?
f
Suppose -p + 2*j - 1 = -6, -2*j - 6 = -2*p. Let y(k) be the first derivative of k**3/3 + 3*k**2/2 + k - 2. Let s be y(-3). Is s < p?
False
Suppose 2*j = j - 1. Suppose -3*d - d + 191 = -3*z, 0 = 5*d + 2*z - 256. Let s = -201/4 + d. Which is bigger: j or s?
s
Let o be 4/(-6) + (-7)/(-6). Let n = o - -1/6. Suppose -6 = -5*a - 1. Which is bigger: n or a?
a
Let q = 7 - 3. Suppose 0 = -r - 5*t - 12, 0*r - 2*r + q*t = -18. Suppose 0*g + 5*g + 2 = r*i, 10 = -5