. Let p be 4/6 - (-22)/(-24). Which is greater: p or x?
p
Let u = 18/3221 + -2609136/22547. Which is greater: u or -115?
-115
Let j = -16/35 + 3/5. Let o = 11 + -11. Suppose o*a - 2*a = 0. Which is smaller: a or j?
a
Suppose -3*l = l. Let y = l + -8. Let t be (-38)/(-57)*(-3)/y. Is t > 0?
True
Let v = 1373 - 1378. Is v > 4?
False
Let i = -110 + 259. Suppose 0 = -6*y - 29 + i. Which is smaller: 1/4 or y?
1/4
Let z = -0.834 + 1.834. Which is smaller: 1/408 or z?
1/408
Let u = 13 + -21. Let p be 2/u + 161/(-28). Suppose i - 39 = 5*z, 8*z - 3*z + 3*i = -23. Which is bigger: z or p?
p
Let v = -841/6837 - -11/129. Let x = -84 + 16. Let r = 69 + x. Is v smaller than r?
True
Let f = 3.13 - 0.33. Let u = 1 - f. Let x = u + 1.9. Is -4 != x?
True
Let y(q) = -q**3 - 7*q**2 + 8*q - 4. Let s be y(-8). Let l(t) = t**3 - 11*t**2 + 3*t - 14. Let k be l(11). Suppose -22*a - 9 = -k*a. Which is bigger: a or s?
a
Suppose v + 8 = -2*o, -o - v = -0*v + 4. Let d(t) = -14*t - 10. Let q be d(o). Let g be (-7)/28 + q/(-40). Are -2 and g equal?
False
Let b be (15/20)/(-3) - (-3409)/4. Let s be b/(-141) + 2 - -4. Is -1 equal to s?
False
Let n = -10.86 + 10.803. Is n at least 4?
False
Suppose 65 = -3*v + 2*c, 4*v - c + 89 = 4*c. Which is smaller: -61/3 or v?
v
Suppose 10*b = 6*b + 96. Let d be 495/b + 6/16. Which is smaller: 1 or d?
1
Suppose -d - 1 = -2. Let p be 57/(d + (-13)/10). Let g = 1328/7 + p. Which is greater: g or 0?
0
Suppose -r - 10*r + 11 = 0. Let p be (-414)/103 - (-2 + -2). Which is greater: p or r?
r
Let k = -0.9 - -1. Let a = 33 - 54. Let y be (2/a + 6/14)*3. Is y not equal to k?
True
Let m = 29/30 + -7/6. Suppose 3*l - l = 0. Let p be l*(2 + (1 - 2)). Is p greater than or equal to m?
True
Let k = -96 + 37. Let q = k + 59.3. Which is smaller: q or 1.1?
q
Let x be (-3 - -2)*(-3)/(42/805). Which is smaller: x or 57?
57
Let m = 0.0087 + -0.0487. Which is greater: m or -60?
m
Suppose 5*a + 3*l = -0*a + 12, -2*a - l = -4. Suppose a*s + 3*s = 57. Let n = s - 25. Is n >= -5?
False
Suppose -3*t - 5*v = -4*v + 79, 3*t = 2*v - 85. Which is smaller: -142/5 or t?
-142/5
Let i = 2071 + -1727. Does 343 = i?
False
Suppose 0 = -4*i + 13*i + 126. Which is bigger: -2 or i?
-2
Let w = 78 - 69. Suppose -7*m = -2*m. Is m at most as big as w?
True
Let g be 4/10 - (-17)/((-104550)/2560). Which is smaller: 1 or g?
g
Suppose 3*a + 81 - 96 = 0. Let i = -3 - 9. Let o be ((-26)/i - 2)*22. Is a less than o?
False
Suppose q - 5 = 4*y, y - 4*q = -y - 6. Let a be ((-34)/6)/(y/3) - -3. Are a and -2/5 equal?
False
Let z = 0.35 + -0.3524. Let o = -2.6724 - z. Let u = 2.7 + o. Which is bigger: u or -2?
u
Suppose 2*d + 2*l = 6*l + 18, 0 = 5*d - 5*l - 30. Suppose -d*o - 7 = -10. Are -3/14 and o nonequal?
True
Let a = -55.12 - -3.12. Which is smaller: a or 1?
a
Let r = 2303 - 2282. Let b(u) = 4*u**3 - 3*u**2 + 2. Let w be b(2). Which is greater: w or r?
w
Suppose 47*z + 490 = 40*z. Which is greater: -71 or z?
z
Let r = 36 + 96. Suppose r = 8*l - 76. Is l less than or equal to 25?
False
Let p be (-4 + (-15)/(-4))*-100*5. Which is greater: p or 128?
128
Suppose 9*y - 14 = 16*y. Let n be (-100)/30 - -1*(3 + y). Suppose 0 = 4*v - 0*v + 8. Which is smaller: v or n?
n
Let c be ((-2)/10)/(-7 - (-250)/15). Which is bigger: c or 0?
0
Let t be (-45)/(-12)*10/6. Let o = -564 - -571. Is o smaller than t?
False
Let k(u) = -u + 1. Let x be k(8). Let c be (-4)/x - 24/(-56). Is c <= 12/7?
True
Let b = 27.9 + -30.9. Do 2 and b have different values?
True
Let d = -5.11 + 0.11. Let u = -4 - d. Suppose -45 = 4*h - 5*s, -s + 3 = -2*h - 12. Are h and u equal?
False
Let p be 2/4*(-7 + 29). Let s be (2 - 3) + p*3. Suppose 3*r - s = -r. Is r less than 8?
False
Let s = 29 - 29. Suppose 2*q + 5*q + 14 = s. Which is smaller: q or -14/9?
q
Suppose 5*y - 62 = -27. Suppose -4*n + 2*m + 2 = 0, 3*m - 4 = n + y*m. Let h = -229 + 923/4. Is n < h?
True
Let c(b) = -b**2 - 10*b + 16. Let o be c(-11). Suppose o*m + 5*x = -5, 0*x + 4*x = -m - 7. Let h = -32 + 17. Is m at most as big as h?
False
Let w = 37 - 107/3. Let g = 16 + -26. Let r be 4/(-5*4/g). Is w less than r?
True
Let x(n) = -3*n**3 + 2*n**2 + 2*n. Let j be x(-1). Let c be 1*(-3 + j)*-1. Let o = 757/10584 - -1/392. Is c bigger than o?
False
Let r = 1.02 - -52.98. Does -2/9 = r?
False
Suppose 0 = 5*s + 15, 0 = 2*a + 2*a + 4*s + 36. Let c(k) = k + 8. Let t be c(a). Let u(g) = -2*g**2 + g + 1. Let j be u(t). Do j and -5 have different values?
False
Let d(c) = c**3 - 7*c**2 - 11*c + 8. Let f be d(8). Let v be 1/2 - 24/f. Is 3/14 less than v?
True
Let y = 23 + -8. Let j = y - 3. Let d = j + -12.2. Do d and -0.04 have the same value?
False
Let u(g) = g - 10. Let r be u(10). Let j = -267/4 - -317/4. Let y = -12 + j. Which is smaller: r or y?
r
Let h(i) = -i**2 + 9*i + 36. Let r be h(16). Let z be 2 + -1 - r/(-20) - -2. Which is smaller: -2 or z?
-2
Let k(t) = 7*t + 6. Let j(c) = -6*c - 6. Let n(l) = 6*j(l) + 5*k(l). Let x be (-80)/14 - 4/14. Let d be n(x). Is d smaller than 0?
False
Let k be (-1584)/(-15)*16/10. Let s = 169 - k. Let n be ((-1)/5)/((-4)/20). Which is bigger: n or s?
n
Let t = 21 + -20.998. Let k = -0.038 - t. Let x = -1 - -1. Is x less than k?
False
Let g = -1208 + 1190. Which is smaller: g or -22?
-22
Let c = -54 - -49. Which is bigger: c or -80/19?
-80/19
Let s(a) = -a + 6. Let b be s(5). Let o = 38 + -420/11. Let j = o - -49/88. Is j < b?
True
Let i = -1008 - -892. Which is smaller: i or -701/6?
-701/6
Let i(o) be the third derivative of -o**6/120 - o**5/12 + o**4/12 - o**3/3 - 35*o**2. Let a be i(-5). Which is greater: -10 or a?
-10
Let p(d) = d**2 + 2*d - 4. Let w be p(-4). Let b = 2/91 + 904/273. Which is smaller: b or w?
b
Let s be (306/15)/(36/(-90)). Is s < -55?
False
Let l be 2/(-5) - 348/30. Let g be ((-8)/(-2))/(3 + (-85)/25). Is g <= l?
False
Let f = -465 + 338. Let r(g) = -9*g**2 - 7*g - 11. Let x be r(-4). Is x > f?
False
Let c be (-40)/51 - (-74)/111. Is c equal to 1?
False
Let l be 2*(-63)/(-1296) - 2/9. Let h(a) = -a - 3. Let u be h(-4). Let s = -2 + u. Do l and s have the same value?
False
Suppose -4*f + 4*f = -4*f. Is f >= 3/671?
False
Let l be 12/(-8)*(-1)/(-3). Let u be (-2)/21 + (-1408)/(-231). Which is smaller: u or l?
l
Let i(n) = n**2 - 3*n - 5. Let f be i(5). Let b = -2 + f. Let g(k) = -k**3 + 3*k**2 + 4*k - 9. Let t be g(3). Is b less than t?
False
Let c be ((-2)/(-18))/((-1)/(-30)). Let w = 5 + -2. Which is bigger: w or c?
c
Suppose -4*s + 67 = -3*u, -5*u + 11 = s - 0*s. Let v = 39 - 22. Which is smaller: s or v?
s
Let v be (-14)/(-63)*-6 + (-4)/6. Which is smaller: 2/33 or v?
v
Let p(g) = -g**3 + 16*g**2 - 14*g - 19. Let n(x) = -x**3 + 20*x**2 - 16*x - 42. Let i be n(19). Let b be p(i). Which is smaller: -7 or b?
-7
Let o(f) = -f**3 + 2*f**2 - 5*f - 831. Let w be o(0). Is -831 smaller than w?
False
Suppose -3*g - 2*g - 5*k + 35 = 0, -g = -2*k - 4. Let u be 27/6*g/315*5. Is u at least -1?
True
Let y be -2 + 14/1 - -3. Suppose -m - 4 = y. Let l = -15 - m. Is l smaller than 6?
True
Suppose 99*g + 12 = 101*g. Does g = 37/5?
False
Let i = 5571/2 - 2786. Let z = -103/4 + 26. Which is greater: z or i?
z
Let g be 0 + -3 + 87*-1. Let z be ((-4)/(-10))/(342/g). Which is greater: z or 2/5?
2/5
Suppose 3*q = 2*b + 6*q + 24, -q = -3*b - 14. Let v be (b - (-3 + 2)) + 5 + -3. Which is greater: v or -19/8?
-19/8
Let u be 1 - 4 - (-21)/3. Suppose u*o = 7*o. Suppose 4 = 4*g - o. Which is greater: 1/12 or g?
g
Let q = 12.6 - 12.571. Which is greater: q or 1/3?
1/3
Suppose -2*t + 4*o - 12 = 0, t + 0*t + 30 = -4*o. Let r be 14/(-12)*(-9)/t. Are r and -2 equal?
False
Let t = 1779 + -1678. Which is smaller: 99 or t?
99
Suppose 0 = -3*f - 4*b + 7, 3*f - b = 3*b - 1. Let y(j) = 3*j**2 - f - 7*j**2 + 0 + j. Let k be y(1). Is -4 != k?
False
Let b = 0.439 - 0.039. Let q = -0.1 - 0.1. Let z = b + q. Which is smaller: z or 0.08?
0.08
Suppose -2*f + 368 = 4*x, 4*x - 365 = 5*f + 3. Let o = -919/10 + x. Let q = 1/27 - 31/108. Is q not equal to o?
True
Suppose 0 = -t - 30 + 130. Let h be 54/(-10) - (-40)/t. Is h less than or equal to -27/5?
False
Let z = 251 - 250. Is z equal to -1/111?
False
Suppose 0 = 51*t - 239 + 86. Let q = -20 - -21. Are q and t unequal?
True
Let c = -2.2 - -0.2. Let p be (-8)/(-6)*(-144)/(-96). Which is smaller: c or p?
c
Let d = -1/6 - 1