1. Let d be (w + -4)/((-2)/(-3)). Which is smaller: d or o?
d
Let o = -20038 - -20020. Which is smaller: o or 575?
o
Let t = 1268.59 + -49.59. Which is bigger: -2/5 or t?
t
Let d be -1*(-18)/(-441)*60/126. Is 0 at least d?
True
Let u = 204404041/11448 + -17855. Is u < 1?
True
Let a be (0 + 4)*(-3)/(-12). Let i be 422/(-4) - a - 2/(-4). Which is smaller: 0 or i?
i
Let v = 19217 + -19091. Are 1/102 and v equal?
False
Suppose n - w + 3*w + 31 = 0, -44 = 2*n - 2*w. Let x be 7/(-2)*5096/686. Is x less than n?
True
Suppose -z = -2*m - 2746, 0 = -26*z + 31*z + 20. Which is smaller: m or -1376?
-1376
Let c(w) = -3*w**2 - 106*w + 671. Let u be c(12). Which is smaller: u or -1027?
u
Let d = 43156 - 8948. Let i be 4/(-26) - d/(-624). Is i at most 55?
True
Let l be (359/(-12565))/((-2166)/7). Which is bigger: l or 1?
1
Let y = 1009/8 - 779963/6184. Which is greater: 0 or y?
0
Let l = 345.8 + 1574.2. Which is smaller: l or 1/2?
1/2
Let s(l) = -3*l**3 + 19*l**2 - 43*l - 27. Let z be s(10). Is z > -1559?
True
Let n be (-5)/(-3)*((-936)/45 - -21). Is 1851 at least n?
True
Let r be (2/9)/(14/126). Suppose 5*b - 2*z = -r + 3, 5*b - 15 = -5*z. Let a be (b + (-2 - 1))*-7. Is 14 > a?
False
Let k be (-5)/6 - ((-22985)/150 - (-46)/115). Which is smaller: k or 161?
k
Let y = 1459/3136 + -35/64. Is y less than or equal to 1.4?
True
Let g = -104491.2 - -1741.2. Let x = g - -102707.019. Let s = x - -43. Are s and -1/2 non-equal?
True
Suppose 18*c - 1786 = c - 2*c. Which is smaller: -102 or c?
-102
Let q(y) be the third derivative of 23*y**5/60 - y**4/12 + y**3/3 + 18*y**2. Let h be q(1). Let j be -2 - 2 - (2 - 30). Which is smaller: h or j?
h
Let i = -90496/65 + 1392. Suppose -5*y = 24*y - 0*y. Which is smaller: i or y?
i
Suppose 14*k - 3409 - 3451 = 0. Let q be (12/k)/((-616)/80 + 8). Which is smaller: 0 or q?
0
Let i(g) = -g**3 - 3*g**2 - 2*g + 2. Let q be i(-2). Let s = 17 + q. Suppose 4*t + 6*x - 16 = 2*x, t + 4*x - s = 0. Which is bigger: -1/65 or t?
-1/65
Let v be (28 - -4) + (-872118)/27261. Let y = 1 + 0. Do y and v have the same value?
False
Let l be 3/(-6) - 138/4. Suppose -4*q = 3*j + 127, -53 = j + 6*q - 10*q. Let z = j - l. Which is greater: z or -12?
z
Let y = 13039 + -13081.01. Is -2 < y?
False
Let a = 328 + -331. Let j be ((-1)/a)/(63/12285). Is 67 less than or equal to j?
False
Let v be ((-2198)/(-3234)*150)/(44/18). Let g = 292/7 - v. Which is smaller: g or -1?
-1
Suppose 4*i - 36 = 3*r, 3*r = 2 - 14. Which is smaller: -13/11 or i?
-13/11
Let a = 59 - 176. Which is smaller: -119 or a?
-119
Let x(v) = -5*v**2 + 8*v - 2. Let t be x(2). Let o be (-6)/108*t*0. Which is bigger: 2/1313 or o?
2/1313
Suppose -2*s = -2*n - 2, -35*s + 39*s + 4*n = -12. Let u be 19137/(-38) + 2/(-4). Let p = -504 - u. Which is greater: p or s?
p
Let q be (-198)/4 + 8 + (-136)/16. Is -55 > q?
False
Let k = -0.17 + -89.83. Let v = k + 89. Which is smaller: v or -94?
-94
Let j be (-2)/(-23) - -1 - 1. Let b(u) = 2*u - 20. Let h be 340/(-119)*(-2 + (-6)/4). Let m be b(h). Which is smaller: j or m?
m
Let o(h) = -6*h - 52. Let c be o(-14). Suppose 19*k + c = -6. Is k less than -54?
False
Let i be (-4 + 84/20)*25. Suppose -2*y = -r + 3*r + 6, 3*r - i*y = 31. Let d be ((-14)/2485)/(r/10). Which is bigger: -1 or d?
d
Let l = 3018 - 3364. Which is greater: -342 or l?
-342
Let j = 59.48 - 59. Let t = j - -0.32. Let u = -0.6 + t. Do -9 and u have different values?
True
Let w = 5.239 - 4.369. Which is smaller: -2/7 or w?
-2/7
Let w(x) = -830*x**2 + 115*x - 61. Let g be w(-4). Are g and -13800 nonequal?
True
Suppose 0 = 4*i + 2*o - 16, -3*i - 3*o + o = -13. Suppose i*k = -8*k + 20*k. Which is greater: k or 50?
50
Let g = -0.02 + -0.16. Let t = g - 0.02. Let y = -239/17 - -14. Is t != y?
True
Suppose -2*d - 407 = -363. Let y be 0 - ((-4)/d)/(3 - 5). Which is bigger: y or 12?
12
Let v be (-25795)/(-175) - (-1 - (-7)/5). Let j be 6/v*285/(-3) + 4. Is j greater than or equal to 1?
False
Suppose 186 = -d + 74. Which is greater: -102 or d?
-102
Let s be (-1)/(((-4)/84)/(86/(-6))). Let h = s - -204. Which is bigger: h or -96?
-96
Let h = 0.41 + 49.59. Let c = -947 + 896.92. Let t = c + h. Is t smaller than -0.2?
False
Let b = 22143 - 66433/3. Is 0.112 greater than or equal to b?
True
Let n be (-2)/((-2)/(-1)*1). Let c = 76 + -21. Let h be (-3)/(-5) + (-48)/c + 0. Is n smaller than h?
True
Let k be 536/3 + (-14)/21. Let w = 178 - k. Which is bigger: w or -2/3?
w
Let v = -137828/124029 - -2/13781. Which is smaller: v or -1?
v
Suppose -164 - 537 - 97 = -19*j. Is 150 > j?
True
Let r = 51.96 - 51.88. Let z = -7 + 6.7. Which is greater: r or z?
r
Let a be 4/(-18) - 1398*(-72)/243. Suppose 342 = 4*v + a. Does v = -2/7?
False
Suppose 3259 = -33*w + 54609 + 169090. Is w less than 6679?
False
Let f be 2652/(-2280) - 10/(-4). Let x = 14/19 - f. Suppose -7*w + 3*w - 8 = 0. Is x equal to w?
False
Let x(w) = w**2 - 10*w + 16. Let f be x(8). Let u = 681910/151 + -4516. Is u less than or equal to f?
True
Let a be (-492)/330 + 0 - (-4)/10. Let l = 21 - 22. Is l equal to a?
False
Suppose -s = 6*s + 168. Let x be (1 - 1126/60) + 28 + s. Let b = x - -79/6. Which is greater: b or 7?
7
Let s(t) = -t**3 - 7*t**2 + 17*t + 34. Let v be s(-8). Is -71 at least as big as v?
False
Let p = 4777 + -4776.5. Is -125.9 at most p?
True
Let n be 3 + 6/4*2. Let h be -5 + 9 + 2082/(-525). Let r = h + 2432/525. Which is bigger: n or r?
n
Let g be 20*4/16*(-64)/2092640. Which is bigger: 0 or g?
0
Let y = -13 - 19. Let o(v) = 4*v**2 - 89*v + 426. Let s be o(8). Is s < y?
False
Let i be (-6303272)/(-273) - (-1)/(-3)*-1. Let b = i - 23089. Let t = b + 8/13. Which is smaller: 1 or t?
t
Let p(c) = 5*c + 9. Let l(g) = 3*g + 5. Let b(q) = -7*l(q) + 4*p(q). Suppose 0 = -7*h + 2*h + 15. Let u be b(h). Is -1 less than or equal to u?
False
Suppose -5*k - 5*x = -0 - 15, 4*k = 5*x + 3. Suppose 11*i + 4*t = 12*i + 118, -k*t = 2*i + 206. Which is smaller: i or 0.1?
i
Let n = -0.0527 - 348.9473. Let w = n - -235. Do -0.1 and w have the same value?
False
Suppose -g - 4*g = -35. Suppose 2*w + 3*u - 87 = 0, w - 2*w = u - 41. Suppose r - 4*a = 11 - 2, 4*r + 4*a = w. Which is smaller: r or g?
g
Let g be (6 + -6)/((-8)/(-3 + -5)). Which is greater: -1/1016 or g?
g
Let w be (-96)/(-9) + 2/(-3). Let s be ((-27)/126)/(1/w). Suppose 4*z + i = -4, -4 = 4*z - 0*i - 2*i. Do s and z have different values?
True
Let h be ((-43)/86)/((-8695)/1450 + 6) - 12. Suppose -5*b = 2*z + 338, -5*z - 316 = -2*b + 471. Which is greater: z or h?
h
Suppose 0 = -4*v - 5*o - 3 - 6, -o + 3 = 0. Suppose -4*h = 4*m + 3 - 31, -h + 25 = 4*m. Let y = -10 + m. Which is bigger: v or y?
y
Suppose 526 = 5*v - 4*c, -25*v + 22*v = 3*c - 321. Are v and 107 nonequal?
True
Suppose 51 = -2*j - j. Let r = 459 + -432. Suppose 32*x - 4*l = r*x - 79, l - 61 = 4*x. Which is smaller: j or x?
j
Let y = 18393 + -14512. Is y greater than 2?
True
Suppose 0 = 5*g - 2 - 8. Let b be 70/(-2) + g + 0. Let d = -53914 + 53882. Which is greater: d or b?
d
Let v be 14*(-6)/198 + 2*(-1)/(-22). Which is smaller: v or -0.06152?
v
Let y be ((-4)/2 + 244)/(19/(-323)). Let d = 28908/7 + y. Are d and 15 unequal?
True
Let k(c) = -2*c**2 + 50*c + 19. Let z be k(22). Let f be (-35)/(-21)*2235/25. Is f < z?
True
Let s = -4.379 - -2.379. Is s at least -1399.2?
True
Suppose -61*c - 5952 = -208*c + 26388. Is -19 at most c?
True
Let c be (-153)/(-5)*(-544)/408. Is -40 less than c?
False
Suppose 2*p - 3*j + 19 = 0, -2*p = 5*j - 5 - 0. Let x be ((-1138)/285 + 4)/(-1). Let h = -239/57 + x. Is h >= p?
True
Let y = -1455.4 - -1456. Which is bigger: 4.36 or y?
4.36
Let y = -19965 + 38772031/1942. Do y and 1 have the same value?
False
Let u be (-2)/18338*(259 - -34). Let a = u - 1/173. Which is greater: -2/7 or a?
a
Let j be (-1)/(-3) + -1 + 40/6. Suppose j*o + 113 = 785. Let w = o + -63. Is -1 bigger than w?
False
Let c be 3/3 + (12/4 - 4). Let d = 1 + 7. Suppose q - 3*t - 3 - 3 = 0, d = 4*q + 4*t. Is q != c?
True
Let d = -9.96051 - 0.03949. Which is bigger: d or 0.255?
0.255
Let f be (-40)/(-100) - (-33)/5. Let w be (-9 + f)/(-1308 - (-2 + 3)). Is 1 not equal to w?
True
Let a be 3/(-30) + (-121)/(-10). Suppose 8*u - 4*f = a*u + 8, 3*u - 2 = f. Are u and 2/19 equal?
False
Let m = -69 + 47. Let q = m - -50. Let t be q/(-7) - (-46)/11. Are 