oes t = -106?
False
Suppose 0 = -9*q - 2*q + 2508. Which is bigger: -1/4 or q?
q
Suppose -7*n + 287 - 301 = 0. Is n equal to 63/2?
False
Suppose -2*n - 2*c = -46, 3*n - 7*n - 3*c + 89 = 0. Suppose -53 = -n*k + 127. Which is bigger: 31/4 or k?
k
Suppose 5*z + 14 = 34. Let t be 1 + 70*2/z. Let w be ((-1)/21)/((-12)/t). Are w and 0 equal?
False
Let b = -1/27 + 31/108. Let h(k) = 6*k + 25. Let i be h(-4). Are i and b non-equal?
True
Let w = -60318/61 + 989. Let b = 541/1647 - w. Let j = 1/54 + b. Do j and 0 have the same value?
False
Let h(r) = r**2 + 6*r + 6. Let z be h(-5). Suppose -c = -z, -3*w - c = -4*c. Let m be (-1 - -2)*w/(-7). Which is smaller: m or 1?
m
Let t(a) = 2*a**2 - 4*a + 152. Let x be t(11). Do 350 and x have the same value?
True
Let v = 137.080171 + -0.035171. Let w = 137 - v. Which is smaller: w or -0.1?
-0.1
Let o be (-1)/(6/18) - -9 - -4. Is 41/4 bigger than o?
True
Let x = 10.37 + -12.37. Suppose -m + 28 = 4*d - 77, -d = -4*m - 39. Is x > d?
False
Let l = 1 - -1. Suppose 4*o = 2*q + 32, -l*q - q + 22 = 4*o. Let g = -392 - -397. Which is greater: o or g?
o
Suppose -4*f + 2*q + 246 = -170, f - q = 105. Let j = f + -89. Which is greater: 25/2 or j?
j
Let q be (-30)/(-65)*5/3. Which is greater: -2/13 or q?
q
Let a be (1/2)/(1/(-14)). Let q be 693/(-56) - -6 - 1/(-8). Let x = q - a. Which is greater: x or 2?
2
Let j be (2 - 3)/((-2)/(-1 - -59)). Suppose -2*s - 2*k - j = s, -2*k - 11 = s. Do s and -7 have different values?
True
Let b be (9 - 10)/((-1)/5). Let s be (-50)/44 - b/(-10). Which is greater: -2 or s?
s
Let k be (-90)/((-4 - -2) + 0). Let m be (12/(-10))/((-18)/k). Suppose 12*z - m = 11*z. Is 2 greater than or equal to z?
False
Let g = 2163 + -2287. Does g = -743/6?
False
Suppose 7*s - 12*s + 4*v - 276 = 0, 0 = 5*s - v + 279. Which is smaller: s or -53?
s
Suppose -a + 2 = 0, 0*q + 2*q = 4*a + 288. Let c = -1630/11 + q. Is c greater than -3/4?
True
Suppose -5*k + 95 = -3*f - 337, -k - 432 = 3*f. Is -148 >= f?
False
Let j = -8 - -2. Let x be ((-2)/(-6))/(2/j). Let t = -3.3 + 3.31. Which is smaller: t or x?
x
Let z = -6/827 + -12057/47966. Is z less than or equal to 0?
True
Let n be 0 + 4 - (3 - 1). Suppose n*p - 14 - 2 = 0. Let x = -3 - -11. Are x and p unequal?
False
Suppose -36*o = -39*o. Is o less than or equal to -1/566?
False
Let t = -17/2823 - 645515/158088. Let b = t + 35/8. Which is bigger: b or 23/2?
23/2
Let q = 0.2 + -0.24. Let c = 40 + -42. Let d = 4 + c. Which is bigger: q or d?
d
Let c be (-30)/((-7)/(0 + 1)). Let s be (-10 + (-15)/(-3) + 2)/(-1). Is c greater than or equal to s?
True
Let t be (-36)/(-63)*7/2. Suppose 0 = u - 71 - 7. Let z = -230/3 + u. Are z and t nonequal?
True
Let n = 37 - 60. Let z = 22 + n. Which is smaller: 0 or z?
z
Suppose -5*z + 6*z = -5*z. Let h be z + 369/(-120) + 3. Which is smaller: h or -1?
-1
Let p = -4 - -3.8. Let m = p - 1.8. Let k = -118.96 - -119. Which is smaller: k or m?
m
Suppose 1263*m = 1272*m + 27. Is -78 at least as big as m?
False
Let u = -0.403 - -0.603. Is 95 bigger than u?
True
Let o be 277/(-3) + 6/18. Is -92 < o?
False
Let k be 4/6 + (-2981)/2244. Let n = k - -7/17. Let s be (-1 - (3 - 3))/(-1). Is s != n?
True
Let h be -101 + (-3)/((-9)/15). Is -96 at most h?
True
Let s = -2082 + 1990. Which is smaller: -1 or s?
s
Let q = 129 - 79. Is 0.1 >= q?
False
Suppose 6*b = 4 + 2. Suppose 2*u - 4*i = 2, -2*i + b - 4 = -3*u. Which is greater: u or -3/8?
u
Let l = -0.193 - -0.293. Let n = -0.15 - 12.85. Is n smaller than l?
True
Let p = -4 - -9. Suppose p*q + 4 + 1 = 0. Let f = -17 + 19. Which is smaller: q or f?
q
Suppose 5*o + 3 = 2*z, -4*o + z + 6 = 9. Suppose i = -i - 52. Let r be i/39*o/3. Is r equal to 1?
False
Let u = -2249 + 2250. Which is smaller: -103 or u?
-103
Let s be (3/(-94))/(6/(-8)). Let k(u) = -u**2 - 11*u + 25. Let j = 56 - 69. Let y be k(j). Which is greater: s or y?
s
Let a = -3820/11 + 347. Which is smaller: 1 or a?
a
Let j(i) = i + 5. Let w be j(-6). Let g be 0/(-2) + (48/270)/(-4). Which is bigger: w or g?
g
Let d = 96 + 48. Let v = 210 - d. Is 0 <= v?
True
Let p = -147.4 + 13.4. Which is bigger: p or 0.2?
0.2
Let l = 372 - 334. Which is greater: l or 36?
l
Let s be ((-23)/1)/((-3)/3). Let n = 11 - s. Do n and -11 have different values?
True
Let z = 1.2 - 0.53. Let g = -0.77 + z. Which is bigger: -19 or g?
g
Suppose 5*o + 2*v - 333 = 0, -5*o + 54*v + 340 = 49*v. Let y(j) = 8*j - 11. Let t be y(10). Is t greater than o?
True
Let s = -1242/5 - -13722/55. Is s not equal to 13?
True
Let d = -3.4 - -2.98. Let a = 0.08 - d. Let v = a - -0.1. Is v at least as big as -0.1?
True
Let s = -1406/17 - -10697/102. Is 22 equal to s?
False
Let u = 379382/57 - 6656. Which is greater: u or -1?
u
Let n = -4 + 4. Suppose 4*w + 4 + n = 0. Let l be 7/42 + w/(-6). Is 7 greater than or equal to l?
True
Let q = -145 + 168. Which is smaller: q or 25?
q
Suppose g + 0 = 21. Let h = g - 40. Is h less than or equal to -17?
True
Suppose 0 = 2*b - 6. Let v = -5 - b. Suppose -17*s - 21 = -14*s. Do s and v have the same value?
False
Suppose -j - 4*h + 22 = -4*j, -j = h + 5. Let f be j/(-3) + (153/(-15) - -1). Is f less than or equal to -6?
True
Let b be (-222)/8 + 4/(-16). Let g be (1 - 2)/(10/b). Suppose -4*x + 16 - 4 = 0. Which is greater: g or x?
x
Let j be 3/7 - 3417/4641. Let n be 183/12 - 1/4. Suppose 3*w - 2*w + 13 = 4*a, -5*a + n = 0. Which is bigger: w or j?
j
Let t(i) = 3*i + 2. Let s be t(0). Let p(q) = -2*q + 10. Let l(n) = 6*n - 31. Let f(x) = -3*l(x) - 8*p(x). Let o be f(6). Which is greater: s or o?
s
Suppose m = 7*m - 72. Suppose -m = -2*b - 2*i, 5*b - 5*i - 44 = -3*i. Is b greater than or equal to 8?
True
Let l(y) = y**3 + 6*y**2 + 6*y + 3. Let z be l(-5). Let v = 29/24 + -15/8. Which is greater: v or z?
v
Let p = 7 + 2. Let n = 9.8 - p. Let d = 3.2 + n. Is 1/4 > d?
False
Let m = 1388.5 + -1389. Which is smaller: -19 or m?
-19
Let q(s) = s - 5. Let y be q(11). Suppose 0 = -y*r + 5*r. Is r greater than -1/105?
True
Let c be 24 - -35 - 10*1/2. Which is greater: 52 or c?
c
Let t be (-2492)/(-572) + -11 - 4/(-22). Let n = 1 + -8. Which is smaller: n or t?
n
Let c = -245.9 - -246. Do 47 and c have the same value?
False
Suppose 20 = 5*z, -3 = -3*i + 5*z - 2*z. Suppose -i*a = -63 + 78. Is -3 equal to a?
True
Let z = 4283/55 + -393/5. Which is smaller: 0 or z?
z
Let w = 0.9 - -9.1. Let b = w - 9.86. Let t = 0.12 - b. Is 2/7 less than t?
False
Let t = -664 - -668. Is 7 > t?
True
Let j be (-2)/(-5)*(-575)/(-20). Suppose -3*z + 2*z + 12 = c, 5*z - 24 = -2*c. Which is smaller: j or c?
j
Let z be (-5135)/(-1560) - ((-34)/12 + 2). Are z and 0 unequal?
True
Suppose 2 = -2*z + 14. Let b(m) = 2*m**3 + 11*m**2 + 4*m - 2. Let g be b(-5). Suppose 3 + z = g*a. Is a smaller than 15/4?
True
Let j(t) = t**2 - 14*t - 100. Let h be j(21). Which is smaller: h or 46?
46
Let j(a) be the second derivative of a**3/6 + a**2 - 6*a. Let n be j(-8). Let i be -1 + (0 - 4/1). Is i not equal to n?
True
Let h = 0.57 + -0.83. Let v = 11.26 + h. Is -0.3 equal to v?
False
Let b be 6/(-4 - (-30)/12). Which is smaller: b or -7?
-7
Let b = 5888 - 276747/47. Which is bigger: -1 or b?
b
Let a = -5645/40764 - 1/948. Which is bigger: 1 or a?
1
Let i = -326 + 329. Which is greater: i or -24?
i
Let d = -98574094/1545 + 63802. Are d and -1 equal?
False
Let y = -1221 + 797. Let h = -2062/5 - y. Is h greater than or equal to 12?
False
Let q = 32 - 32. Suppose -45*b + 40*b + 30 = q. Let n(g) = -g + 5. Let y be n(b). Is 2/9 at least y?
True
Let o be -2 + (-5)/460*-183. Is 0 > o?
True
Let u = -40.5 + 41. Let h = u + -1.5. Which is greater: -8 or h?
h
Let o(d) = -4*d**3 + 14*d**2 - 8*d + 5. Let a be o(3). Let n(g) = g - 4. Let f be n(7). Let l be f*2*(-1)/(-3). Which is smaller: a or l?
a
Let u = -45 + 30. Let m = -18 - u. Let i = m + 1. Which is smaller: i or 2?
i
Let g be (2 - 4 - 1)/((-3)/(-13)). Is g < -2?
True
Let z = -984 + 985. Is -0.87 != z?
True
Let w be (-24)/110 + 6/15. Let k = -16 - 1. Let g = k - -16.9. Which is smaller: w or g?
g
Let m(f) = 14*f - 13. Let j(w) = w - 2. Let a(g) = -2*j(g) + m(g). Let t be a(3). Is 27 >= t?
True
Let w(b) = -b**3 - 28*b**2 - 27*b - 8. Let z be w(-27). Suppose 5 + 19 = -3*h. Is h <= z?
True
Let i = 5.7 - 5.9. Which is smaller: -0.32 or i?
-0.32
Let a be (20/6)/((-89)/(-87) -