ter than or equal to 2/297?
False
Let x = 1 + -0.9. Let q = 0.36 + -0.11. Let h = q + -1.05. Is x equal to h?
False
Let p = -192 + 282. Let u = 85 - p. Let q(i) = -i**2 + 4. Let z be q(-3). Is u smaller than z?
False
Let q be 3/(66/4) - 10/55. Is -15/31 greater than q?
False
Let g(a) = 3*a + 3. Let z be g(-2). Suppose -3*x + 3 = -s, -5*x + 22 + 11 = 3*s. Let c be (-20)/s + (-1)/3. Which is smaller: z or c?
c
Let d(a) = -a + 13. Let s be d(13). Is s at most as big as -207?
False
Let y = 33 + -8. Suppose y = -o - 5*p, 3*o + 2*p + 10 = -0. Is o bigger than -3?
True
Suppose 24*f - 13*f = -11. Is -2/19 != f?
True
Let m(p) = -p**2 - 2*p. Let h be 8 - 5 - (1 - 0). Let v be m(h). Let z be (-54)/v + (-6)/8. Which is greater: 2/5 or z?
z
Let u be -5*-3*(-8)/60. Let g be -4 - u - (2 + (-1 - 0)). Which is smaller: 2/27 or g?
g
Let n be 4/22 + (-1071)/(-99). Suppose -n - 25 = -3*t. Is t > 2?
True
Let d = -32.8 - -32.9. Which is smaller: 14 or d?
d
Let u = -2.856 - -1.9. Let j = u + -0.044. Let a = -8 - -11. Is a <= j?
False
Suppose -26 = 2*a - 5*j, 0*j + 12 = 3*j. Let o = 1 + 4. Which is bigger: o or a?
o
Let t be 10/25 + 46/10. Suppose -4*y = 3*a - 18 + 43, 0 = -3*a - t*y - 23. Let d be (-186)/(-66) + (-2)/a. Is 1 < d?
True
Let g be (9 + -3 - 4) + 58. Let o be 8/(-10) + 348/g. Let n be -5*o/150*-4. Which is smaller: -1 or n?
-1
Suppose 6*u - u = 5*m - 10, 0 = m - 2. Let w be (-2)/(-2)*(-153)/27. Let y = w + 29/6. Is u != y?
True
Let x be (98/(-343))/((-19)/2). Is -1 bigger than x?
False
Let a = -155.8 + 158.796. Let k = 0.004 + a. Which is smaller: k or -1?
-1
Suppose 5*i - i - 167 = g, 4*g - i = -608. Which is greater: -152 or g?
g
Let f(s) = 6*s + 11. Let u be f(-2). Let r be ((-2)/4 + (-3)/(-12))/u. Let i = 0.2 - 0.2. Is r != i?
True
Let y(b) = -635*b + 2. Let o be y(-1). Let f = o - 19745/31. Which is greater: -1 or f?
f
Let s(h) = -h**2 + 5*h - 1. Let o be s(5). Let k = 41 - 43. Which is smaller: k or o?
k
Let l(o) = o**3 - 7*o**2 - 8*o + 5. Let y be l(8). Suppose 2*t = -3*t + y. Let k = -2122/9 + 236. Which is greater: t or k?
t
Let a = 31.2765 - 31.39. Is a >= 0?
False
Let n = -234 + 236. Which is smaller: 16 or n?
n
Let u = -4 + 6. Let l = -22 - -25. Suppose -l*p - 7 = -2*q - 42, 5*q = 5*p - 60. Which is smaller: p or u?
u
Let b be (-2)/(-25) - 186561/(-1425). Is b <= 134?
True
Let t be (-5)/(520/16) - 564/(-6032). Is t bigger than -1?
True
Suppose -2*n - 1 = 1. Let z = -2/4181 + -217398/29267. Let v = z - -482/63. Which is greater: v or n?
v
Let q(a) = 5*a - 25. Let t be q(8). Suppose -s + 4*s - t = 0. Is s > -3?
True
Suppose 5*j + 5 = 115. Suppose -n = 1 - j. Let a be n/18 + 3/(-18). Which is smaller: a or -4?
-4
Suppose 3*f + 69 = -u, -3 = -u - 0. Is -24 bigger than f?
False
Suppose 0 = 4*l - 8 - 0. Let q = 86 + -85. Which is bigger: q or l?
l
Let w = 2.6 + -2.842. Let h = w + -1.938. Let c = h + 0.18. Is 0.1 < c?
False
Let z = -3277/9333 + -1/549. Which is greater: -1 or z?
z
Suppose 3*r + k - 391 = r, -2*r + 4*k = -386. Do r and 194 have the same value?
False
Let l be (-5)/20 + 2/8. Which is smaller: l or 3/56?
l
Let z = 2 + -3. Let l = -2973 + 1108927/373. Let k = 780/6341 + l. Which is smaller: z or k?
z
Let b = -4 + -2. Let w = 0.14 + -0.34. Are w and b nonequal?
True
Let y(m) = 19*m + 31. Let p be y(6). Let l = p + -5942/41. Is l at most as big as 0?
False
Suppose -13*w - 8 = -5*w. Let q = 1895 - 282357/149. Which is smaller: w or q?
w
Let w be (-1*1)/((-3)/(-9)). Let u be (w/4)/(2/(-16)). Suppose y + 4*r - 5*r - 5 = 0, 5*r - 23 = -3*y. Is y > u?
False
Let x(z) = 3*z**2 - 15*z - 11. Let p(l) = -l + 11*l - 2*l + 6 - 2*l**2. Let g(t) = -5*p(t) - 3*x(t). Let s be g(-4). Is s equal to -2?
False
Let n be 54/(-243) - ((-5602)/18 - -2). Which is greater: 310 or n?
310
Let b be (-4)/(-3)*2/(-8). Let d(f) = f**2 - 21*f - 44. Let h be d(23). Let s be (-2 + h)*6/(-12). Is s smaller than b?
False
Let n = 5 - 5. Let v = 135/7 + -2337/119. Which is bigger: n or v?
n
Suppose -4*a - 26 - 14 = 0. Let s(r) = -2*r**2 - 6*r - 3. Let w be s(-4). Is a smaller than w?
False
Let q = -83 - -21. Let d = q + -4. Let f = 40 + d. Is f greater than or equal to 1/2?
False
Let g be (1 - 7) + 2448/448. Let o = -926/7 + 132. Let t = g - o. Is t != -12?
True
Let h = -3118 - -4541. Is 1422 > h?
False
Suppose -54 - 21 = -5*h. Let i = 0 - -11. Is i not equal to h?
True
Suppose 2*h - 3 - 1 = -2*d, -4*h - d = -2. Let a(k) = 3*k - 11 + k - 2*k + h. Let b be a(8). Do -0.2 and b have different values?
True
Suppose -2*f + 6*m + 16 = m, f + 4*m - 34 = 0. Let w be 12/((-2)/6*(-8 + 10)). Let v = f + w. Do 6/5 and v have different values?
True
Let f(u) = -23*u - 8. Let m(d) = -8*d - 3. Let g(k) = -6*f(k) + 17*m(k). Let q be g(-1). Is q at most as big as -7?
False
Suppose -56 = -4*r - 2*f, -3*r + 5*f - f + 53 = 0. Which is bigger: 13 or r?
r
Let w = 14 + 321. Which is greater: 334 or w?
w
Let u be 1/(-3 + 9729/3240). Is u smaller than 356?
False
Let s = 190 - 191. Is -8.3 less than s?
True
Let d = 103679/2796 + -445/12. Which is bigger: -1 or d?
d
Let y = 23213/4 - 25511071/4396. Which is bigger: y or 0?
y
Let b(o) = o**2 + 25*o + 97. Let d be b(-18). Is d != -175/6?
True
Let d be 23/(-3) - (156 + -164). Is d greater than -1?
True
Suppose -r + 5*x = -7 + 21, -2*r + 5*x - 13 = 0. Which is smaller: 7/106 or r?
7/106
Let t = 0.13 + -0.89. Let k = t + 0.55. Which is greater: k or 0?
0
Let r(p) = -7*p**2 + p. Let h be r(0). Do -114 and h have the same value?
False
Let c = 15 - 17. Let i be (c/(-8))/(6/(-24)). Which is smaller: 2/11 or i?
i
Suppose -2*s = -3*y + 64, 18*s = 22*s + y + 128. Suppose 129 = -4*v - 51. Let u = s - v. Is u less than 13?
False
Let y be 47/33 + 14/21. Let m = y - 783/385. Suppose d + 2 = 1. Which is bigger: d or m?
m
Let k = 158 + -171. Which is smaller: 7 or k?
k
Let s(t) = -4*t - 6. Let p be s(-1). Suppose -y - 3 = -0*y. Let a be -2*(y + (-21)/(-6)). Are p and a unequal?
True
Suppose a - 4*h = 19, -3*a - 2*a + 3*h + 27 = 0. Suppose 10*r = 6*r + 16. Suppose -v - r = -a. Is v greater than 3?
False
Let y = -316 - -318. Is y at least as big as 30?
False
Let t(u) = -6*u + 6. Let p be t(-9). Let n be (2/15)/(p/75). Let h be 0/(-2)*(-2)/2. Is n <= h?
False
Suppose 0 = 3*b - 10 - 2. Suppose 4*m + 77 = h + 2*h, b*h = -m - 43. Is -23 at least as big as m?
True
Let x be 14*3*4/8. Let d(m) = 4*m - 8. Let f(w) = -12*w + 23. Let j(y) = 7*d(y) + 2*f(y). Let z be j(8). Which is smaller: x or z?
x
Let z = -8.831 + 0.031. Let c = z - -9. Let g = 0 + 1. Which is greater: c or g?
g
Let u be (-2 + 1)*(4 - 5). Suppose 0 = -8*d + 3*d + 225. Let o be (-3)/2 + (6 - d/10). Is u > o?
True
Suppose 3*m + 9 = 105. Suppose 3*f = -f - m. Let w = 1357 + -1364. Does w = f?
False
Suppose 5*l = -3*j + 50, 3*j - 71 = -2*j + 4*l. Suppose j*q = 3*q + 11*q. Let g = -8 + 6. Which is greater: g or q?
q
Suppose -5*u - 27 = -4*p, 0 = -4*p + u + 25 + 22. Let i be ((-2)/(-12))/(p/39). Do 1 and i have different values?
True
Let y = 30 - 26. Let u = 1052/3 + -349. Which is greater: y or u?
y
Let b be (96/112)/(2 - -1). Which is greater: b or 13?
13
Suppose l - 1 = 2*l. Let y be ((-2)/33*l)/((-14)/126). Which is greater: y or -1?
y
Let s = -8 - -18. Let t = -386 - -385.8. Is t >= s?
False
Let x be (-1 - -2)*(-2 + 1). Let q be ((-18)/(-64))/(21/(-14))*3. Is q greater than x?
True
Suppose -h = 3*y + 2*h - 12, 0 = y + 5*h - 16. Let v be -4 - 0 - -5 - y. Which is bigger: v or -5/11?
v
Suppose 32*u = 45*u + 325. Suppose 43 = -3*l - 29. Is l greater than or equal to u?
True
Let v = 0.66 + -2.66. Let l = -346/5 - -70. Are v and l nonequal?
True
Let f = -154.67 - -154. Let c = 2.23 - f. Let m = 3 - c. Is m < 3?
True
Let a(l) = -28*l - 4. Let z be a(2). Let s be z/36*11/5 + 1. Is s <= 2?
True
Let r(w) = w**2 - 9*w + 1. Let m be r(9). Which is smaller: -16/69 or m?
-16/69
Suppose 0*v = -2*v. Let g = 2412.058 + -2412. Are v and g unequal?
True
Let o = -8/29 - 10/29. Is 0 greater than o?
True
Suppose 0 = 591*f - 588*f - 3. Are -3/152 and f equal?
False
Let y be (-1)/((3 + 28/(-12))/2). Let s = 6 + -4. Suppose -s*o = -3*o. Are o and y nonequal?
True
Suppose -p = -j - 2*p, 5*p = -j - 8. Suppose 0 = -i + 2*l - 34, j*i + l = -l - 38. Let m be 3/i*25 + 3. Is m <= 0?
True
Let f(z) = -7*z + 36. Let l(m) = 2*m - 9. Let k(v) = 2*