ppose 4*q = -410*p + 411*p + 903, 2*p = -6. Which is smaller: q or 233?
q
Let p be (2 - 2/7) + (-2)/(-7). Suppose 364*z - p = 366*z. Is z greater than or equal to -4/19?
False
Let m be (-2)/60*-8202 + 3/5. Let w = 1135/4 - m. Is w smaller than 11?
True
Let o(x) = 12*x**2 + 2*x + 24. Let g be o(-5). Suppose 0 = -16*h + 14*h + g. Are h and 158 equal?
False
Let j be (0 - 1) + 0 + 248. Let b = 169992 - 169991. Which is greater: b or j?
j
Suppose 5*v = 2*g - 5, -2*g - 4*v - 4 = -18. Which is greater: g or 67/16?
g
Let y(a) = 8*a - 40. Let x be y(5). Let n be ((-1410)/75)/(1419/(-80)). Let p = -4/129 - n. Do p and x have different values?
True
Let x(l) = 25*l**2 - 28*l + 58. Let v be x(2). Suppose -2*c + 0*c - v = 0. Is -49 != c?
True
Let t = 9054 - 9052. Is t less than or equal to 129/2?
True
Let r = -133268 - -7196231/54. Which is smaller: -5 or r?
-5
Let f = 19 + -11. Let h be (798/(-140) + 6)*f/(-18). Which is bigger: h or 17?
17
Suppose 1664 = -5*r + 13*r. Suppose 14*j = -590 - r. Which is smaller: j or -113/2?
j
Let a = 82 - 128. Let c = -51 - a. Let w be (-6)/c*(-3)/(-6). Is w bigger than -1?
True
Let b = 0.681 - 0.781. Is -20/69 > b?
False
Let z = 1.677 + -138.677. Which is bigger: z or 3?
3
Let k be ((-46)/(-10))/((-4)/5) - (4 - 10). Is 102.45 greater than k?
True
Let i = 506 + 236. Let y = i + -8154/11. Is 2 bigger than y?
True
Let c(o) = -o**3 + 78*o**2 + 64*o + 652. Let g be c(79). Is g > -539?
True
Suppose 266 = b + 4*y, -2*b + 6*b - 3*y - 1026 = 0. Which is smaller: 0.01 or b?
0.01
Let r = 6961/3 - 2342. Let q be ((-46)/(-8))/(1/(-4)). Which is smaller: q or r?
q
Suppose -270 = -11*v - 43*v. Suppose -v*l + y = 347, 52*l - 47*l = -3*y - 339. Is -64 at most as big as l?
False
Suppose 662*p + d = 660*p + 15180, 0 = -3*p - 3*d + 22776. Which is greater: 7587 or p?
p
Let d(j) = -9*j - 3. Let r be d(-4). Suppose -r = -g + 12. Let b = 909 + -863. Is b smaller than g?
False
Suppose c + 1903 = -10*c. Let q = 198 + -370. Which is smaller: c or q?
c
Suppose -515 = -5*g + 4*p, -3*g + 3*p + 301 = -p. Let i = -747/7 + g. Let u = 8.97 - 6.17. Which is smaller: i or u?
i
Let u = 45230 - 45231. Let z = -3063 - -952599/311. Do u and z have the same value?
False
Let z = -26459 + 28069. Which is smaller: z or 1617?
z
Let d = 104.1 + -104. Let z = 324 - 392. Which is greater: d or z?
d
Let a be 154/20 + -2 + 8/(-40). Suppose 9 = q - 2*w, 3*w + 2 = -q - 4. Suppose -5*x + 31 = q*g, 18 - 5 = g + 3*x. Is g greater than a?
True
Let d(n) = -2*n**2 + 13*n - 8. Suppose 32*o = 22*o + 60. Let h be d(o). Is h bigger than -30/23?
False
Let t be (-1269)/(-6)*23/((-2415)/686). Does t = -1382?
False
Let w = -573 + 354. Is w <= -653/3?
True
Let h = 8689358/12573 + -6220/9. Is h at most -1?
False
Let z(g) = -18*g + 183. Let v be z(-18). Are 510 and v non-equal?
True
Let h = 2214 - 2150. Is h >= 26?
True
Suppose 2*a = 5*b + 514, -a + 38 - 342 = 3*b. Let s be 1526/(-8) + (4 - b/(-24)). Is s > -189?
False
Let f be (10 - 1) + 30/(29 - 32). Which is smaller: f or -12/665?
f
Let i be (2 - -66)/(14/1099). Let r be 5 + -1 + i/102. Is r less than or equal to 57?
True
Let y be ((245/(-7))/5)/(1/52). Let i = y + 349. Is i less than -17?
False
Let d = 136 + 2. Let g = 162 - d. Is 23 < g?
True
Suppose 5*o + h + 132 = 0, 3*h + 6 = -0*h. Let w = 30 + o. Which is greater: w or 35?
35
Suppose -f + 4 = -0*f. Let w be 1 + (-16)/f + (-14)/(-18). Let g(s) = -s**2 + 10*s - 3. Let v be g(10). Which is smaller: w or v?
v
Let k = -7 + 12. Suppose -67*n = -72*n + 385. Let f = n - 71. Which is smaller: f or k?
k
Let f = 104812 + -96112592/917. Is f smaller than -1?
False
Let s = 3403 - 6433. Is -3030 greater than or equal to s?
True
Let o be 18/(-36)*120/2. Let f be ((-46)/(-1))/(o/(-2) + -7). Is 6 at most as big as f?
False
Let i be (-2)/(-19) - 26/(-114). Suppose -4*f - 2*a + 10 = 0, -5*a = 4*f - f - 11. Suppose -3*o + o = -f. Which is smaller: i or o?
i
Let c = 6130 + -6132. Which is smaller: c or -4/381?
c
Let s be 11*31 - 2/1. Suppose 415*j + 115894 = 290*j - 365*j + 281514. Is s smaller than j?
False
Let p be 2/((-30)/405*9). Which is smaller: -297 or p?
-297
Let x = -238 - -326. Let j = -87.761 + x. Which is greater: j or 2/7?
2/7
Let z = -102 - -162. Let d = 3448 + -3387. Let n = d - z. Which is greater: -0.053 or n?
n
Let w be (-1)/(15/2) + 0. Let n be (-270)/(-297) - (-1)/11. Is w equal to n?
False
Let z = 114/55 - 5798/2585. Suppose -49*u - 833 = -784. Which is smaller: z or u?
u
Suppose 5*s - 5*t = 35, -879*s + 876*s - t = 7. Is s < -5/926?
False
Let b = 3404/275753 + -431410128299/28402559. Let z = 15189 + b. Which is bigger: -1 or z?
z
Let r(l) = l**3 - 6*l**2 + 8*l - 16. Let c be r(6). Let i be (16/c)/((-65)/36 + -1). Let q = -1504/505 - i. Is q <= -3?
False
Let q = -68 + 66. Suppose -2*n = 3*l - 6, -3*n + 3*l + 13 - 4 = 0. Suppose 8 = -y + 5*x - 11, -6 = n*y + 2*x. Is q != y?
True
Let q = 3.3 + -4. Let s = q + -0.3. Let c be (3724/(-27930))/(((-84)/(-10))/(-3)). Which is bigger: c or s?
c
Let l = -5357 - -10727/2. Which is smaller: l or -0.8?
-0.8
Let d = 50 + -53. Let y = 27 + d. Let m = y - 23.66. Are 0 and m equal?
False
Let y be (572/(-99) + 6)*-2. Let d(i) = -i**3 + 13*i**2 + 31*i - 15. Let n be d(15). Is n >= y?
True
Let p = 3703 + -7687/2. Let a(d) = 2627*d + 2486. Let q be a(-1). Which is smaller: q or p?
q
Suppose 0 = -23*z + 2529 + 254. Suppose -71 - z = 24*f. Which is smaller: -9 or f?
-9
Let y(v) be the third derivative of v**6/40 + v**5/15 + 13*v**4/24 + 17*v**3/6 + 123*v**2 - v. Let t be y(-2). Which is greater: -5 or t?
-5
Suppose -5*b = 140 - 135, -5*h + 376 = -b. Is -2 at least as big as h?
False
Let h = -11901 + 15607. Which is greater: 3707 or h?
3707
Suppose 2*j + 3*l + 0*l + 78 = 0, 5*j + 2*l = -195. Let a be 1410/(-130) - (-6)/j. Is a <= -11?
True
Let u = 26624 - 26077. Is u greater than or equal to -0.1?
True
Let k = 89 + -118. Let i = -12 - k. Which is smaller: i or 1?
1
Let v(z) = 3*z**2 + 99*z + 199. Let t be v(-31). Which is smaller: t or -2?
-2
Let i = 1/13045 - -18797843/26090. Is i at most 720?
False
Let n = -0.016 + 6.016. Let x = -11 - 18. Let q = 28.6 + x. Which is greater: n or q?
n
Let i = -34075514/1823 - -18692. Is 1 < i?
False
Let d = -27.9 - -28. Let q = -22538/10635 - 10/709. Let h = q - 1/5. Which is bigger: d or h?
d
Suppose -2*j = -2*o + 3*j + 20, o = -j + 3. Which is bigger: o or 255/61?
o
Let s = -0.026 + -0.284. Let z = s + 3.31. Let b = 282 + -280.6. Is z < b?
False
Let x = 17 + -13. Suppose 5*n + 205 = 5*d, -5*n - d - 195 = -4*d. Let v = n + x. Are -33 and v unequal?
True
Suppose -r - d = -15587, 10*r + 4*d - 77933 = 5*r. Let x = -296181/19 + r. Is x at least -3?
False
Let h = 3714 + -3830.11. Let b = h - 2.89. Which is greater: b or 0?
0
Let m be (1 - -133)/(2 + -1). Let q be 2/m*(0 + -1). Suppose -1 = 2*t - 3*t. Which is greater: q or t?
t
Let f = 46.7 - 42.8. Let h = 0.062 - 3.762. Let c = h + f. Which is smaller: -2/21 or c?
-2/21
Let n(x) = 34*x - 77. Let h be n(2). Let p be ((-5)/h - 1)/((-230)/3). Which is smaller: p or -1?
-1
Let v(l) = -30*l - 27. Let c be v(-5). Let a = c - 123. Which is bigger: -76 or a?
a
Suppose 184 - 44 = -7*w. Let j be (3/w)/(6/216). Are -6 and j equal?
False
Let f = -231 + 436. Is -1 not equal to f?
True
Let k be 4257/456 + -4 - -1. Let l = k + -42/19. Which is greater: l or 5?
5
Let v = 141.684 - -0.316. Let i = -170 + v. Let k = 0.4 + -0.3. Which is smaller: k or i?
i
Let x(n) = 31*n - 10*n + 74 - 12*n - 16*n. Let i be x(10). Is i less than 26/9?
False
Let g = -560 - -562. Suppose 0 = -5*c - x + 18, -g*c - 3 = -x - 13. Which is smaller: c or -44?
-44
Let f be ((-12)/(-10))/(-2) + (-54)/10 + 7. Is f >= -5/3021?
True
Let s(z) = -33*z + 1215. Let p be s(45). Which is bigger: -268 or p?
-268
Let z be (-7 + (9 - 3))*-91. Suppose 0 = d + 2*w + z, 15*w - 19*w - 20 = 0. Is -247/3 less than or equal to d?
True
Let x = 61 + -25. Let q = -34 + x. Suppose 4 = -2*c + q. Are -2/5 and c equal?
False
Suppose 3*m - 13*m = 90. Let c be 12/m - (-5 + 24/9). Is c greater than or equal to 4/169?
True
Let a = 4690 + -4714. Which is smaller: a or -15?
a
Let g = -195 + 256. Let b = 162 - g. Is b < -2/5?
False
Let v = -5 - -10. Suppose -g = 5 + v. Let u be -59*(-21)/5782 - (-129)/(-14). Is u < g?
False
Let r = 41485541326/