48)/16 - 4. Suppose 0*n - 3*n = -2*u - 161, -u - d*n = 58. Which is greater: u or -74?
u
Let k = 409 - 472. Suppose -3*r = -60 + 249. Let t = r - k. Which is smaller: 1/5 or t?
t
Let o be 21/(-14) - -15*(-2)/4. Let f be ((-2)/4 + 0)/(o/(-6)). Which is smaller: 19 or f?
f
Let c = -10/167 + 2414/62625. Is 0 at least as big as c?
True
Let l = -0.01817 + -1584.98183. Is -1 smaller than l?
False
Let s be (-4)/98*(-46)/(-16)*9076. Let q = -1065 - s. Are 2/5 and q equal?
False
Let x = 96.4 + -531.3. Let f = 456 + x. Let v = f + -21. Which is bigger: v or -26?
v
Let o(h) = h + 3. Let d be o(4). Let i = 368 + -114. Let r = 264 - i. Is r at least as big as d?
True
Let n = -268 + 678. Let c = n - 367. Is c at least as big as 0.07?
True
Let n(f) = -3*f - 12. Let p be n(-4). Let k be (1/1 - 3) + p - -2. Let q = 2/215 + -1509/430. Which is bigger: q or k?
k
Let b = -10.3 - -10.8. Let f = -14.5 - -6.5. Are f and b equal?
False
Let z be (2/(-4))/(2/4). Let a = 2470 - 32130/13. Which is greater: z or a?
z
Let d = -0.1 + 15.9. Let x = 32 - 31.9. Is d greater than x?
True
Let z be (-8)/16*88/154*(-182)/4. Which is greater: z or 62/5?
z
Suppose 5*p + 0*p + 5 = 0. Suppose -2*i - 2*i = 0. Suppose 4*d + 4 + 0 = i. Do d and p have different values?
False
Suppose -h - 3*h = 32. Let u be (-38)/h - (-11)/44. Suppose -4*r + d = -15, 3*r + 4 + 6 = u*d. Which is bigger: r or 15/4?
r
Let d(n) = -118*n + 5899. Let b be d(50). Is b less than or equal to 5/57?
True
Suppose -6 = 10*o - 12*o. Suppose -3*d = -f + o*f - 392, -2*d + f + 252 = 0. Suppose -5*i + d = -37. Is i < 33?
False
Suppose -1220*k - 51382 = -1266*k. Is k < 1119?
True
Suppose -p = p - 2*u - 6, -3*p + 21 = 3*u. Suppose -2*a = 3*a + 10, 0 = -p*g + 3*a + 1. Let c = -10 - -13. Which is smaller: c or g?
g
Let s = -19 - -21. Suppose -s*b = 3 - 61. Let l = 30 - b. Which is smaller: 0 or l?
0
Let u be 1 - 58/15 - -3. Suppose -4027*b = -4014*b - 13. Which is greater: u or b?
b
Let x = 19 - 40. Let g = -26460.5 + 26460. Is x != g?
True
Let o be (-1)/(-1)*2/2. Let a = o + 11. Suppose u - 365 + 399 = 2*y, -3*y = 5*u - 12. Is y less than or equal to a?
False
Let u be -4 - ((-448)/70 + (-9)/15). Are u and 192/83 nonequal?
True
Suppose 0 = -s + 4*t + 19, -t + 3*t = 5*s - 23. Suppose -5*f = s*v - 1, 3*f + 5 = -3*v + 2. Suppose 32 = f*i - 22. Is 27 not equal to i?
False
Suppose -59*f + 202*f - 891 - 1111 = 0. Is f <= -148?
False
Let v be 7/(18123/(-8443412))*(-6)/48. Let i = v - -15/1726. Let l = 412 - i. Are l and 2 nonequal?
True
Let f = 2285 - 11428/5. Is f equal to 0.0212?
False
Let q be 4 - (441/8)/9. Let p = q - 193/8. Which is smaller: -27 or p?
-27
Suppose -550 - 70 = -5*t. Let v be (-24)/14*2352/(-32). Which is bigger: v or t?
v
Suppose -2*s + 0*s = 3*m, 22 = 4*s - 5*m. Let z be 0 - (-9 + 0) - 5/5. Suppose -70 = -s*v + z. Is 24 <= v?
True
Let t = -11901 + 12072. Suppose 2*l + 39 = 383. Which is bigger: l or t?
l
Let m be 2286/12*(-82)/(-24). Let r = m + -652. Let h be (-1)/(-2) + 5/(-20)*6. Does r = h?
False
Suppose 76*x - 21*x = -12*x + 67. Is x equal to -5/1017?
False
Let u(s) = 796*s - 25507. Let a be u(32). Let n(z) = z**3 + z**2 - 5*z - 5. Let g be n(-4). Is g greater than a?
True
Let q(r) = 216*r - 16. Let h be q(-1). Let k = h + 248. Let v = 31 + -15. Is k at least v?
True
Let r = -8233.43 + 8234. Is -8 bigger than r?
False
Suppose 20 = -24*k + 25*k. Suppose 222 = k*q - 26*q. Let x = 2 - 1.9. Which is smaller: x or q?
q
Let h be (978/(-8))/((-462)/1848). Do 482 and h have the same value?
False
Let f = -14 + -76. Let u be (4/(-3))/(5 - (-455)/f). Suppose u*i - 17*i = -49. Is -11 greater than or equal to i?
False
Let j = 2603 - 2607.35. Which is smaller: j or 2?
j
Let x = -12770.406 - -12792. Let w = -21.6 + x. Which is smaller: -0.2 or w?
-0.2
Let y be -1 - (1 - (2 - 5)). Let c(b) = -b**3 + 2*b**2 - 4*b - 6. Let s be c(y). Let r be (-2280)/s + (-1)/9*2. Which is smaller: r or -12?
r
Let a be (-4 - 0)/(-4)*48/(-4). Let s(y) = -17*y - 203. Let w be s(a). Is -2/981 smaller than w?
True
Suppose 195*m = 200*m - 30. Suppose 196 = m*y - 332. Are 87 and y unequal?
True
Let d = 6238 - 6236. Is -1569 at least as big as d?
False
Suppose 30*c - 32*c - 126 = -5*r, r = 8. Suppose 2*m + 35 + 49 = 0. Which is smaller: m or c?
c
Let u = -1491 + 4010. Let w = u - 254417/101. Which is bigger: 1 or w?
1
Let v = -1489.8 - -2475.8. Which is greater: v or -12/7?
v
Suppose 0 = 3*o + 760 + 926. Let z be o/80 - 2/(-16). Which is greater: z or -7?
z
Let a = 0.095 - 49.095. Let q = 86 + a. Let t = -35 + q. Is t > -2/23?
True
Let i(o) = -2*o**2 - 311*o + 0*o**2 + 302*o. Let t be i(4). Is t bigger than -135/2?
False
Let l(n) = -3*n**3 - n**2 + 0*n**3 + 909 + 4*n**3 - n - 2*n - 911. Let g = 2 + -3. Let k be l(g). Is k bigger than 2/185?
False
Let y be -321 - 3 - (0 + -2). Let c be 2/(-10) + (-3208)/25*(-1470)/(-588). Which is greater: c or y?
c
Let l be (-2)/13 + (-66904)/19734. Let v = l - -160/33. Which is bigger: v or 1?
v
Let y = -74315.8 + 74316. Suppose -3*w = q - 32, 0 = -0*q - 3*q + 3*w + 60. Let j be 0 - (-21)/q - 1. Which is smaller: y or j?
j
Let g(t) = 52*t - 261. Let j be g(5). Is 5/2324 less than j?
False
Let k(h) = h**2 - 10*h - 30. Let a be k(13). Suppose 0*c + 18 = a*c. Suppose 0*j - 1 = 4*j + p, 0 = -j - c*p + 5. Is 2/73 < j?
False
Suppose 9*g = -3666 - 708. Are -487 and g nonequal?
True
Let g = -13 + 18. Let k = 41/170 - -3/340. Which is bigger: k or g?
g
Let d be (-72 + (-964784)/(-13396))/((-5)/(-2) + 0). Which is smaller: d or 1?
d
Let p = -5915/9 - -677. Suppose -1937*g - 336 = -967*g - 986*g. Which is greater: p or g?
g
Suppose -h - 5*l + 5 = 0, -152*h + 142*h - 2*l - 46 = 0. Let w = -25.1 - -27. Does w = h?
False
Suppose -5*u + 590 = 4*o, 2 = 4*u + 10. Let p be (-26)/o - (8 + (-200)/24). Which is smaller: p or 0?
0
Let z = -251.62 - -252. Let c = 2.38 - z. Suppose -2*b - 5 = 19. Are c and b nonequal?
True
Let t(v) = -235*v + 11514. Let y be t(49). Which is greater: -10/2837 or y?
-10/2837
Let v(b) be the second derivative of b**4/12 + b**3/2 - 17*b**2/2 + 16*b. Let g be v(8). Let k = 180 - g. Which is smaller: k or 108?
108
Let z = 636 + -633. Let q be z*2/210*(-27)/63. Is 1 equal to q?
False
Let n = -28619 + 28720. Which is greater: n or 93?
n
Let l be ((16 - 119025/(-425)) + 2/(-34))*5. Which is greater: 1484 or l?
1484
Suppose 25118 = 2813*n - 10142 - 4122. Suppose -o - 2*f = o - 4, 5*f + 10 = -o. Which is smaller: n or o?
o
Suppose -675 - 8708 = -14*g - 2089. Which is bigger: g or 2085/4?
2085/4
Let t = -5245/134057 + 2/12187. Let b(r) = r + 5. Let j be b(-5). Which is greater: t or j?
j
Let c(r) = 2*r**2 + 11*r**2 + 20 + 25*r**3 - 26*r**3 + 19*r. Let f be c(14). Which is greater: f or 91?
91
Let k = 1892.095 + -1892. Is k at most -6?
False
Suppose -5*z = -0*z - 1405. Let p(o) = z - 298 + 20*o**2 + o**2 - 20*o - o**3. Let x be p(20). Is x != -17?
False
Suppose 2 = 2*c - 5*l, -2*l = -2*c - 0*c + 2. Let t be (2 + -1 + c)/((-174)/87). Let d be (1/2)/((-222)/4). Is t at least d?
False
Let g be (-40)/(-400) + ((-6188)/360)/13. Do -1 and g have the same value?
False
Let d(z) = -2*z**3 - z**2 - 5*z + 3. Let l be d(0). Suppose -l*c = -24*c - 378. Which is smaller: c or -19?
-19
Let g(s) = -3*s**2 - s + 2. Let j be g(-3). Let d be (-11)/(65/26 + -1 - 1). Is d bigger than j?
False
Let g(s) = 3*s**3 - 31*s**2 + 47*s - 99. Let w be g(9). Is w at least as big as 17/2168?
False
Suppose 120 = -28*x + 33*x. Suppose -4*c + 4*r - x = 0, -c - 59 = 3*c + 3*r. Let k = c - -11. Is k less than or equal to 18?
True
Let t = -4343 + 7307. Is t equal to -2/3?
False
Let n = 17 - -4. Let d = -23516 - -23540. Which is smaller: d or n?
n
Let j = 287414717/1514 - 189838. Is -1 less than or equal to j?
True
Let y = -0.01481 - -2.01481. Is 1.494 bigger than y?
False
Let j be ((-2)/(-7) - (-20)/(-70))/(-2). Suppose j = -4*z + 414 + 162. Which is smaller: 0 or z?
0
Suppose 2*u + 4 - 23 = -3*p, -4*u + 3 = -p. Suppose -25 = -5*d - 5*x + 10, -d + u*x = 2. Suppose 0 = -0*l - l + 3*n + 2, d*n = -4. Which is greater: l or 2/13?
2/13
Suppose 0 = c - 2*f - 4 + 23, 0 = -c - f - 4. Suppose -3*j - 3*v = -5*j + 171, 5*j - 408 = v. Suppose -420*q + 429*q = -j. Is q <= c?
True
Suppose -2*v - 18 = -5*n + 2*v, -2 = 2*n + 3*v. Let t be 2/((-44)/(-174)) - -10*(-3)