 d - 66 = 4*n - 1065, 4*d = 2*n - 496. Which is bigger: w or n?
n
Let d be 697 - 22*14/77. Is d < 696?
True
Let r be (-8)/36 - (83/(-9) - 3). Let i be (-6)/r*(-31 - 1). Let c = -14 - -29. Which is bigger: i or c?
i
Let f = 1.656 - 3.656. Which is smaller: 2.55 or f?
f
Let l be 4/36 - (1050/(-27) - 3). Let j be ((-12)/l)/(1 + 66/(-63)). Suppose -234 = 3*p + j*p. Is 3/4 less than p?
False
Suppose -246*b - 508 = -16. Is b less than -170/297?
True
Let n(u) = -u - 18. Let h be n(-19). Let v = -6.3 - -6.271. Are v and h non-equal?
True
Let j = -0.03644649 - -49.89166649. Let n = -0.22078 - j. Let q = n + 50. Is q equal to 1/2?
False
Let k = -41200.73 + 41371. Let a = k + -171. Let c = 0.694 + a. Which is smaller: 1/4 or c?
c
Let r be 7 - (-56)/(-8) - -288. Let j = r + -293. Is -8 at least j?
False
Let v(s) = 6*s**2 + 3*s + 7. Let b be v(-5). Let w = -7432 + 7575. Which is bigger: b or w?
w
Let t be 6 + 6/(-21) + (-120)/21. Which is bigger: 11/310 or t?
11/310
Let c = -3805 - -3998. Which is smaller: c or 195?
c
Suppose -4*w - 8889 = -2*b + b, -3*w + 2*b - 6668 = 0. Is -2222 >= w?
True
Let m be 2 - 0 - (2286/573 + -2). Let i = m + -404/2101. Suppose 2*x = -f + 7, 5*f - 29 = -4*x - 0*f. Is i > x?
False
Suppose 4*a = -r + 20, 0 = -8*r + 12*r + 4*a - 20. Is -8/385 greater than or equal to r?
False
Let o = -93.14 + 95. Let k = o - 1.96. Which is smaller: k or 3?
k
Suppose -d - 5 = -3*t + 4*d, -d - 1 = 0. Suppose -3*y - 2*r + 1 = t, 2*y - 3 = -y - 3*r. Are 1/620 and y equal?
False
Let f(m) = 83*m + 19. Let d be f(11). Suppose -20*x + 152 - d = 0. Is -34 < x?
False
Let g = 834.901 - 834. Let w = -1.901 + g. Which is smaller: -3.91 or w?
-3.91
Let v = -129 + 694. Let t = v + -6207/11. Suppose 100 = 20*y + 30*y. Which is greater: y or t?
y
Suppose -13*m - 318360 + 39543 = 58*m. Which is greater: -3928 or m?
m
Suppose -t + 2*r - 50 = 0, 5*r + 13 = -t - 65. Is -60 <= t?
True
Let c = 305 - 309. Let x(a) = -3*a**2 - 10*a + 7. Let s be x(c). Is s equal to -1?
True
Let f = -745223/261 - -25441/9. Are -29 and f unequal?
True
Let b be (5 - 9 - 598) + 2/(-3)*-3. Is b greater than or equal to -597?
False
Let p = 77699 - 542586/7. Let i = p - 188. Which is smaller: i or 1/4?
i
Let n(s) be the first derivative of -s**4/2 - 11*s**3/3 + 5*s**2/2 + 4*s + 176. Let o be n(-6). Which is smaller: o or -3?
-3
Let a = 5588 - 39114/7. Which is bigger: -23/20 or a?
a
Let t be -3 - 15/(253935/(-50831)). Which is greater: t or 0?
t
Suppose -22*r + 25*r + 39 = 0. Let m(z) = -z**2 + 10*z - 30. Let o be m(3). Is o equal to r?
False
Let z(a) = a**2 - 28*a + 47. Let g be z(17). Let t be (-70)/g - (-1)/(-2)*-3. Are 4/3 and t unequal?
True
Suppose -f + p + 2*p = 23, -22 = 4*f + 2*p. Let o be f/(-3*(-1)/12). Which is smaller: -164/5 or o?
-164/5
Let n be (-11)/262*(-180)/(-2070). Which is greater: 0 or n?
0
Let z = -166 - -166.139. Let i = 0.14 - 0.279. Let a = z + i. Which is bigger: a or -14?
a
Let v be (-2 - (-21)/12) + 178/8 + -10. Which is smaller: -76 or v?
-76
Suppose -2*b + 21 = -3*q + 2*b, -4*q - 2 = -b. Is q greater than or equal to -936?
True
Suppose 10*w + 49 = -11. Let f be (1 - (-10)/(-4))/(w/12). Suppose -h - 147 = -3*l - 61, f*h + 4*l = -297. Is h < -95?
False
Let u = -1245 - -778. Let v = u - -466.9. Is v at most 9/142?
True
Suppose -6*b + 101*b = 95. Which is smaller: b or 2/693?
2/693
Let d = -119.3 - -9.3. Let h = d - -109.4. Do 6 and h have different values?
True
Suppose 1108 = 4*l - 3*b, -5*l = -4*l + 3*b - 277. Let s = 277 - l. Is 5/46 != s?
True
Let j = 813 - 818. Suppose -4*y = y. Suppose -k + y*k - 4 = 0. Which is smaller: j or k?
j
Let p = -8380 - -8313. Suppose t + 65 = 2*q - 3*q, 257 = -4*q - t. Does q = p?
False
Let s be (-1)/(-3)*62/(-62). Which is bigger: s or 1080?
1080
Let x = 0.16 - -59.57. Is x > -0.1?
True
Suppose 15*b + 21*b = -216. Is -198/31 at least as big as b?
False
Let r = -420/353 - -456357/380887. Is 0 at least as big as r?
False
Let y(z) = -z**3 - 4*z**2 + 3*z - 10. Let f be y(-5). Suppose -x - 2*j + 1581 = -6*x, 2*j = -2*x - 624. Let p be ((-36)/x)/(1/10). Is f at most p?
True
Let s = 35430 - 35430.05. Let q = 1.6 + -1.21. Is q at least as big as s?
True
Let x(q) = q**2 + 21*q + 23. Let y be x(-20). Suppose -575 = y*c - 119. Let m = c + 221. Which is greater: 70 or m?
70
Let w be (12/10)/((-34)/(-85)). Suppose 248 = -2*v - r - 1507, 2652 = -w*v + 5*r. Is v > -880?
True
Suppose 67*q - 11 = -145. Which is smaller: -126/73 or q?
q
Suppose -3*y = -5*y - 42. Let c be (3/(-6))/(1/y). Let z be ((-2736)/1596)/((-2)/14). Are z and c equal?
False
Let v = 39 - 71. Let q = 341 - 372.9. Let a = q - v. Is 9 less than a?
False
Let g = -31559/1314 - -419/18. Let u = g - -3263/365. Suppose -5*x - 4*o = -x - 24, 4*x - 2*o = 42. Do x and u have the same value?
False
Let v = 517 + -514. Let k be (42/12 - v)/(3/408). Is k less than or equal to 68?
True
Let h(m) = 75*m + 1243. Let j be h(-17). Are -39 and j equal?
False
Suppose -12*p + 8*p + 80 = 0. Let k = 24 - p. Suppose k*q - 15 = 2*l - 55, -3*l + 54 = -3*q. Which is smaller: l or 17?
l
Suppose 398526 = 161*g + 31*g + 1860990. Is g at most -7615?
True
Suppose 751410 = -26*i + 279*i. Which is smaller: i or 2969?
2969
Let t(r) = r**3 + 7*r**2 - 3*r + 153. Let x be t(-9). Is 199/12 > x?
False
Let n = 6.314 - 421.314. Do -1 and n have the same value?
False
Suppose -3*d = 37 + 20. Let w = d + 15. Let g(y) = 7*y + 38. Let i be g(-6). Is w less than i?
False
Suppose 9 = -3*w + 2*q, 0 = 4399*w - 4396*w + 3*q + 24. Suppose -12 = -4*c, 5*c = 2*o + 2*c + 7. Which is smaller: o or w?
w
Let v be (-554)/(-10) - (-2)/(-5). Suppose -97*b - 159 = -52*b - 48*b. Which is greater: v or b?
v
Let t = 140 - 131. Let y(s) = 2*s**2 - 15*s + 2. Let b be y(t). Is 29 greater than b?
False
Suppose 0 = 58*h - 140 - 150. Suppose -h*f - 2*v = -5, -2*f - 9*v = -8*v - 3. Is f smaller than 56?
True
Let i = -266 + 269. Suppose i*k + k - 14 = 5*j, -3*j - 6 = 0. Do k and -8/17 have different values?
True
Let w(d) = d - 185. Let n be w(0). Suppose -1238 - 246 = 12*m + 736. Is m less than or equal to n?
True
Suppose 5*r + 3*a - 154 = -0*a, -4*a + 120 = 4*r. Suppose 7*p - r = -p. Let g(j) = j**2 - 2*j - 8. Let s be g(p). Which is smaller: s or -2/15?
-2/15
Let f be (5*-28)/(-1) - (0 + 1). Suppose -5*h + 5*s - f - 96 = 0, 3*h + 3*s = -153. Which is greater: h or 2?
2
Suppose -6*v - 32*v + 774 = 3092. Which is smaller: v or -428/7?
-428/7
Let r = 470 + -466. Suppose 4*t - 3*z - 155 = 0, t + r*z - 15 = 19. Which is greater: 35 or t?
t
Let c(j) = 30*j - 437. Let d be c(16). Suppose 12*o - 150 = 378. Which is greater: o or d?
o
Suppose 7*m = m - 6. Let j be 1280/8658 + 72/(-468). Is j less than m?
False
Let b = 43551/11 + -3955. Let n(s) = -22*s + 203. Let c be n(9). Is b less than or equal to c?
True
Let w = -6515463403/121 - -53845915. Let g = w + 890. Is g bigger than -1?
True
Let x be 3 + (-224)/36 + 1. Suppose 2*o = 3*p - 2*p - 5, 0 = 3*o + 3*p - 6. Which is greater: x or o?
o
Let f = -9148.1 + 1703.1. Let y = f + 7451.909. Let w = 0.091 + y. Which is smaller: -1/2 or w?
-1/2
Let h(u) = 6*u + 67. Let b = -111 - -100. Let i be h(b). Which is smaller: 3/16 or i?
3/16
Let u = -71 - -74. Suppose 5*x - n - 235 = 0, n - 83 = -u*x + 50. Are x and 49 non-equal?
True
Let w(b) = -b + 6. Let t be w(6). Suppose t = -x, -2*x = 12*f - 14*f + 162. Suppose -4*c = -475 + 151. Is c greater than or equal to f?
True
Let y = 16521 - 16498. Is -270 less than y?
True
Suppose 5*b + 4*z - 37 = 8*z, 26 = 4*b - 2*z. Suppose -2*l = 3*n - 123, 22 + 205 = b*n - 4*l. Let q be -2 + 0 + 1 + 44. Is n at least as big as q?
True
Let m = 1.32 - -737.68. Let g = m - 694. Is -0.06 <= g?
True
Let n = 107162/9 - 11907. Are n and -159 non-equal?
True
Let x = 11 + -11.1. Let j = 33.53492 + -0.61592. Let k = j - -0.081. Is k <= x?
False
Let y = -62 + 33. Let b = -29.029 - y. Let x = b - -1.129. Is -1/2 greater than or equal to x?
False
Suppose -l - 8 = 4*n, 3*l - l + 10 = -5*n. Suppose l*d - 147 = -3*d. Which is smaller: d or 50?
d
Let a(b) = -b**3 + 9*b**2 - 7*b + 14. Let x be a(6). Let h be (-32)/x - (-4)/10 - -79. Which is greater: 77 or h?
h
Suppose -6*d + 13*d - 63 = 0. Suppose -87 + 382 = 4*o - 5*a, 0 = -3*a - d. Is o less than 67?
False
Suppose 2 = -32*h + 37*h - 4*j, 0 = 3*h - 4*j +