*x + t*p - 175, -2*x + 2*p = 8 - 82. Is x < 36?
False
Suppose 3*y + 2*d = -4, -3*y - 4*d = -0*d + 8. Suppose -2*v - v + 624 = 0. Let a be v/(-630) - (-4)/14. Which is smaller: y or a?
a
Let g be (6/3 + -3)/(31/(-9)). Which is bigger: 1 or g?
1
Let o = -141 + 146. Let k = 8/11 + 105/22. Is k <= o?
False
Let f be (11/(-22))/((-1)/2). Let r be f + 1 - (0 - 0). Let l be 5/r - (-9)/(-3). Do l and -9 have different values?
True
Let n(x) = 2*x**3 + 2*x**2 - x + 2. Let v be n(-2). Let d be ((-306)/45)/(4/5) - -6. Is d less than or equal to v?
False
Suppose -101 + 77 = -6*d. Which is bigger: 6/113 or d?
d
Let b(v) = 219*v - 425. Let z be b(2). Let o = 0 - 0. Let s = o + 0.1. Which is bigger: z or s?
z
Suppose 19*a - 2073 = -1655. Is a bigger than 20?
True
Let y = -14807 - -695857/47. Is -1 at least y?
True
Suppose 8 = -s + o, 5*s - o + 3 = -33. Let q be (17/s)/((-6)/18). Is q at least as big as 6?
True
Suppose -g - g = 2. Let v be 60/(-16) - -4 - 62/(-8). Let i be (4/55)/(v/60*-1). Which is smaller: g or i?
g
Let f(u) = u**2 + 14*u - 16. Suppose 3*x + 4 = -38. Let w be f(x). Which is smaller: -12 or w?
w
Suppose -42 = 2*o - 4*o. Let g = -40 + o. Is g < -19?
False
Suppose 3*m - 8*m = 15. Let z = -1.6 + 3.3. Let r = z + -1.8. Which is smaller: r or m?
m
Let j = -134 - -253. Which is bigger: 118 or j?
j
Let d = -214 - -216. Does 10 = d?
False
Let n = -90 + 62. Let b be (n/(-35))/(1/10). Which is smaller: 10 or b?
b
Let q = -1777/627 - -55/19. Is q at least as big as -1?
True
Suppose -53*z + 44 = -42*z. Is z > 45?
False
Let d = 14.9 + -8.6. Let x = d - 7.3. Which is greater: 5/34 or x?
5/34
Let v = 36.3 + -36. Which is smaller: v or -58?
-58
Suppose -4*h + 441 = 89. Let r = h + -57. Is r less than 32?
True
Let c be ((-28088)/88 - 7) + 6/33. Is -326 < c?
False
Let u = -0.06513 + 23.06513. Let g = -37/2 - -19. Is g greater than u?
False
Let b = 3.6 + -6.8. Let j = b - -7.2. Let u be (2*1/(-5))/(-2). Is u >= j?
False
Let d(u) = -2*u**2 - 24*u - 60. Let f be d(-10). Is -56/3 bigger than f?
True
Let w = 7362065/2027 - 3632. Which is smaller: 1 or w?
w
Suppose -3 = -3*f - 4*u - 7, 5*f + 2*u + 2 = 0. Let g(j) = f*j + 8 - 4 - j. Let z be g(4). Which is greater: 2/11 or z?
2/11
Let l = -5 + 24. Suppose 2*f - b = -l, -7*f = -3*f + 5*b + 31. Suppose 2*z - 32 = 5*n, 2*n = 29*z - 34*z - 36. Which is bigger: n or f?
n
Suppose 0 = -5*a + 7 + 3. Suppose a*u - 9 = 7. Suppose 0 = -3*m + u + 1. Is 1 bigger than m?
False
Let z(s) = -s**2 - 12*s - 11. Let y be z(-11). Suppose 3*n + 5 - 38 = y. Which is smaller: 2 or n?
2
Let k be (4 - 0) + (-428)/107. Which is smaller: k or -1/3757?
-1/3757
Let w = 934 + -853. Which is greater: -0.2 or w?
w
Let n(v) = v + 13. Let r be n(-15). Let q be (1 + -2 - -1)*1/r. Is 1/50 less than q?
False
Let n = -5 - -5. Suppose 3*i - 8 = -b, i - 3*b + 1 = -13. Which is smaller: i or n?
n
Let p = -3148/3 - -1041. Which is greater: p or -7?
-7
Let g = -4 + 81. Is 80 > g?
True
Suppose -7*d + 2*d - 44 = 4*y, 0 = 4*d + 3*y + 35. Is -9 equal to d?
False
Let x be (-3 + 210*-4)/(-1). Suppose 3*t - 102 = x. Let o = t + -5987/19. Is 1 bigger than o?
True
Let c(p) = -2*p - 5. Let h be c(-4). Suppose w = -h + 6. Suppose 2*q - l = 4, 35*l - 34*l = 3*q - 9. Is w at most q?
True
Let p = -20/7 - -3127/1092. Is p at most as big as -1?
False
Let t(f) = f**3 - 37*f**2 + 39*f - 107. Let z be t(36). Does 2/289 = z?
False
Let o = -0.4 - -0.3. Let z = 40 - 74. Let l = z + 21. Which is bigger: l or o?
o
Let z = -506 - -505.9. Which is smaller: z or -0.554?
-0.554
Let b be (12/(-15))/(9/(-5)). Are b and 2/7 nonequal?
True
Let b(t) = -t**3 + 6*t**2 - 6*t + 4. Let a be b(5). Let i be (-9)/(-54) - 310/168. Let c = i + 19/12. Is c bigger than a?
True
Let w be (((-1)/3)/(215/15))/(-1). Let b = -95/387 + w. Is b not equal to 0?
True
Let p = -1330 - -1331. Which is smaller: -4/127 or p?
-4/127
Let l = 2218/5 - 444. Let w be 4 + 0 + (2 - 4). Let n be w/(-6)*(-12)/4. Is n at least l?
True
Let p = -3063 - -3064.907. Let z = p - -0.093. Is z >= -0.2?
True
Let x = -44 - -44. Suppose -v = 3*v - 24. Suppose l + 35 = v*l. Which is bigger: l or x?
l
Let w be (12/(-16))/(3/36). Which is greater: 8 or w?
8
Suppose 3 = -6*q + 7*q. Let j(i) = -2*i + 4. Let l be j(q). Let g be (((-640)/24)/(-10))/(10/(-6)). Do g and l have different values?
True
Let j = -14/6833 - 2329213/409980. Let l = j + 28/5. Let o = 10 + -10. Is l greater than or equal to o?
False
Suppose y + 4 - 3 = 0. Let s be (-402)/(-462) - y/(-7). Which is smaller: 2 or s?
s
Suppose -3*y + 4*w = -15, -y - 8 = -2*w + 5*w. Let h be ((-436)/(-9483))/((-1)/(-3)). Is y not equal to h?
True
Suppose -110 + 11 = -9*z. Suppose -5*n = 4*g - z, 4*n - 4*g + 28 = 8. Let w = 3101/16 - 194. Is w bigger than n?
True
Let z(p) = -p**3 + 9*p**2 - 15*p. Let f be z(8). Let h = -55 - f. Do 0.09 and h have the same value?
False
Let g = 84.18 + -84.3. Which is smaller: -3 or g?
-3
Let u = -227 - -226.938. Let m = 17.9 + -18. Is m <= u?
True
Let i be 1/(4/5)*-4. Suppose z + w = -0*w - 7, 0 = 4*z - w + 53. Let x be (i - z)/(2*3). Which is greater: x or 0?
x
Let k = 971/21 - 418/21. Let i = -26 + k. Do 1 and i have different values?
True
Let v = -13 + 4. Suppose 5*r = 2*p - 27, -3*r + 2*r + 3 = p. Let t be ((-2)/p)/((-7)/(2 + 5)). Which is greater: t or v?
t
Let u(m) = -m**3 - m**2 - 3*m + m**2 - 419 + 410. Let g be u(-2). Is g bigger than -2?
True
Let m = 1/31 - 364/12245. Is 0 less than or equal to m?
True
Let w = 2230/19 + -352/3. Let p = 483 + -482. Is w at least p?
False
Let w = -2.27 - -101.27. Which is bigger: 1 or w?
w
Suppose -5239 = -26*k - 403. Is 189 <= k?
False
Let x = -384 - -384.25. Which is smaller: -10 or x?
-10
Suppose -5*j - 25 = y, 2*y + 1 = -j - 4. Let v be (-2)/4*y - 6. Suppose 3*g + 5*i = -19, -4*g + 0*g - 14 = i. Is g at most as big as v?
False
Let k = 63 - 27. Let c = k - 41. Is -4 >= c?
True
Let a be (8 + -2)/((-171)/6). Let h be 0/((-6)/(-1)) + -1. Is h > a?
False
Let v = -37 - -35. Let m = 0.9 + v. Let a = -2.9 - -3. Which is smaller: m or a?
m
Let x = 183/5 + -219/5. Let w = 382 - 390. Which is greater: x or w?
x
Let n(q) = -q**2 - 13*q + 25. Let a be n(-11). Let d = -1083/23 + a. Is 0.2 greater than d?
True
Let p = 943 - 1065. Which is smaller: 0.4 or p?
p
Let k(m) = -m**2 + 6*m - 28. Let o be k(6). Let h = 25 + o. Let a = 1.8 + -2. Are h and a equal?
False
Suppose 4*w + 6 = 2*l, 3*w + 15 = -5*l - 2*w. Is l at most as big as -35/17?
False
Let h = 3200/132641 - -2/1679. Suppose 0 = 2*u - 5*d + 9 + 6, 5*u + d = 30. Let o be 4*-1 + 15/u. Which is smaller: h or o?
o
Suppose -s - 2*s = 39. Is -9 at least s?
True
Let p = 123 + -131. Let v = -8.84 + -0.16. Let g = p - v. Which is smaller: -0.09 or g?
-0.09
Let i be (3/(-6))/(19/532). Is -4 less than or equal to i?
False
Let a(u) = -u - 1. Let b be a(0). Which is smaller: 2/81 or b?
b
Let q = 193649573/119 - 1627285. Let p = q + -158/7. Which is smaller: 0 or p?
p
Let t be ((-2)/(-3))/(2/6). Suppose 4*s - 14 = -2*p - 0*s, -5*p = -3*s + 30. Let h be (0 + (1 - (-13)/p))*-1. Which is bigger: t or h?
h
Let y be (-50)/3*96/(-80). Let x = 31 + -10. Is x greater than y?
True
Let z be (-12)/(3/12*6). Let q be 5/(-15) + z/(-6). Suppose s + 5 = -2*v, 2*v = 6*v - 5*s - 11. Is v bigger than q?
False
Let s(u) = -11*u - 245. Let g be s(-18). Is g > -48?
True
Let k = -889 + 893. Are 48/19 and k nonequal?
True
Let p(m) = -6*m + 99. Let d be p(16). Is d at least 51?
False
Let m(u) = 26*u**2 + 23*u**2 - 50*u**2 - 4*u. Let k be m(-4). Is k smaller than -1/27?
False
Let g = -20 + 21. Let v be -2*g/(-27)*3. Is v at least 0?
True
Let b = 1.24 - 1.3. Let s = -3.25 + 5.25. Is b != s?
True
Suppose v = 4*f - 1187, -v = -3*f - 51 + 940. Is 296 not equal to f?
True
Let g = 0.249 + 0.051. Let v = g - 0.1. Which is bigger: 2/21 or v?
v
Let a be (-3)/2 - (-2 - 0). Let h be (7 - -1)*3/6. Let b be (10/4)/((-2)/h). Which is greater: b or a?
a
Suppose 0 = -6*x + 16*x + 10. Let g be (9/6 + x)*6/(-9). Which is smaller: -7 or g?
-7
Let k = 1.129 + 34.221. Let c = 35 - k. Is c at least as big as 1?
False
Let y = 11 - 9. Let c be y*1/6*18. Suppose c*q + 30 = -0. Is -5 less than q?
False
Let n(a) = 2*a**3 + 8*a**2 - 5*a - 3. Let d be n(-6). Let w = d - -11. Is w at least as big as 1/3?
False
Suppose 3 = i, 4*g + i + 12 = 5*i