0?
z
Let a be ((-4)/(-7))/((-430)/(-301)). Is -6/29 not equal to a?
True
Suppose 8*h = 17*h - 9. Is h >= -2/169?
True
Let n be -5 - ((-9840)/4910 - 3). Which is smaller: 0 or n?
0
Suppose v + 21 = 20. Which is bigger: v or -7?
v
Let z be (15 - -2) + -1 + -1. Let v(b) = -b**3 + z*b**2 + 0*b**3 + 2*b - 12*b**2 - 2. Let o be v(3). Is o greater than 2?
True
Suppose t + 4 = 5*w - 1, 2*t = 0. Suppose 3*q - 19*i + 3 = -15*i, -i - 9 = -4*q. Which is greater: w or q?
q
Suppose 0 = -4*o + 7 + 5. Let w be 9/o - 7/((-28)/(-16)). Is -5/11 equal to w?
False
Suppose -2384 = 15*s + s. Let u = -36 - s. Is 113 < u?
False
Let d = 1162/3 - 2257/12. Is 200 <= d?
False
Let m = -2038 - -2037.9. Which is smaller: -97 or m?
-97
Let w = 4/67 + -363/469. Is w greater than or equal to -1?
True
Let z be 2 + (3989 - (-2 - -1)). Let s = z - 5808. Let d = s + 16324/9. Which is smaller: -1 or d?
d
Suppose 5*s - 4*g + 358 = 0, 245 = -3*s - 4*g + 43. Let u = -57 - s. Do u and 13 have different values?
False
Let g be -1*1 - (-10)/7. Suppose 19*p - 5*p = -18*p. Which is smaller: p or g?
p
Let a = 15 - 12. Suppose a*n + 40 = -n. Let g = -11 - n. Does 1 = g?
False
Suppose 0 = 2*j + 8, 508 = -2*d - 0*j - 3*j. Let g be (-11)/(-77) + d/70. Which is greater: g or -4?
g
Suppose 7*r = -62 - 757. Let i = r + 113. Is -0.6 != i?
True
Let w(y) = -14*y + 451. Let u be w(32). Which is bigger: u or 19/9?
u
Suppose -70 = 14*i - 19*i. Suppose -5*o - 2 = p, 0 = -0*o + 5*o - 3*p - 6. Suppose o = 4*a - 2*y - i, -a - 3*y - 2 = 2*y. Are 3 and a nonequal?
False
Let h be ((-1)/2)/((-5)/150). Suppose 0 = -8*z + 3*z + h. Suppose -z*n + 0*n + 16 = 2*r, 2*r = -4*n + 18. Does 2 = n?
True
Let v be 17*(1 - 0/(-3)). Suppose 4*y - 68 + 24 = 0. Suppose v = -2*r + y. Is r at least -11/6?
False
Suppose 6*r + 39 = -3. Which is greater: -4 or r?
-4
Let r = -2 + 6. Suppose -5*a - 4 = -29. Suppose -4*u = -a*q + 2, -3*q + u - 10 = -7*q. Is r equal to q?
False
Let k = -3.5 + 2.5. Is -385 > k?
False
Let b be 1*1/1*1. Let r = -98579/81 - -1217. Which is smaller: r or b?
r
Let y = -71/45 + 386/245. Is y less than 0?
True
Let w = -41 + 80. Let b = -44 + w. Let z(v) = -v**3 + 8*v**2 - 8*v + 8. Let q be z(7). Do b and q have the same value?
False
Let w = 3 - 2. Which is greater: 1/41 or w?
w
Let h(i) = -i**2 + 5*i - 1. Let w be h(2). Suppose y = w*y. Suppose y = -5*r - 20, -c - r = 1. Which is bigger: c or 2?
c
Let k be (4 - -4 - 2)/(6/15). Let u be (1 + 0)/24*k/80. Which is smaller: u or 0?
0
Let r(h) = -13*h**3 + 17*h**2 - 16*h - 9. Let x be r(-4). Is 1159 greater than x?
False
Let c(k) = k**3 - 3*k**2 - 2*k - 4. Let i be c(4). Let x(h) = 81 - 81 - h**3 + i*h**2. Let p be x(4). Which is bigger: -4 or p?
p
Let j be (2 + 1)*(-2)/(-3). Let x = -0.1601 - -0.3601. Is j greater than or equal to x?
True
Let f = 71 - 41. Let a = f + -18. Let c = 13 - a. Is 1 not equal to c?
False
Suppose -2*w = -s - 5, 3*s - 29 = -5*w - 0*s. Suppose 11*i = 12*i - w. Is i greater than 0?
True
Suppose -3*v - v = 4. Let u(x) = -2*x**3 - 5*x**2 + x + 4. Let h be u(-2). Is v not equal to h?
True
Let w(i) = 2*i**2 + 2*i + 1. Let o be w(-1). Let x be 9/9 - o/1. Is 1/19 less than or equal to x?
False
Let t be ((-10)/51)/(96/72). Is t at most as big as 1?
True
Let g be (-23)/((-23)/108)*(-63)/12. Which is smaller: -566 or g?
g
Let d(z) = -5*z + 1. Let q be d(-3). Let p be 3/((-12)/(-20))*q/30. Suppose 4*w + 3 = 5*w. Is w at most as big as p?
False
Suppose 7*a = 18 + 3. Suppose -j + 12 = a*j, -2*j = -2*o + 182. Is 95 less than o?
False
Let r be -7 - (4 - 111*7/(-21)). Is -34 < r?
False
Let t be 22527/595 + 20/50. Let l = -267/7 + t. Which is smaller: 0 or l?
0
Let o = 0.2 - 1.2. Let t be (-32)/(-184)*(-2)/4. Is t greater than o?
True
Let t = -299 - -298. Let z = 1.8 - -10.2. Let h = 19 - z. Is t >= h?
False
Let s = -125 + 126. Suppose -5*j - 15 = -0*q + q, 0 = 5*j + 4*q. Which is smaller: j or s?
j
Let g = -0.72 - -0.4. Let t = g + 15.32. Let m = 13 - t. Is 1 not equal to m?
True
Suppose 5*y + 222 = -4*p + 53, 0 = 2*p - y + 95. Let z = p + 44. Are z and -2 nonequal?
False
Suppose -c + 5*l - 14 = l, 3*c - 3*l = -42. Let a = -15 - -3. Which is greater: c or a?
a
Let q be (2/(-3))/(-3 - (-488)/168). Let o = 15 + -7. Which is smaller: q or o?
q
Let c = 1187164/241 + -4926. Which is smaller: c or -1?
-1
Suppose 0 = -u + 3*v + 17, 8*v = -4*u + 4*v - 12. Which is bigger: 3/17 or u?
u
Let w = -97 - -96. Which is bigger: w or 2/831?
2/831
Let h(i) = -i**3 - 14*i - 24. Let z be h(-9). Which is smaller: 832 or z?
z
Let d be (-1)/(-3) + 568/(-1722). Let w = -272/4305 - d. Let g = 2608 + -2608. Are w and g nonequal?
True
Let a = 6 + -3. Suppose a*v = -v - 88. Let o = 15 + v. Which is smaller: -8 or o?
-8
Let d(k) = k**3 + 6*k**2 + 5*k + 7. Let g be d(-5). Let t = 4.88 + -4.98. Which is bigger: g or t?
g
Let z = 10/869 + 3525/71258. Which is greater: 0 or z?
z
Let z = 184/17 + -283/34. Let o(j) = -j**2 + 7*j + 10. Let p be o(8). Are p and z nonequal?
True
Suppose a + 3*a = 3*x + 12, 2*x - 3*a = -7. Let y be (-12)/(-54) - 14/(-18). Let c be ((-88)/33)/(y/3). Is c != x?
False
Suppose 42 = 4*a - a + 3*l, -62 = -4*a - 2*l. Let y = 339 + -321. Is y less than a?
False
Let o = -1 - -6. Suppose l = -4*r + 23, -o*l + r - 2 = -4*l. Let n be 3 - (-4)/((-4)/l). Which is smaller: 1 or n?
n
Let l be (2/(-5))/(2/(-60)). Let d be (20/(-9))/((387/54)/(-43)). Is d smaller than l?
False
Let x(y) = y**3 - 11*y**2 + 10*y + 4. Let f = -13 + 23. Let r be x(f). Which is bigger: 0 or r?
r
Let n(m) = 6*m + 21. Let f be n(-10). Let o = f + 38. Is 2/17 > o?
True
Let g be (-16 - -36) + (-5)/1. Which is bigger: g or 156/11?
g
Let n = 0.0862 + 13.9138. Is n at most 6?
False
Let m = 74014/2871 + -2/957. Let p = 26 - 52. Let d = m + p. Is -1 less than or equal to d?
True
Let p be (32 - -9)/(3 + 38/(-6)). Is p less than 1/3?
True
Let m = 28.8 - 29. Let s be -3*(26/3 + -3). Let p = s + 10. Are m and p equal?
False
Let q = 167 - 38. Suppose i - 4*i = -q. Is 43 smaller than i?
False
Let i be (-225)/(-2)*(-369)/(-108). Let b = i + -381. Which is smaller: 2 or b?
2
Let m = -8 - -7. Let t = 5 + m. Suppose 9*g = t*g. Which is smaller: g or 2/37?
g
Suppose -179*l - 120 = -182*l. Is 40 not equal to l?
False
Let f = 1 + 0. Let j = 475 + -416. Is f equal to j?
False
Let c = -37.9 - -41. Let f = -0.1 + c. Is 0.01 < f?
True
Suppose -4*f = 3*g - 125, -g + 50 - 11 = 4*f. Which is greater: 42 or g?
g
Let k be (-1)/(-3 + 2) - 0. Let h = 35881/9 + -3987. Is k at most h?
False
Suppose 0 = 3*i + 4*b + b + 4, 0 = i - 3*b - 8. Let x be -1 + i + (-46)/18. Suppose -4*o + 9*o + 28 = -4*a, 3*o = -a - 14. Which is bigger: x or a?
x
Let k(d) = 3*d + 6. Let i be k(11). Let j = -41 + i. Is j less than -1?
True
Let o be ((-23)/(-4))/((-3)/36). Let g be (-6)/(o/(-36) - 2). Let r be ((-1)/(-4))/((-30)/g). Is -0.3 at most as big as r?
False
Let u be 2/(-6) + (-473)/(-33). Let b = u + -22. Is -7 greater than b?
True
Suppose 4*v - t + 6*t = 4, t = 5*v + 24. Let q be v/(-2)*(-1)/2. Is 2/23 greater than or equal to q?
True
Suppose 8 = -4*f, -h + 2*f = 4*h - 9. Let p = -10 + 4. Let l = 8 + p. Which is bigger: h or l?
l
Let n(d) = 3 + 0*d**3 - 3*d + 9*d**2 + 0*d + 2*d**3 - 2*d. Let b be n(-5). Suppose -b = 8*s - 5*s. Which is smaller: s or 9?
s
Let c(p) = -p**3 + 2*p - 22. Let f be c(0). Let v be 106/38 + 0 + (f - -19). Which is smaller: -1 or v?
-1
Let m = 472/525152733 + -491752600144/63743538877. Let n = m + 2/7647. Which is bigger: 1 or n?
1
Suppose -a = 1, -3*y - 5*a + 2 = 1. Suppose -4 = -2*l - y*x, -l - 5*x - 11 = l. Let g = 3 + 3. Which is smaller: l or g?
g
Let y be (-1326)/40*(-952)/153. Let i = -19877/120 + y. Let d = -17209/424 + i. Is d at most 0?
False
Suppose 115*k = 112*k. Are k and -2/51 equal?
False
Let a be (-2)/6 - (-1)/3. Suppose 3*l = 8 - 2. Suppose 2*y + l = -n, -4*n + n = 3*y. Which is bigger: y or a?
a
Suppose 4*l + 6*n = 3*n - 13, -3*l - 15 = -3*n. Let x = 37 - 37. Suppose x = -u + 3*h + 16, -h = -u - 1 + 7. Are l and u unequal?
True
Let t(v) = -3*v**2 + 3 - 4*v - v**2 + 5*v**2. Let n be t(2). Let y = 85.8 - 85.9. Which is greater: n or y?
y
Let y(q) = -q**2 + 12*q - 2. Let l be y(11). Let b = 2.59 - 2.29. Is l at least as big as b?
True
Let d = 0.264 - 21.164. Let w = 59 + -38. Let x = d + w. Which is smaller: 11 