. Which is smaller: s or p?
p
Let t = 19 - 47. Let p = t + 30. Suppose -24 = -p*g - 28. Which is greater: -13/5 or g?
g
Let z = 111 - 111. Which is greater: z or -260?
z
Let v = 15 - -9. Let i be (v/5)/(16/80). Which is bigger: i or -4?
i
Suppose -8*g = 9*g. Suppose 2*w - 91 - 149 = g. Which is bigger: 121 or w?
121
Let a be -3 - 740/(-372) - -1. Let i(x) = -4*x + 31. Let h be i(7). Suppose -4*p - 15 = -b, -4*b + h*p + 8 = -0*p. Is a > b?
True
Let c be -2*(6 + (-830)/20). Are c and 2040/29 unequal?
True
Let s(a) = -21*a - 1532. Let m be s(-78). Is m at least 952/9?
True
Let c be (3 + -8 + (-51)/(-15))/(4/20). Which is greater: -2/545 or c?
-2/545
Let j(q) = -59*q**2 + 26*q - 56. Let b be j(10). Let p be 201/39 - 5 - b/(-37362). Which is greater: 1 or p?
1
Let o = -79/56 + 9/8. Let x be ((-2)/8*4)/(1/(-9)). Suppose 4*p - x*p = 5. Are o and p equal?
False
Let s be (-1 + 0)/(3/(-228)). Suppose -2*p + s = 2*k, -4*p + 53 + 23 = 2*k. Which is bigger: 37 or k?
k
Let j = 4594 - 4591. Is j bigger than -863?
True
Let b be (-8)/102*8523/113640. Suppose -2*r - 6 = -2*i + 4, -5*r = -3*i + 23. Is b greater than i?
False
Let q(g) = 2*g**3 - 14*g**2 + 12*g - 4. Let f be q(6). Let r be (f + (5 - (-218)/(-6)))*1. Is 1/4 at most r?
False
Suppose 6*h - 11 = 5*h. Suppose -4*f = 3*g - h, 5*f = 2*f - 2*g + 8. Let b(q) = 2*q - 3. Let s be b(f). Is s greater than 3/46?
True
Let n(z) = -2*z**2 - 15*z - 5. Let i be n(-7). Suppose k + 5 = 0, -i*k - 57 = -2*m + k. Are m and 3/7 non-equal?
True
Suppose -2*m - 11 = -9. Let l be 36/(-14)*(2 + (-8)/3). Is l less than m?
False
Suppose i + 9 = 4*i. Suppose 7 = i*n - 14. Let j = 3816/11 - 11261/33. Which is smaller: j or n?
j
Let o = 430 + -429.504. Let d = -0.396 + o. Which is smaller: 37/5 or d?
d
Let h = -100 - -159. Let t = -41 + -34. Let g = t + h. Which is smaller: 2 or g?
g
Suppose 0*c - 3*c + 4*y + 444 = 0, 3*y + 585 = 4*c. Let l be (c/(-70) + 2)/(-2)*-3. Does l = 1?
False
Let j(g) = -g - 7. Let p be j(-6). Let m(z) = -98*z - 7. Let i be m(p). Let d = 89 - i. Which is greater: 6 or d?
6
Suppose 17*i + 3257 = -347. Which is smaller: i or -215?
-215
Let n = 255.2 + -249. Let g = -93.8 - n. Is g not equal to 0.1?
True
Let q = -1.96 - -2. Let x = q - 0.04. Let d be (-1 - (-335)/320)/((-20)/16 - -1). Is d <= x?
True
Let o be 7 + -12014 + -14 - -13. Does o = -12006?
False
Let g = 104 - 103. Let v = -206348/13 + 105856606/6669. Let r = v - -8/351. Which is greater: r or g?
g
Suppose -26*v + 3 = -27*v + 2. Do v and 26/551 have the same value?
False
Let m = 218/5 + -434/15. Let g be (22 - (-7944)/(-360))*-5. Is g at most m?
True
Suppose 2*u - 6 = -4*h, 0 = 3*h - 6 + 12. Suppose -m = 4*o - 12, 0 = 4*o - 2*m + 6*m. Suppose o*z - 6*z + s = -19, 3*s = -3. Which is smaller: z or u?
u
Let r be (-3 + 1113)/(-3)*228/570. Is r not equal to -0.05?
True
Suppose -5*h - y = 73, 0 = 105*h - 108*h + 2*y - 49. Let k = -5 + 4. Let b(l) = 16*l. Let r be b(k). Is h > r?
True
Let z = -28 - -30. Suppose -22 - z = -8*q. Suppose q + 9 = -4*k. Is k equal to -3?
True
Let f = 0.68 - 0.8. Let d = 0.982 + -0.762. Let b = f + d. Which is greater: 6 or b?
6
Let m = 936 + -927. Let i(f) = 5*f**3 - f**2 + 3*f - 1. Let l be i(1). Do l and m have the same value?
False
Let r = -12963 - -12968. Is r greater than or equal to 533?
False
Let m be 0 + (-2412)/(-7) + ((-312)/56 - -5). Is 350 > m?
True
Suppose -4*t + 21*l = 13*l - 584, 0 = 5*t + 5*l - 685. Is 5/3 bigger than t?
False
Suppose -233*a + 73340 = -43*a. Is a greater than 383?
True
Let p(k) = -k**3 - 11*k**2 + 6*k - 14. Let f be p(-12). Suppose 312 = 4*h + 2*o - 3*o, -5*o = 0. Let t = f - h. Which is bigger: -21 or t?
t
Let p = 1781 + -9257. Let w = 7483.007 + p. Let b = 0.007 - w. Are b and 2/23 unequal?
True
Let l be (-52400)/120*12/10. Let v = 527 + l. Is v < -6?
False
Suppose 0 = 344*o - 346*o + 3*w + 24843, -4*o = 2*w - 49614. Is o >= 12408?
True
Let q = 95.84 - 95.73. Is q greater than 0.48?
False
Let m(d) = -2389*d + 779. Let n be m(-2). Is n at most 22233/4?
True
Let l(o) = 9*o - 2. Let i be l(-2). Let k = i - -81/4. Let g = -19.9 - -18.9. Are k and g unequal?
True
Suppose 5*h + 10 + 0 = 0. Suppose -i = -4*p - 104, 2*p = 4*i - 27 - 11. Let k(n) = -n**2 - 34*n - 193. Let x be k(p). Is x > h?
False
Let a = -1.29 + 1.54. Let i = 22.25 - a. Let c = -4 + 4. Do c and i have the same value?
False
Let m = -1.433 - -2.233. Do -91 and m have the same value?
False
Let k be -5 - (0 + 40/((-48)/(-6)) + -26). Let q(h) = 4*h**2 + h - 1. Let o be q(-2). Which is greater: o or k?
k
Let c = -0.3783 - 14.6217. Which is greater: -20 or c?
c
Suppose 0 = -11*q + 14*q + 6*c + 5472, 24 = -4*c. Is q <= -1814?
False
Let h(w) = -w - 7. Let r be h(-11). Suppose 474 = -r*p - 26. Which is bigger: p or -126?
p
Let k = -0.09402 - 0.00598. Are k and 295.4 non-equal?
True
Let z = 877 + -905. Suppose -3*c = 5*m - 15 + 106, -2*c - 5*m - 64 = 0. Which is smaller: z or c?
z
Suppose 0 = -5*q + 2*z + 8150, -3*q - 145*z + 144*z = -4901. Which is greater: 1628 or q?
q
Let v be (1 - 78/69)*2. Let o be (-114 - -114)/(-2 + 2 + 3). Is v <= o?
True
Let s(v) = -2*v + 3. Let m be s(-9). Let w = 26 - m. Let b = 540 - 3205/6. Are b and w non-equal?
True
Let h be (-98)/(-21) + 4/(-6). Suppose -h*w = 2*f - 92, -5*f - w = -5*w - 188. Suppose 0 = -2*a + 6 + f. Is a equal to 22?
False
Let k = 619.9 + -618.9. Which is smaller: 4.927 or k?
k
Let y = 5572653/970 - 5745. Is 0 < y?
True
Let t be (-9024)/(-705) + (-13)/1. Is t > 5709?
False
Let w be ((-1)/1)/(((-32)/25360)/(20/25)). Which is greater: w or 631?
w
Suppose 10*h + 15 = 13*h. Suppose -3*v - h*k + 213 = 36, 4*v - 219 = -k. Is 55 > v?
True
Let f be (-5)/((-100)/(-32))*60/136. Let l(q) = -4 + 18 - 9 + 26 - 3*q. Let j be l(11). Which is greater: f or j?
f
Let v = 20084 + -20140. Which is smaller: -2.4 or v?
v
Let f = -22.367 - -22.167. Which is bigger: 2509 or f?
2509
Let w(z) = z**3 + 36*z**2 - 66*z - 71. Let b be w(-39). Which is bigger: -2059 or b?
-2059
Let s = 52 - 48. Suppose -n = 2*f - 11 + 4, 0 = -4*f + s*n - 4. Which is bigger: f or -33?
f
Let v = -95 - -93. Let u = -2 + 3. Let o be u/3 + 3/(-6). Which is smaller: o or v?
v
Let b(n) = -70*n - 83. Let r be b(8). Is r less than -642?
True
Let a = 13506.9 - 13507. Do a and -14.92 have the same value?
False
Let c = 1448831/14260 + -3/2852. Is c bigger than 103?
False
Suppose 0 = 28*g - 312 - 31 + 119. Which is bigger: g or 0?
g
Let l be (-48)/12 - -8 - ((-880)/925 - -5). Which is smaller: 1 or l?
l
Let b(q) be the second derivative of -q**4/12 + 13*q**3/6 + 14*q**2 + 5*q. Let j be b(12). Let v = j + -3. Which is greater: -1 or v?
v
Let n(q) = -q**3 + 50*q**2 - 28*q + 55. Let h be n(50). Is -1347 greater than or equal to h?
False
Suppose -11096 + 1387 = -7*i. Are 1387 and i equal?
True
Let u be 0*(-6)/42 - -1. Let n = 199/1140 - 3/19. Is u < n?
False
Let g(s) = -s**3 + 4*s**2 + 11*s - 2. Let z be g(8). Let u be 6*10/15 + 681/z. Is u <= -1?
False
Let f = 10304.2 + -10305. Which is bigger: 0.056 or f?
0.056
Let v be -6*28/(-6) + 0/(-4). Let x = -3386/11 - -308. Do x and v have the same value?
False
Let b = 529.2 + -535.2. Is b < -4/157?
True
Let b = 19747/4 - 4937. Is 420 at most b?
False
Suppose -74 = -3*t + 64. Let p(r) = 132*r + 7305. Let g be p(-55). Which is smaller: t or g?
g
Let r = 242.2 - 239.4. Is r >= 44?
False
Let z = 131.7 + 41.3. Let w = z + -168. Which is greater: w or 1.2?
w
Let l(g) = 9*g**3 + g**2 + g - 1. Let t be (-16)/(-64) - (-2)/(-8). Suppose 0 = -3*w + y + 3 + 3, t = 3*w - 4*y - 15. Let z be l(w). Is 12 > z?
True
Let n be (-2)/6 + (-2600)/(-24). Let r = n + -102. Let b(u) = 11*u - 54. Let p be b(r). Which is smaller: p or 32/3?
32/3
Let w = 21389 + -1946398/91. Is w < 2?
True
Suppose -2*t + t - 5*i = 4, 0 = 3*t - 35*i - 88. Let w = -16.5 - -24. Which is smaller: w or t?
t
Suppose -5*x + 3*p = 0, 3*x + 19*p - 24*p = 0. Which is smaller: -183/200 or x?
-183/200
Let z = 53 + -165. Let k(a) = 27*a + 510. Let f be k(-23). Which is bigger: f or z?
f
Let o(g) = -30*g**2 + 83*g - 19. Let q be o(4). Which is bigger: q or -159?
-159
Suppose 14*m - 400 = -372. Let a be (-1)/(-6) + (-295)/(-120). Is m less than a?
True
Let o be ((-2)/(-4))/(-4 + 42/12). Let r be (6/(-78))/((-2)/(-10)). Which is smaller: r or o?
o
Suppose 155*q = 183*q +