u or y?
y
Let g = -3566 + 3539. Are g and 65 nonequal?
True
Let k be -1*(4/(-7))/2. Let i = -175 - -183.8. Let x = -8.71 + i. Is k > x?
True
Let q(m) = 247*m + 14527. Let c be q(-59). Let i = -107 + 237. Suppose 3*z + 4*s = -i, -s = -2*z - 31 - 63. Is c less than z?
False
Let u = 3570/23 + -9878167/63641. Are 1 and u equal?
False
Let u be 16/(-9*12/(-27)). Let g = 13 - 6. Let v(s) = -s + 6. Let o be v(g). Which is greater: u or o?
u
Let a be (-4 - (-3 - 1))/(-2). Suppose -3*v + a*v = -4*f - 12, 3*v + 3*f + 9 = 0. Let s(w) = w**2 - 1. Let x be s(v). Which is greater: -1/5 or x?
-1/5
Suppose 0 = 26*n - 28*n - 8*y + 6992, 2*n = 2*y + 7022. Which is greater: 3506 or n?
n
Let b(w) = 7*w - 6. Let f(i) = -4*i + 3. Let a(s) = 3*b(s) + 5*f(s). Let t be a(0). Suppose -2*o = -z + 15, 4*z + 3 - 13 = -2*o. Which is smaller: o or t?
o
Suppose -5*f - 3*r + 79 + 51 = 0, -2*r + 135 = 5*f. Suppose f*n = 33*n - 612. Which is smaller: 154 or n?
n
Suppose 45 = 14*y - 11*y. Let m be 5/y + 86/102. Is m greater than -1?
True
Suppose 4*p + p = -f + 7, -5*f = p - 59. Let q be (30/f)/(1/60). Is 150 less than q?
False
Let w = 2/749 - 8247/2996. Suppose 33 = 3*y + 84. Let n = y - -14. Is n equal to w?
False
Suppose 132*k = -30189 + 4977. Which is smaller: -194 or k?
-194
Let h be ((-1446)/25)/(0 - 16/660). Let y = h - 2388. Suppose 2 = 5*g - 3, -5*g = -5*x - 20. Do x and y have the same value?
False
Let n be ((270/70100)/(-27))/((-1)/8). Which is greater: -1 or n?
n
Suppose -4*d + 8*d + 5 = -47. Which is bigger: d or -165/14?
-165/14
Let f be 30/(-28) + (-2)/(-4). Let g = 270 - 152. Let m = -119 + g. Which is smaller: f or m?
m
Let m = -1879 - -1894. Let p be (6/21)/((-3)/(-42)). Which is greater: p or m?
m
Suppose -40*c = -11829 + 1189. Which is smaller: 270 or c?
c
Let h(i) = 3*i**2 - 32*i + 252. Let g be h(15). Is 447 at most as big as g?
True
Suppose -61*s = -62*s + 1470. Suppose 29*a - s = 22*a. Is a at most 210?
True
Suppose 145 = -10*g + 11*g + b, -20 = 5*b. Suppose 5*q - 14*t + 17*t = g, 2*q - 50 = 2*t. Is q at most 34?
True
Suppose -174 = g - 3*g. Suppose -5*b - 3*l + 188 + 223 = 0, 0 = -b - 3*l + g. Let q = b - 74. Is 7 less than or equal to q?
True
Suppose -4*d + 3*t = -85 - 240, -5*d + t + 409 = 0. Suppose 29*s = d + 5. Which is smaller: s or 4?
s
Suppose 2413*d = 2424*d - 11. Let v(i) = -65*i**2 - 2*i + 1. Let s be v(1). Let b be (-3 + s/(-15))/2. Do d and b have different values?
True
Let w = 10.98 - -0.02. Let t = -2071 + 2070.9. Which is smaller: w or t?
t
Suppose -5*w + 2*n - 194 - 140 = 0, 5*w - n + 332 = 0. Let q = 20 + 34. Let j be w/q + 3/((-54)/(-4)). Which is smaller: 2/11 or j?
j
Suppose 5*m + 210 = -420. Suppose z - 3*q + 156 = 0, -q + 640 = 13*z - 18*z. Is m <= z?
True
Let r = 14 - 12. Suppose r*o + k - 2 - 2 = 0, -2*o - 8 = 4*k. Suppose 0 = n - 3, -3*d + o*d = 2*n + 47. Is 53 less than or equal to d?
True
Suppose 3*j - n + 3 = 2*n, 4*n - 4 = -2*j. Suppose -4*x = -6*x + 4. Let b be 4 - (-147)/(-75)*x. Which is bigger: b or j?
b
Let n = 0.152 - 0.352. Let s = 0.302 - 0.196. Which is bigger: n or s?
s
Let c(t) = -2*t**2 - 75*t - 94. Let w be c(-36). Suppose -9*b + 8*b + x = w, -3*b - x = 58. Which is bigger: b or -135/7?
b
Let c = 0.113 + -0.163. Let p = c - -0.25. Is p at most -40?
False
Let y = -4467/17908 - 5/8954. Which is smaller: 2/11289 or y?
y
Let m be (1 - 0)*(-2)/2. Let p = 341 + -340. Let b be (p + 0)*(-9 - -5). Is m >= b?
True
Let m = 55054 + -55053. Let l be (-3)/1435*(-2)/(-3). Is m <= l?
False
Let m be 3/6*803*-2. Let o be (-1589725)/(-2000) + 3/(-48). Let j = m + o. Which is smaller: j or -7?
j
Suppose 2156 = 11*r + 561. Let u = 145 - r. Is -5/4 at most u?
True
Let d = -4 - -3. Let f be 0 - (13 + -1 + d). Let y = 12306 + -12314. Is y < f?
False
Let a = -4776 - -38207/8. Is -4/57 less than a?
False
Let o be 120*((-24)/9)/(-4). Let d = 94 - o. Let f be (-4)/d + (-15)/21. Which is bigger: 2/199 or f?
2/199
Let h = -4909.57 - -4779. Let m = h - -130. Let y = m + 0.42. Which is smaller: y or 2?
y
Let y = 709 + -583. Let w be 2/y*24*-39. Is w >= -16?
True
Let z be (-1)/4 - 14/8. Let r = -634929/23 - -27605. Which is greater: z or r?
r
Let a(g) = -2*g + 35. Let d be a(16). Let f be 3/(d/2) + 2/3. Let l be -2 + -4*4/(-6). Is f <= l?
False
Let w = 54 - 84. Let c(n) = -n**3 - 5*n**2 - 4*n - 16. Let t be c(-5). Suppose 5*x = -u - 15, 0 = -0*u - u + t*x - 42. Is w less than or equal to u?
True
Let m = 0.2072 - -54.2928. Which is smaller: -3 or m?
-3
Suppose d + d = -4, 2*m = 5*d - 18. Let s = m + -57. Which is greater: -0.1 or s?
-0.1
Let c = 9/33685211 - -6935987311/11850288803745. Let j = c - -1/705. Is j > 0?
True
Suppose 4*f - 202 + 59 = 5*s, -5*s = 5*f - 190. Suppose -32*w = -f*w. Let c = -8.6 - -4.4. Are w and c unequal?
True
Let z be 1/(14/(-4)) - (-496)/9331. Let t = z + 617/989. Which is bigger: 1 or t?
1
Let h = -154543 + 154604.989. Let v = h + -62. Let q = -5.989 + v. Is q bigger than 0?
False
Let h be 12/18*(13/2 - -1). Suppose 0 = -2*v + 3*m + 894 + 326, -m + 3033 = h*v. Is 607 bigger than v?
False
Let h = -3189 + 35080/11. Which is greater: -0.3 or h?
h
Let m be (2 - 2)/(7/7). Suppose 24*g - 16*g = m. Let x be g - -2 - 15/(-15). Which is bigger: x or 2?
x
Suppose -34 + 13 = 3*l - 3*g, 11 = -5*l - g. Let f be (1706/30)/(l/(-5)). Let r = f + -95. Which is bigger: -14 or r?
r
Let t = -44/3 + 7439/507. Is t bigger than -1/4?
True
Let o = -4.4 - -54.4. Let d = 167.3 - 153. Let p = d + -14.2. Which is greater: p or o?
o
Let h(m) = -m + 9. Let g be h(7). Let i = 1263.89 - 1264. Is g < i?
False
Let h(l) = -l**3 + 7*l**2 + 16*l + 40. Let x be h(9). Which is smaller: 64/3 or x?
64/3
Let w = 2965 + -11987/4. Let v = w + 33. Is v > 6?
False
Let x = 2421 + -2774. Which is bigger: -357 or x?
x
Let o(z) = -10*z**3 + 25*z**2 + 116*z - 38. Let w(r) = -7*r**3 + 16*r**2 + 77*r - 25. Let c(i) = 5*o(i) - 7*w(i). Let u be c(16). Is -128 > u?
False
Let r = -56 + 52. Let z be 318892/238*(-1)/r. Let q = z - 335. Is 0 at most as big as q?
False
Suppose -136*g + 21*g + 1573 - 308 = 0. Which is greater: 306/31 or g?
g
Let a be 15/25 - 20492/120. Let r = 170 + a. Which is smaller: r or 6?
r
Suppose 0 = 31*g + 10*g - 78 - 701. Is 1 smaller than g?
True
Let f = -0.84 - -0.99. Let d = -0.121 + f. Which is smaller: d or 2?
d
Let t(k) = k**3 + 4*k**2 - 489*k - 50. Let w be t(-25). Which is greater: -956 or w?
w
Let b be (3/(-12)*-28)/7. Let d be (b + 415/(-435))*(-6)/68. Is d at least 0?
False
Let u be (-94)/(-611) - (269/(-26) + 0). Suppose 52 = 4*b - 4*m, -b - m - m + 7 = 0. Which is smaller: b or u?
u
Suppose -3*x + 10 = z - 13, 3*z = x + 29. Let r = 211 + -360. Let i = -139 - r. Which is smaller: z or i?
i
Let m = 0 + -4. Let a = m + -4. Let i = 97439 - 97438. Which is smaller: a or i?
a
Let n be (-1413)/4140 + (-3)/60. Let p be 7/(-14) - (-1)/2. Let c(h) = h**3 - h + 1. Let o be c(p). Is o smaller than n?
False
Let q = 19 + -10. Let j be 4/(-144)*(-747)/6. Let z = 97/8 - j. Is q at most as big as z?
False
Let n be (0 - -9)/((-9)/(-6)). Let c = -2515 - -2520. Which is bigger: n or c?
n
Suppose -15*f + 182 + 6 = 23. Which is greater: f or 356/31?
356/31
Suppose 2*t + 0 - 8 = 0. Let p be 5/t*6*20/(-465). Which is bigger: p or -1?
p
Let q(g) = -g**3 + 103*g**2 + 846*g - 1. Let z be q(-8). Which is smaller: z or 336?
z
Let u be -1 - ((-36)/21 + -3). Suppose 0 = -w - w - 4*g + 136, w + g = 64. Let q be (w/105)/(12/(-14) + 1). Does u = q?
False
Let o be (-19*(-21)/798)/((-2)/(-4))*185. Which is bigger: 2 or o?
o
Let s = -2 + 1.993. Let d be ((-6)/(-2) - 5)/(-1). Which is greater: s or d?
d
Suppose 26*c + 30 = 28*c + 10*b, -4*c + 5*b + 60 = 0. Let l(t) = t**2 - 8*t + 5. Let h be l(6). Let d = h + 20. Which is greater: d or c?
c
Let h = -8.14 + 8.66. Is h less than -2/9?
False
Let w(z) = -4*z**2 - 30*z - 212. Let d be w(-8). Is d > -229?
True
Let m(p) = -5*p**2 - 149*p + 9. Let x be m(-28). Let n = 3404/13 - x. Which is smaller: n or 2?
n
Let m be (-13)/(39/(-90)) - -3. Let j = 45 - m. Let i be (2/6)/((-8)/j). Is -1/2 less than i?
False
Let x = 3541 - 3541.4. Is 0.0287 greater than x?
True
Let l = 3840.8183 - 0.8183. Which is smaller: 1/2 or l?
1/2
Suppose -5*p = 5*y - 3*y - 909, 2*p = 4*y + 354. Let x = p + -171. Is x <= 32/3?
True
Let s = 69 + -19. Let l = 35 