6. Is q != 0?
True
Suppose -3*c + 0*c = -4*n - 55, -3*c - 3*n + 27 = 0. Does 13 = c?
True
Let k = 1.5 + -11.5. Let w = -49 - -49.1. Is k smaller than w?
True
Let m be 2/28 - (-2 - -4). Let x = m + 10/7. Let q = -33.95 - -34. Is x < q?
True
Let k be (3 + 345)*-1*(-1)/2. Let h = -1216/7 + k. Do -0.4 and h have different values?
True
Let r = -0.004 - -0.774. Let m = 0.21 - 0.28. Let n = r + m. Which is bigger: n or 0?
n
Let p = -829/18 - -46. Which is smaller: 3 or p?
p
Suppose -5*x - 4*q - 3 = -q, -3 = -4*x + 3*q. Suppose 3*z + 3*o = -x*o + 3, 2*o + 1 = z. Suppose z = 2*l + 13. Which is greater: -7 or l?
l
Let b be (-430)/(-72) + 31/(11997/(-86)). Let a(m) = -m + 3. Let y be a(-3). Is y smaller than b?
False
Let n = 24.96 + -25. Let q = n + 3.44. Let s = q - 3.2. Is -5/4 at least s?
False
Let j be 1*(0 + (0 - 0)). Let u be 56*(637/70 + -9). Which is bigger: j or u?
u
Let f be ((-12)/(-55))/((-115)/5750). Do f and -1 have different values?
True
Suppose 0 = -0*a - 3*a, -3*x + 2*a + 42 = 0. Suppose 4*u + 5*k - x = 3*k, 0 = -2*u + 2*k + 4. Let v be u/5 - (-32)/80. Which is greater: v or 4?
4
Let x = -0.08 - 0.1. Let q = x - 11.82. Let y = q - -12.1. Which is smaller: y or -3?
-3
Let s = -7.62 + -0.38. Let h = -7 - s. Which is smaller: h or 2/23?
2/23
Let h be (1/2)/((-2)/(-8)). Suppose h*d + 9 = 25. Are 8 and d non-equal?
False
Let m = 0.61 - -39.39. Let t = 38.2 - m. Let h = t - -3.2. Is h at least -0.1?
True
Suppose -6*y + 2*y = 0. Let n be 2/(-8) + (-675)/(-12). Let s be n/(-98) - (-5)/(-7). Which is smaller: y or s?
s
Let l be (-2 + 11)*((-5)/3 + 2). Do l and 16 have the same value?
False
Suppose 7*x - 195 = 57. Let y = -72/425 + 167817/4675. Let b = y - x. Is b > 1?
False
Suppose 18 + 26 = 4*o. Suppose -o + 35 = 4*m. Is m at least 4?
True
Let a = 522.1 - 545. Let m = a - -22. Let q = 4.9 + m. Which is smaller: q or -1?
-1
Let o = 6.8 - 1.8. Which is smaller: o or 3.3?
3.3
Let z be -10*((-4)/(-14) + 225/70). Which is smaller: -37 or z?
-37
Let o(m) = m**3 - 4*m**2 + 4*m + 1. Let v = -7 + 10. Let b be o(v). Suppose -y - b*y - 5 = 0. Is -1.6 at least as big as y?
False
Suppose 0*z + z = -1. Suppose -3*v + 8*v - 15 = 0. Suppose -v*h = -4*q - 6*h - 6, -4*q - h = 2. Is z greater than or equal to q?
False
Let j be (-8 + 0)*(-14)/28. Suppose 0*q - 70 = -v - 2*q, -5*v - j*q = -338. Let z be ((-3)/v)/(-1)*8. Which is bigger: 1 or z?
1
Let z(n) = n + 10. Let s be z(-7). Let a be 56/7 - (s - 2). Let r = -9 - -11. Is r smaller than a?
True
Let d = -30 - -56. Suppose -d = -2*l - 8. Is 12 >= l?
True
Suppose 3*v - 28 + 25 = 0. Is 1/3 equal to v?
False
Let c = -59927/5 + 1233467/105. Let d = 238 + c. Let w = d + -4/105. Which is bigger: -1 or w?
w
Suppose 3*j + 642 = 5*s, 3*s + 327 = -2*j - 120. Which is greater: j or -220?
j
Let y(k) = -k**3 - 19*k**2 - 35*k - 4. Let f be y(-17). Let r(u) = -u**3 + 13*u**2 + 6. Let o be r(f). Let n = 6 + 0. Are n and o unequal?
False
Suppose -2*i + 2 + 6 = 0. Suppose -4*p - 52 = -i*t, -8 = 2*p - 0*p. Let k = t - 9. Is 2/3 at most k?
False
Let s = 1239/4 - 311. Suppose -q = -2*q. Which is smaller: s or q?
s
Let s = 3182/5 + -637. Let y = 0.6 + -2.6. Is s less than y?
False
Let s = -44 + 44. Suppose m = -3*d + 36, -2*d = -s*m + m - 23. Is d less than 13?
False
Let s = -0.06 - 5.74. Let h = -104 - -110. Let n = h + s. Which is smaller: n or -7?
-7
Let l be 8/14 + (-4008)/(-42). Suppose -25*d + l = -22*d. Which is greater: 33 or d?
33
Let a = 1775/6 + -298. Which is bigger: -3 or a?
a
Let r(w) = -w - 10. Let q be r(-8). Let l = -224 - -217. Which is smaller: l or q?
l
Let p = -1 - -2. Let y be 580/150 - 4*p. Which is smaller: y or -1?
-1
Let m = -197 - -207. Which is smaller: 4 or m?
4
Let y = -36049 - -71413071/1981. Is y less than or equal to 0?
False
Suppose -4 - 8 = -3*h, z - 2*h + 6 = 0. Let o be ((-30)/18 - -1) + z/(-6). Which is greater: -7/4 or o?
o
Suppose -5 = 2*h + 5*p, 6 - 24 = 4*h + 2*p. Suppose -5*u + 4*a + 28 = -0*u, -5*a = u + 6. Let g be (5/u)/((-1)/4). Is g < h?
False
Suppose 2*t + 2*o = 52, -17 - 52 = -4*t + 3*o. Let m be (-1)/(-1*(-3)/t). Let d be ((-1)/(-2))/(2/m). Is -1 >= d?
True
Let q = 282 + -386. Is q smaller than -105?
False
Let f be (-25)/9 - -8*1/(-36). Let z be 4/14 + 48/(-14). Is z not equal to f?
True
Let q(o) = -o**3 + 8*o**2 + 6*o + 10. Let u be q(9). Suppose 7*t - 23 - 12 = 0. Suppose 5*x + t*l + 70 = 0, -2*l + 96 = -4*x + 28. Which is bigger: u or x?
x
Suppose 4*z + 35 = 55. Suppose 5*o - 4*u + 6 = -u, o = -z*u + 10. Which is greater: 6/71 or o?
6/71
Let d(j) = 3*j - 6. Let w be d(5). Let h(o) = -o**3 + 9*o**2 - o + 6. Let z be h(w). Is z > -3?
False
Let q(h) = h**2 + 7*h - 6. Let v be q(-8). Suppose -26 = -4*x + 5*r, 6*x - 2*x - 18 = r. Suppose -3 = -x*s + 3*o, -2*o + 2 = -5*s + 4. Are s and v non-equal?
True
Let g be ((-44)/(-6))/((-156)/3546). Let n = 167 + g. Which is smaller: -1 or n?
-1
Let u be (-30)/245*((-2)/3)/1. Which is smaller: -1 or u?
-1
Suppose 5*r + 1470 = -2*x, -2053 - 1641 = 5*x + 3*r. Is x greater than or equal to -741?
True
Let y = 94 - 1035/11. Let c(f) = -2*f + 4. Let w be c(0). Suppose -4*s + 2*s = 3*z - w, -3*z + 1 = 5*s. Do y and s have the same value?
False
Let j = -0.9 + 1.08. Let b be ((-30)/(-8) + -3)*-1 + (-1353)/(-1452). Which is bigger: j or b?
b
Suppose 0 = -0*i + 4*i + 36. Let k(l) = -12*l - 489. Let w be k(-40). Is w less than i?
False
Let a be -18*3/15*50/20 - -2. Let s = -2.7 - 0.3. Let h = 0 - s. Are h and a nonequal?
True
Let v = -23 + 5. Let h be (138/(-4))/(v/(-120)). Let b be 3 - 3/((-234)/h). Are b and 1 nonequal?
True
Let o = 32 - 16. Suppose -d = 2*y + 3*y - 24, y = 2. Let h = o - d. Is 3 bigger than h?
True
Let p = 7.1 - 1.1. Let z = 4.8 + p. Let i = -11 + z. Is -2/5 at most i?
True
Suppose 0 = -b - 3*z - 13, 18*z + 1 = 3*b + 17*z. Which is smaller: b or -1/710?
b
Suppose 0 = -58*s + 29*s + 10817. Is 373 bigger than s?
False
Let l = -1/1267667 + 57218685430/64651017. Let y = 885 - l. Is 0 greater than y?
True
Let r = 28.3 - 29.3. Let n = 634 - 626.18. Let k = -0.18 - n. Which is smaller: k or r?
k
Suppose 4*g + 576 = 276. Is -816/11 > g?
True
Suppose 0 = 4*p - 2*a - 902, p + 3*a = 119 + 124. Is 231 smaller than p?
False
Let f be (-14115)/105 + 8/(-14). Which is greater: f or 1?
1
Let z = 70/649 - 1/59. Let c = z + 0. Which is bigger: c or 0?
c
Let i = 18 - 14. Suppose -4*f + i + 16 = 0. Let m = 64 - 62. Which is bigger: m or f?
f
Let g = 0.4 + -1. Let f = -2.6 - g. Let v = 2314/5 - 461. Is v <= f?
False
Let z(u) = 4*u + 16. Let b be z(-5). Let o be b + 40/6 + -2. Which is greater: -0.3 or o?
o
Let c = 0.57 - 0.64. Let q = c - -0.02. Let j = -2.8 + 3. Does j = q?
False
Let r be (97/12513)/((-38)/39 + 1). Which is bigger: 1 or r?
1
Suppose -32 = 3*w + 4*m, -3*w - w - 5*m = 42. Let b be (1 + -2)/(-3 - 88/(-28)). Does b = w?
False
Let l = -87.2 + 87.133. Which is smaller: l or -4?
-4
Suppose 3 = -5*f - 2. Suppose 3*b - 3*r = 18, 0 = -2*r - 4 + 8. Let m = -9 + b. Is m <= f?
True
Let t = -36.99 - 0.01. Let y = -37.1 - t. Let u = 3.1 + y. Is u not equal to 0.02?
True
Suppose s + 3*s = -4*j, 0 = -5*s - j - 12. Suppose -3*i - 3*y + 5*y = -15, i = y + 5. Suppose 0 = i*t - t + 8. Is t at most s?
False
Let q = 1168 - 1168. Let a = -21/6724 + -7698161/262236. Let b = -89/3 - a. Which is bigger: q or b?
q
Let j = -3410 + 37195/11. Is -29 bigger than j?
False
Suppose 0 = -2*w + u + 10, 8*w - 4*w + u - 8 = 0. Suppose w*t + t = 24. Suppose -4*x = -t + 2. Which is smaller: 1/3 or x?
1/3
Let p = 43 + -17. Which is greater: p or 38?
38
Let r = 69 + -64. Let t = r - 4.99. Is t at least as big as -0.3?
True
Let c(v) = -v**2 - 9*v - 11. Let j be c(-7). Suppose -j*b - s = -3*s - 48, 3*s = 4*b - 64. Is b less than 16?
False
Suppose -2*y + 3*z = -z - 46, -y + 3*z + 24 = 0. Suppose y = -7*l + 8*l. Is 22 > l?
True
Let z = -3 + 2. Let y = -6.6 - -1.1. Let h = -4.5 - y. Is h > z?
True
Suppose -3*s = -6*s. Let l be (-7)/(-11)*13/(728/16). Does s = l?
False
Let x be (20/(-70))/(4/(-168)). Is 12 >= x?
True
Let y be (1 + (-22)/5 + 4)*15. Do 37/4 and y have different values?
True
Let q = -4.903 - 0.097. Are -2 and q equal?
False
Let n(x) = 3*x - 13. Let j be n(6). Suppose -j*w - 7 = -22. Let c be w*(-2 - -3)*1. Is c < -1?
False
Let w = -115 - -265. Is w equal to 150?
True
Let q(