-25*s - 223. Which is smaller: p or -55?
p
Let j = -190 + 198. Let t be 28 + (-1 - -1)*-1. Suppose 4*p - 8 - 36 = 3*y, -4*p - y = -t. Is j != p?
False
Let p = -16 + 16. Let j be 3*(p - (2 + -1)). Let c = -6 - -4. Which is bigger: j or c?
c
Let t be (10/(-4) + 2)*(4 - 2). Let z be 8/(-9)*t/(-36). Is z < 0?
True
Let z = 313.2 - 343. Let f = -34 - z. Let d = 4 + f. Is d > -0.2?
False
Let n = 2/2035 - 32618/59015. Let p = 49/174 - n. Is p equal to 0?
False
Let t be (2/(-7))/(40/(-140)). Let f be t/(68/24)*(-6)/(-9). Is f smaller than 1?
True
Let w(f) = -2*f - 22. Let a be w(-11). Suppose 4*u + 6 = -3*x, -2*u + 3*x = -a*x - 6. Which is smaller: u or -1/33?
-1/33
Let y(h) = h**2 - h. Let k be y(-3). Suppose -4*d = -k - 4. Let n be (-2)/d - (-6)/4. Which is smaller: -4/9 or n?
-4/9
Let h(j) = -2*j + 2 - 3*j**3 + 2*j**3 - 12*j**3 - 8*j**3 + 3*j**2. Let m be h(2). Let t = -1108/7 - m. Which is smaller: 0 or t?
t
Let k(q) be the second derivative of -q**4/12 + 5*q**3/6 + q**2 + 41*q. Let d be k(0). Is 1 equal to d?
False
Let b = -1898/5 - -5689/15. Is 0.06 at least as big as b?
True
Let z = 1 + -1. Let w(p) = -p**2 - 2*p + 3. Let f be w(-2). Let i be (f/(-27))/((77/6)/11). Which is smaller: z or i?
i
Suppose -8*l - 30 = -5*l. Let d be (-9)/(-6)*2 - l. Let r(w) = -2*w**2 + 25*w. Let m be r(d). Is m greater than -13?
False
Let d be 208/65 - (-2)/(-10). Let x be 2 + ((-6)/(-2))/d. Which is smaller: x or 22/9?
22/9
Let s(i) = -8*i + 3. Let x be s(3). Let f be (-8)/(-18)*x/8. Let k(p) = -39*p - 234. Let n be k(-6). Is f less than or equal to n?
True
Let i = -66 + -8. Let h = i + 443/6. Suppose 40*p + 5 = 35*p. Which is greater: p or h?
h
Let x(l) = -2*l**2 + 61*l - 31. Let q be x(24). Which is greater: 280 or q?
q
Let b(q) = q**2 - 2*q - 1. Let w be b(-1). Let r be 8/(-6) + (-330)/(-45). Suppose w*c - 87 = 3*a, 0 = a + r*c - c + 46. Are -31 and a equal?
True
Let k be 1 + 4/(-10)*443. Let h = k + 174. Which is greater: -3 or h?
h
Suppose 3*k + 1 - 16 = -3*m, -16 = -5*m - 2*k. Let x = 3/64 - -45/64. Which is bigger: m or x?
m
Let t = -231 + 266.4. Let x = t - 37. Which is bigger: x or 2/5?
2/5
Let y = -6 + 6.3. Let h = -0.2 + y. Let r = 35.5 - 35.4. Are h and r equal?
True
Suppose 24*i - 216 = 20*i. Is 54 less than i?
False
Let m = 2.6 - 0.6. Let j = 11.4035 + -0.4035. Which is greater: j or m?
j
Suppose 25 = 2*t - 3*f, 5*t + f = 5*f + 80. Let n = 22 - t. Is -3/5 not equal to n?
True
Suppose 18 + 0 = 3*b. Suppose j = -15 - b. Let t be 9/j + (-129)/(-105). Which is greater: t or 3/4?
t
Let i = 2 - 21. Let d = 38 + i. Let m = 18.7 - d. Is -1 greater than or equal to m?
False
Suppose 0 = 3*k - 9, -1164 = -5*g - 0*g + 2*k. Let z be 3*(-4)/g*(-6)/16. Which is smaller: z or -1?
-1
Let g be (4*-1)/(12/(-36)*3) - 4. Let x be (2 + 1)*(-4)/(-63). Which is bigger: x or g?
x
Suppose 2*i + 3007 = 1055. Which is smaller: -975 or i?
i
Suppose 2*q - 17 = -73. Let w be (-20)/18 + q/(-42). Let a = -4/3 + 5/6. Which is smaller: w or a?
a
Let t(r) = -r**2 - 1. Let h(x) = -7*x**2 - 11*x - 23. Let k(z) = h(z) - 6*t(z). Let i be k(-9). Which is greater: i or -2?
i
Suppose -u + 3*k - 7 = 6, 0 = -4*u + k + 3. Is 34/13 at most as big as u?
False
Let r be (-1)/(6 - (-376)/(-64)). Is r > -3?
False
Let t = 112/23 - 947/322. Let a = -41/21 + t. Which is smaller: 0 or a?
a
Let t(q) = -6*q - 28. Let p be t(-5). Let g be p + -1 - (-272)/(-270). Which is smaller: 0 or g?
g
Let l be -19 + 24 + (-277)/55. Suppose 0*i + 4*s = i + 12, s - 3 = 4*i. Suppose m + 2*m - 3 = i. Which is bigger: m or l?
m
Let f(v) = -v**3 - 10*v**2 + 8*v - 2. Let m be f(-11). Let g be 2/(-6) + m/3. Let c be ((-12)/g)/(2/(-5)). Which is greater: c or 2?
c
Let d = -41/2 - -21. Let p(o) = o**3 + 5*o**2 + 5*o - 3. Suppose 2 + 1 = -c. Let s be p(c). Which is bigger: d or s?
d
Let p = -15 - -6. Let t = 25.3 - 17.2. Let k = t + -7.1. Does k = p?
False
Let m = 0.0357 - 5.0357. Which is bigger: 2 or m?
2
Let d = 0.386 + -0.357. Is d less than or equal to 0?
False
Let x(t) = -3*t - 9. Let m be (-1*1)/(9/45). Let j be x(m). Which is smaller: j or 5?
5
Let h = -10 + 5. Let c = -3 - h. Let v = -0.2 - 3.8. Which is smaller: v or c?
v
Let u = -13024 - -2930393/225. Which is bigger: u or 1?
1
Let t(u) = -u**2 - 6*u - 6. Let b be t(-5). Let p be (-7 - b)/(2/(-1)). Let m = -11 + p. Is -10 greater than m?
False
Suppose 4*k = -3*r + 38, -5 - 33 = -5*k + r. Suppose -3*o = 2*a + 2, -3*o - k = -5*o + a. Which is bigger: 9/16 or o?
o
Let q be ((-4)/(-6))/(8/1932*-7). Which is smaller: -15 or q?
q
Let r = 1.26 + -1.251. Which is smaller: r or -1?
-1
Let u be ((-12)/30)/(1/30). Let g = u - -17. Suppose 5*a = -g, -2*t + 1 = -3*a - 2. Which is smaller: t or 2/5?
t
Let x = -1/8536 - 59681/606056. Do x and 0 have the same value?
False
Let a = -846 - -845.95. Which is greater: 4 or a?
4
Suppose 2*x = -10, -4*u + 13*x - 28 = 9*x. Is u bigger than -14?
True
Let n = -0.145 - 2.855. Is -1 less than n?
False
Suppose n + 2*u + 106 + 277 = 0, -3*n = -3*u + 1194. Do -393 and n have the same value?
True
Let r be ((-8)/(-14))/((108/(-7))/(-6)). Is 648 not equal to r?
True
Let x = 34 + -33. Suppose 2*j + 7 = -u - 3, 5*u + 30 = -5*j. Let i = x - u. Is 3 at most as big as i?
True
Let c be 1/4 + (-3)/(-6). Suppose 5*l = -4*p - 33, 3*p + 2 = -l - 9. Let q be (0 - p/7)*1. Is c less than or equal to q?
False
Let s be (-5)/6 - 28977/(-35334). Is s equal to 2/3?
False
Let b(h) = h**3 - 5*h**2 + h. Let a be b(5). Let v = -48 - -66. Let z be 3 - 1/(a/v). Which is bigger: 0 or z?
0
Let i = -23 - -22. Does i = -17/38?
False
Let k(a) = 8*a + 13. Let r be k(-14). Let z be (22/r)/((-1)/(-6))*3. Which is bigger: z or -7?
z
Let b(i) = i**2 + 11*i + 0*i**2 - 13*i - 2. Let c be b(2). Which is bigger: c or 14?
14
Let g be 6/6 - (-68)/(-4). Let b be 12/16*g/(-510). Is -0.1 at most as big as b?
True
Let y be -4*(-12)/32 + (-1)/(-2). Let v be 2 + 360/(-143) - y/(-13). Which is smaller: v or 1?
v
Let i = -39 + 10. Let n = i - -31.4. Are n and -1 equal?
False
Suppose -8 = 4*x - 4. Let k be (1446/20)/x - -4. Let b = k - -68. Which is smaller: b or 0?
b
Let t be (26/124917)/(4/30). Let d = t - 5862/5807039. Let j = -29013/9065 + d. Which is smaller: -4 or j?
-4
Let u be (-73 + 37)*2/4. Is u bigger than 6?
False
Let i = 15169/17 + -892. Which is smaller: i or 0?
0
Let q be (-1 + -1)/((-31796)/(-36)*9). Is 0 greater than or equal to q?
True
Let r = -208251 + 846121/4. Let q = 3263 - r. Which is smaller: -17 or q?
-17
Suppose 4 + 21 = 5*n, -4*u - n = 47. Let a(j) = j**2 + 7*j - 29. Let r be a(u). Which is smaller: 50 or r?
r
Suppose -o + 7*o + 6 = 0. Let p be (-1 - -2)/(o/3). Let i(d) = -2*d - 6. Let x be i(p). Which is bigger: x or 8/9?
8/9
Let x = -5 - -8. Let p be 1/9*x*6. Suppose 2*d + 2 = -3*h + 4*h, -5*h = -10. Which is smaller: d or p?
d
Let c = 7 - 6.93. Let g be 3 + (3 - 210/36). Is g less than c?
False
Let z = 4720 - 23604/5. Let s = 3.89 - -0.11. Let f = s + -3. Is z < f?
True
Let m = -118 - -114. Let q be m*22/4*3/(-72). Which is bigger: q or 2?
2
Let y(u) = 85*u + 338. Let z be y(-4). Which is greater: z or 687?
687
Let r be 1248/304 - 4*1. Let y = 9 + -7. Suppose -1 = y*a - a. Which is greater: r or a?
r
Let l be 0/(18/(-27) + (-2)/6). Is l bigger than 2/777?
False
Let g be (2/90)/(32/80). Is 7/5 less than or equal to g?
False
Suppose -2*q = -4*a + 324, -19*q - 232 = -3*a - 23*q. Is a smaller than 81?
True
Let g = -58 - -61. Suppose g*q - 2*q - 14 = 0. Is q < 10?
False
Let s(j) be the third derivative of -j**4/24 - 8*j**3/3 + 19*j**2. Let c = -10 + -3. Let g be s(c). Are -3 and g nonequal?
False
Let s be ((-489)/(-9))/((-2)/3). Let j = 144737/1771 - 3/253. Let m = j + s. Is -1 at most as big as m?
True
Let m = 12526/15 + -4442/5. Which is greater: -54 or m?
m
Suppose 5*y - 2811 = d, -95*y + 96*y = 3*d + 565. Are y and 562 nonequal?
False
Let q = -0.09 - 3.91. Let s = q + 2. Let a = -20 - -20. Which is smaller: s or a?
s
Let q(s) = 17*s - 93. Let d be q(4). Is d < -25?
False
Suppose -6 = -o + 3*o + x, 4*o = 3*x - 2. Suppose 11*a - 6*a - 5 = 0. Suppose 3 = -2*s - s + 2*l, s - l + a = 0. Is o less than s?
True
Let t = -5.07932 - 0.04368. Let r = 0.133 + t. Let d = -5 - r. Is d < 0.1?
True
Suppose -39*s = 109 + 1568. Is -4 at most s?
False
Let z be (-3 + 3 - -5) + -5. Which is