 27*t**2 + 26*t + 8. Let v be s(26). Let w be v - ((-363)/369 - -9). Which is smaller: 0 or w?
w
Suppose 0 = 2*y - 8 - 20. Let t = -13 + y. Let s = -2/173 + -316/2595. Is t less than or equal to s?
False
Suppose u + 1428 = 2*g, -177 = 3*g - 3*u - 2313. Let y be (g/20 - 0)/(-1). Let d = 36 + y. Is d < -7?
False
Suppose -4*q = -2*x - 24 + 8, -2*q + 12 = -3*x. Suppose -8*w + q = 27. Let o be 7 + w + (-23)/5. Which is smaller: 1 or o?
o
Let d be (-38)/133 - (-184)/7. Let x(m) = -11*m + m**2 - 8*m - 14*m + d + 8*m. Let k be x(24). Which is bigger: -7 or k?
k
Let y = -5881 + 3343. Which is bigger: y or -2539?
y
Let w be ((-2)/(-5))/(3/9). Let o = w + -56/55. Suppose -5*m + 3*f - 6 - 4 = 0, 20 = 4*f. Which is greater: o or m?
m
Let q be ((-1512)/(-16))/(-3)*4/(-6). Which is smaller: 90 or q?
q
Suppose -534*x + 2*o + 4636 = -538*x, -2*x - 2318 = 2*o. Which is bigger: 1/7 or x?
1/7
Suppose 7128 = 261*r - 255*r. Which is greater: 1189 or r?
1189
Let y = -11516 + 6368342/553. Which is smaller: y or -1?
-1
Suppose -4*n + n + 5 = 2*p, 0 = n - p. Which is smaller: -2/4563 or n?
-2/4563
Let x be 12*(-10)/(-8)*12/10. Suppose r + 3*r - 4*b = 0, x = 5*r + 4*b. Let z be (((2 - 2)/(-3))/r)/2. Is z smaller than -1/8?
False
Let t = -2305 + 2313. Let x(i) = i**3 + 7*i**2 + 4*i - 4. Let l be x(-5). Let o = 31 - l. Are o and t non-equal?
True
Let q be (35/(-3))/(2/16). Suppose 55*o + 8342 = 3227. Do o and q have the same value?
False
Suppose -688*b + 684*b - 80 = 0. Let h = 131 - b. Is 151 smaller than h?
False
Suppose s + 622 = 3*a, 1072 = 4*a + 3*s + 260. Which is bigger: 1434/7 or a?
a
Let d(o) = o**2 - 2*o. Let m be d(8). Suppose -m = -3*v - v. Suppose -v = z - 3*s + 3, 4*s = 0. Which is smaller: z or -16?
-16
Let h = 4970.2 - 4970. Is h > -105/23?
True
Let z = 7269 + -15326. Is -8056 at most as big as z?
False
Let d be (1704890/170490 + -10)*(-1 - -10). Which is smaller: d or 1?
d
Suppose j = 784 + 1180. Let u be (j/72 - 3) + (-2)/(-9). Let g = 77/3 - u. Is 1 <= g?
True
Let n = -14468 + 14443. Let x be 2 + -3 + 0 - -28. Suppose s + x = -3*u + 4*u, -5*s - 95 = 3*u. Is s less than or equal to n?
False
Let m be (333/74)/(11/(-12) + 1). Suppose 0 = -5*n + n + 120. Suppose 0 = 5*r - n - 235. Is m greater than or equal to r?
True
Suppose -1134 = 4*n + 2*n. Let a = n - -1325/7. Is a equal to 13?
False
Let q = 1587 + -1588. Which is bigger: 4/237 or q?
4/237
Suppose 0 = 5*a + 3*n + 2, -6*a - 4*n + 2 = -4*a. Which is smaller: a or -26/423?
a
Let x = 6406 + -6403. Let o be ((-13)/7 + 2)/15. Let z = o + -1/7. Which is bigger: z or x?
x
Suppose 4*j + 1572 = 6*f, 0 = -4*j + 5*f - 987 - 589. Let z be (-42)/323 - (-42)/j. Let h = -1 + 2. Is z >= h?
False
Suppose 45*w + 43*w = 33*w - 15125. Is -274 at most w?
False
Suppose -2*w - 5 = h, -4*w - 2*h - 3*h - 1 = 0. Let y = -3142 + 3138. Let v be w/26*((-22)/y + -1). Is v equal to -1?
False
Let s = 100837 + -67459981/669. Which is bigger: 1 or s?
1
Suppose -1886 = -35*g - 11*g. Let o(t) = -t - 3. Let i be o(-5). Let l be (i/6)/(2/(-4)). Which is greater: g or l?
g
Let o = -162 + 2108/13. Let j(f) = -3*f**3 + 3*f**2 - f - 2. Let u be j(-1). Suppose u*a = -11 + 11. Which is bigger: a or o?
o
Suppose 19*p - 159 + 45 = 0. Let k be ((-186)/(-124))/((1/p)/(-1)). Let s = -0.1 + 0. Is s > k?
True
Let i be (3/(-60)*-2)/((-210)/(-1115150)). Let p = 531 - i. Which is smaller: p or 1?
p
Suppose -3*r - 3*z = -7*z + 391, 4*z = -2*r - 274. Which is smaller: -134 or r?
-134
Suppose -4*m + 2*x = -66, 4*x = -6*m + 5*m - 6. Let d be ((-111)/m)/((-15)/30). Are 15 and d unequal?
True
Let p = -1601 - -2434. Suppose 0 = 25*g + 2742 + p. Do g and -144 have the same value?
False
Let n = 0.1 - -0.9. Let l = -1/56963 - 113885/2335483. Is l at most n?
True
Let f(x) = -x**3 - 2*x**2 + x - 6. Let o be (-36)/10 + 6/10. Let m be f(o). Suppose 0 = l + 5*t + 1, -t = -5*l - m*t - 5. Are -47 and l equal?
False
Suppose w = -0*w + 1. Suppose 0 = -6*a - 68 - 160. Let r = -50 - a. Is w at most r?
False
Let f = -0.02 + -0.614. Let j = f + 7.53. Let q = 0.104 + j. Which is greater: q or 3/8?
q
Let c(f) = -877*f - 7177. Let y be c(-8). Is -647/4 at least as big as y?
False
Let h = 6527802431/25169808 - 757/154416. Let m = h - 778/3. Let d = 452/10269 - m. Which is smaller: 0 or d?
0
Suppose -100 = -5*p - 5*h, 3*p = -h + 2*h + 76. Is p greater than 64?
False
Suppose -3*c + 5*k = 919, 4*c - k + 626 + 605 = 0. Is -309 less than c?
True
Let t be 5120767/(-66)*(-3)/7. Let i = -33252 + t. Let f = 5/14 + i. Which is bigger: 1 or f?
1
Let b(p) = -p**3 - 19*p**2 + 6*p + 124. Let n be b(-19). Does n = 262?
False
Suppose 339 = -9*q - 984. Is q at most -130?
True
Let w = 4803 + -4612.9. Which is smaller: w or 0.4?
0.4
Let g = -13/56 - -4015/168. Which is greater: g or 24?
24
Let f = 316 + -554. Let y = 240 + f. Is 14/5 at most y?
False
Suppose 0 = -20*a - 375 - 1485. Is a <= -87?
True
Suppose -12*f + 15 = -7*f, 2*f + 14 = 5*r. Suppose r*a = 2*y - 106, -a - 27 = 2*y + 12. Which is bigger: a or -4?
-4
Let q(v) = -23*v**2 + 29*v + 339. Let y be q(-15). Is -5272 greater than y?
False
Let r = 296.6 - 301. Let a = r - -4.6. Is a at most -20?
False
Suppose 0 = -21*c + 5*c. Which is smaller: 1/206 or c?
c
Let f = 0.2743 + -1.2743. Which is bigger: -30.3 or f?
f
Let n be -4 + 3 + 0 + (5 - 1). Let k be n/(6/4 - (-8)/(-16)). Suppose 2*w + k*u = 3, 3*u = 4*w - 0*u + 3. Is 2 less than w?
False
Let t = -19.251 + -7.735. Let s = 27 + t. Let f = 32.014 - s. Which is smaller: f or 0?
0
Let p(g) = -g**2 - 7*g - 10. Let x(r) = -6*r**2 + r. Let i be x(1). Let m be p(i). Let q be (198/(-63) - -4)/(16/14). Are q and m equal?
False
Suppose 0 = 2*i - 8, 2*l + 0*i - 556 = -i. Suppose 7*r - 4 = l. Let j = r - 39. Which is smaller: j or 4/37?
4/37
Suppose -778 = -3*w + x, 562 = 3*w - 5*x - 220. Let u = w + -5441/21. Is -9 greater than u?
False
Let h = -311.2 + -302.1. Let s = 712 + h. Let q = s - 99. Which is bigger: q or 2/9?
2/9
Let f = 2526 - 2484. Is -1/6 at most f?
True
Let s = -5 + 2. Suppose u - 3*o + 8 = 2*u, 2*o = -2*u + 8. Let y be u/((-12)/(-6)*s/(-3)). Is y greater than -9?
True
Suppose 0 = r + 15*u - 20*u - 1277, -5*r + u + 6265 = 0. Which is bigger: r or 1255?
1255
Let w be 228/41 - (-318 - -324). Let u = -58 - -57. Is u less than or equal to w?
True
Suppose 1764 + 1580 = 88*h. Which is smaller: 307/8 or h?
h
Let s be 7 + (-5440)/672 + 2/21. Which is greater: s or 2/3791?
2/3791
Suppose 5*t - 2*h = 150, -6*h - 90 = -3*t - h. Let j(r) = -6*r - 1. Suppose -14*s + 5*s = 45. Let v be j(s). Which is smaller: t or v?
v
Let a = 0.4 + 101.6. Let u = 102.1 - a. Is -0.8 greater than u?
False
Let j = -2634 + 393. Which is bigger: -2/3 or j?
-2/3
Let l = -10090/11 - -916. Suppose -x = -2*t + 8 + 1, 36 = 3*t + 3*x. Suppose -2*i - t*y - 14 = -2*y, 3*i = -3*y - 12. Is i less than l?
True
Let y = 84 - 122. Let t = -33 - y. Let p = -3 - t. Is -3 less than or equal to p?
False
Let w = -75310/49 + 1537. Suppose 5*a = 2*o + 3, -a - 3*a + o = -3. Which is smaller: w or a?
w
Let g = -6.2 + 89.2. Let q = 27 + -24. Let d be (5/(-150)*-10)/(2/q). Which is smaller: g or d?
d
Let v(w) = -44*w - 457. Let a be v(-28). Is 778 <= a?
False
Let u = 2511153/26 + -96627. Is -43 smaller than u?
False
Let d = 3532 + -3796. Is -2/5 > d?
True
Let l be 88/28 + -3 + 927/(-21). Let c = -45 - l. Let d(g) = g + 3. Let p be d(0). Which is smaller: p or c?
c
Let r = -1114 - -1096. Let y be (-4)/(40/6)*-1. Is r > y?
False
Let a(h) = h**3 - 9*h**2 - h + 3. Suppose 8 = 2*u - 2*k, 0 = u + u + 5*k - 43. Let f be a(u). Suppose 0 = -7*x + 21*x + 56. Which is smaller: f or x?
f
Let d be (-28)/(-21)*-3 + 413. Let l = 519 - d. Which is greater: l or -1/4?
l
Let v = -325.33 + 323. Let l = 0.07 - v. Let y = -5.4 + l. Which is greater: 3/7 or y?
3/7
Let c(l) = -8*l + 57. Let i be c(9). Let p be 2/i + 3*(-91)/315. Is -2/17 at least p?
True
Let c(w) = -98*w + 3998. Let y be c(40). Which is smaller: y or 103?
y
Let i = -5964437/73 - -81703. Which is greater: i or -2?
i
Let m = -3185 - -2351. Are -834 and m nonequal?
False
Let j be -124 + (3 - (4 + 5 - 11)). Which is bigger: -20 or j?
-20
Suppose 6*a = -4*a - 10. Let j = -0.0013 + -0.4987. Is j greater than a?
True
Suppose -2*i = -y + 4*y - 57, 2*i + 4*y = 62. Suppose i*r = -8*r - 783. Are r and -23 unequa