1). Suppose 2*a + v = 4. Is a bigger than 14?
False
Suppose -3*w + 4 = -5. Suppose 2*j - 7*j = 0. Suppose j = w*y - y. Is -2/11 less than or equal to y?
True
Let l = -6.8 + 13.7. Let v = l + -4.9. Which is greater: 0.4 or v?
v
Let n = 1.4 + -1.1. Let o = 0.22 - n. Let l = 1.02 - o. Is l > 0.1?
True
Let s = 0.01 - 1.01. Let h = -0.65 + 1.65. Which is bigger: h or s?
h
Let o be (-7)/(-7)*(-7 - 246). Which is bigger: -251 or o?
-251
Let d be 2/(-4) - (-50)/48. Let u = 15/8 - d. Let m = 225 - 225.1. Are m and u equal?
False
Let h be (-6)/33 - (-33)/(-484). Is h less than -16/53?
False
Let p(o) = 5*o + 28. Let d be p(11). Let f = d + -82. Which is smaller: -1/25 or f?
-1/25
Let o = 292.8 + -195.8. Is 0.9 bigger than o?
False
Let v = -260 + 293. Are 35 and v equal?
False
Let j be (19/14)/((-3)/(-90)). Let m = 41 - j. Suppose a + 7 - 3 = y, 4*y = -a - 9. Are y and m equal?
False
Suppose 2*k = -0*k + 4. Let h be (0/(-1))/(-3 + 10/k). Which is bigger: 2/59 or h?
2/59
Suppose -2*y + 4*y = 14. Let b be 110/38 - 2/(-19). Suppose -4*z + 1 - 29 = -a, -b*a - 2*z + 14 = 0. Is y greater than a?
False
Let d(p) = -p**3 + 21*p**2 - 25*p + 23. Let y be d(20). Is y smaller than -77?
False
Let k = -68/141 + 6983/14382. Which is smaller: -1 or k?
-1
Let t = -1.532 + 6.242. Is 0 at most as big as t?
True
Let a = -127 + 190. Let x = -45 + a. Are 17 and x equal?
False
Suppose 0*l = -5*f - 2*l + 6, 4 = -2*f - 4*l. Suppose 5*q - f = 3. Let d = 1/9 + 2/9. Which is smaller: q or d?
d
Let g = -251 + 253. Is g at most as big as 0.052?
False
Let d = 954 - 932. Which is smaller: 23 or d?
d
Let q = -561 + 574. Which is bigger: 1/3 or q?
q
Let s(n) = n**3 + 4*n**2 - 4*n + 3. Let m be s(-5). Let p(j) = -j - 6. Let v be p(-2). Let d be -8 - (v + 1 - 2). Which is bigger: m or d?
m
Let j = -5419967/167 + 32455. Which is bigger: 1 or j?
1
Let w = 72 + -1007/14. Suppose 0 = 3*d - 18. Let a = d - 6. Is a equal to w?
False
Let b = -39 + 74. Let o = -2/20779 + -3615536/103895. Let a = b + o. Is a != 1?
True
Let p = 2833/6110 - 1/470. Let c = 1 - 2. Let m = 0 + c. Do m and p have different values?
True
Suppose -4*t - 4*k + 6*k + 4 = 0, -3*t + 3 = 5*k. Do t and -2/451 have different values?
True
Suppose 12*r + 177 = 33. Which is smaller: r or -15?
-15
Suppose 4*m = -2*g + 430, 3*m - 5*m = -4*g - 190. Suppose -12*f = -17*f + m. Are 0.2 and f non-equal?
True
Let h = 52 + -50. Suppose x - 5*o + 22 = -h, -5*o + 66 = -4*x. Which is smaller: 0 or x?
x
Let p be ((-1178)/171 - -8)*48/5. Is p at least as big as 11?
False
Let l = 269.7 + -281. Are l and -2/5 non-equal?
True
Suppose 96 = -4*i - 3*u + 526, 0 = -3*i + u + 316. Is i at least as big as 108?
False
Let n = -1337/2397 - -4/141. Which is smaller: -1 or n?
-1
Let i = -50/31 + 1093/620. Let f = 1/60 + i. Let s be 1/(1 + 14/(-4)). Which is smaller: s or f?
s
Let p = -0.65 - 28.35. Let s = -29.6 - p. Which is greater: 1 or s?
1
Let n = -233209/1810 + 1289/10. Which is smaller: n or 0?
0
Let u(c) = -c - 2641586. Let l be u(0). Let y = l + 97721442/37. Let k = y - -466. Which is bigger: 0 or k?
k
Let r(y) = -y**3 + 6*y**2 - 13*y + 6. Let c be r(5). Which is smaller: -69/2 or c?
-69/2
Let x be (-6 + (-3 - -9))/(-2). Which is greater: x or 7/15?
7/15
Let p(g) = 2*g + 35. Let k be p(-9). Which is greater: 5 or k?
k
Let z = -37 - -52. Suppose z - 3 = 3*c. Suppose -2*l = c*h + 10, 3*h + 5 = 3*l - 5*l. Which is smaller: 6 or l?
l
Suppose 5*j - 717 = 2*j. Suppose 4*h + 3*q = -j, 2*h + 87 = 6*q - q. Which is bigger: h or -55?
-55
Let z = -0.1 - 0. Let i = -4.763 - -4.6. Let r = i + -0.037. Which is smaller: r or z?
r
Let l = 4 + -6. Suppose 0 = b + 8 + 22. Let o = b - -21. Is l smaller than o?
False
Suppose -86 = -2*w - 88. Which is smaller: w or -15/32?
w
Suppose f - 2*b - 8 - 15 = 0, -f + b = -18. Which is smaller: f or 23?
f
Let s be 3/(-6)*20/5. Let h = 240 - 241. Are h and s equal?
False
Suppose 2*v - 3 = 2*y - 9, 0 = -2*y + 3*v + 9. Suppose 2*a = -4*w - 84, -w + 4*w - 2*a + 63 = y. Let c be (-6)/w - 92/28. Which is smaller: -1 or c?
c
Let o be (-404)/36 - (2 - 1). Is o <= -11?
True
Let q = 0.21 + 2.39. Let t = q + -24.6. Let b = -36 - t. Is b less than or equal to 0.2?
True
Let m be 1 + (14 - (-3 - -7)). Suppose -105 = -6*i + m*i. Which is bigger: i or -20?
-20
Let l = 16 - -31. Suppose 5*f = 2*x + 154 + 75, 0 = -5*f - 2*x + 241. Are f and l nonequal?
False
Let j = 0.153 - 47.153. Which is greater: 2 or j?
2
Let h(q) be the second derivative of -q**4/12 - 7*q**3/6 - 3*q**2 + 3*q. Let y be h(-6). Let n = 1.46 + 0.54. Does n = y?
False
Let o be 2/(-10) + 12/(-15). Let v be (o - -3) + (-12)/(-1). Let k = v - 12. Is 3 > k?
True
Let d = -0.012 + -0.041. Let j = -709 - -709. Is j < d?
False
Let a = 130 + -130.044. Let m = 12.956 - a. Let d = -0.3 + 0.2. Which is greater: m or d?
m
Let m(n) = -n**3 + 16*n**2 - 31*n + 28. Let s be m(14). Which is smaller: -0.2 or s?
s
Let x = -1208 - -1202. Which is bigger: -40 or x?
x
Let r = 9228/17 - 543. Which is greater: r or 0?
0
Suppose 3*n = -5*y + 41 - 166, 2*y = -n - 43. Let p be 142/7 + 10/n. Suppose -25 = -2*t + 3*b, -3*t + 2*b = b - p. Which is greater: t or 4?
t
Let v = 339 + -338. Are v and -1/86 nonequal?
True
Suppose 23*f + 20 = 18*f. Let a = 4 + -1. Which is greater: a or f?
a
Let x = -333.82 - -336. Is -1/4 at most as big as x?
True
Let i(h) = h**3 - 11*h**2 + 5*h + 19. Let o be i(9). Which is smaller: o or -97?
o
Suppose 43 = -5*z - x, 4*z + 18 = z + 2*x. Which is bigger: -96/13 or z?
-96/13
Let w = 38 + -27. Suppose -w*z + 9*z = 0. Suppose 0 = 5*u - 4*c - 8, 3*u + 2*c = 1 - 5. Is z bigger than u?
False
Suppose 3*s - 14 = 5*m - 45, -4*s = 2*m - 2. Let l be (-2)/m*(-55)/(-22). Is 2/19 greater than l?
True
Let r be (-2 + (-886)/(-440))*-626. Let c = 63/22 - r. Which is greater: 11 or c?
c
Suppose 0 = -3*q + 2*u + 49, q - 33 = 3*u + u. Suppose 8*g = -5 + q. Which is smaller: 0 or g?
0
Suppose -67*d + 68*d = -102. Let r = -105 - d. Which is smaller: -27/8 or r?
-27/8
Let n be -2 + 9/(-11) - -3. Let c be 0/((-2)/(-3) - (-4)/12). Which is greater: c or n?
n
Let h = 15 + -12. Suppose h*r + 0*r = -33. Let i = r - -13. Which is smaller: 1 or i?
1
Let x(v) = -v**3 + 13*v**2 - 14*v + 8. Let l be x(5). Is 138 bigger than l?
False
Let t = -10 + 13. Suppose -66 = t*f - 3*a - 2*a, 2*f + 4*a + 66 = 0. Is f < -26?
True
Let z = -1250 - -1182. Is -69 >= z?
False
Let k = 328 + -326. Which is smaller: k or 17/11?
17/11
Let p be (-4)/920*(-835)/(-12). Let a = p + 7/24. Is a greater than -1?
True
Let w = -2774 - -2774.09. Which is bigger: w or 3.3?
3.3
Suppose -67*v = -66*v + 289. Let y = 1181/4 + v. Which is bigger: 5 or y?
y
Let s be 270/(21/56*4). Which is smaller: 179 or s?
179
Let p = -0.03 - -0.02. Let w = -4.6 + 4.5. Which is bigger: w or p?
p
Let q(w) = -2*w - 27. Let r be q(-16). Suppose k = -r*k + k. Which is greater: 4/13 or k?
4/13
Let m be 0/(-1) + 28/(-1190). Let w(i) = -i + 7. Let s be w(7). Is s < m?
False
Let s = -4.3 - -4.51. Suppose -40*z = 5 - 5. Which is smaller: s or z?
z
Suppose -5*v = 3*p + 3, 94*p - 5 = 99*p - 4*v. Let m = -7/59 + 537/2537. Are p and m equal?
False
Let b = -331.4 - -331.5. Let l = -7 - 47. Is l not equal to b?
True
Let r be -3 + (4 - 166)/2. Let s be 3 - r/((-8)/2). Let d = s - -19. Is d greater than 2/9?
True
Let f be 8/(-18) + (-1680)/(-2808). Which is greater: f or -3/7?
f
Let x = -1403 - -1447. Does 5 = x?
False
Let v = -228 - -229. Is v not equal to 4?
True
Let h be (77/88 - 7 - -6)/(1/51). Let u = 4 - 11. Is u smaller than h?
True
Suppose -11*x = -205 + 183. Which is bigger: x or 50?
50
Let a = -14529/10 + 1458. Let m = -11/2 + a. Let f(d) = d**3 + d**2 - 2*d - 1. Let h be f(-2). Which is bigger: m or h?
m
Let z(d) = 13*d**3 - 48*d**2 + 65*d + 55. Let r(t) = -3*t**3 + 12*t**2 - 16*t - 14. Let b(f) = 9*r(f) + 2*z(f). Let k be b(11). Is -48 > k?
True
Let c(n) = -3*n + 16. Let t be (2 + -2)/(0 - 1). Suppose 2*j - 10 = -t*j. Let w be c(j). Which is bigger: w or -1?
w
Let s = 3/20987 - -58217893/314805. Let g = s + -185. Let p = g - 11/60. Is -2/11 at least as big as p?
True
Let a = 1790 - 1790. Are a and -2/217 unequal?
True
Suppose -4*i = 25*o - 27*o - 292, 5*o + 670 = -2*i. Are o and -135 equal?
False
Let u = 0.1 - 0.2. Let i = 0.057 - -27.943. Let h = i - 27. Which is smaller: