ller: t or p?
t
Let l(x) = x**2 - 9*x + 7. Let o be l(8). Let u be 0/1 - (o - 2). Suppose -4*d = -z + 4, -7*z - 1 = -u*z + d. Which is greater: 1 or z?
1
Suppose 0 = 3*r - 12*r. Suppose -4*m + 5*m = r. Is m smaller than -10/11?
False
Suppose 0 = t + 3*t - 4. Suppose -1 = g + t. Let b = -134 - -134. Is g smaller than b?
True
Let a be (-9)/(-3)*63/81. Let g = -28 + 31. Which is bigger: a or g?
g
Suppose 0 = 11*q + 26*q + 2405. Which is smaller: q or -69?
-69
Let r = 13/759 + -12425/636801. Which is smaller: r or 1?
r
Let w = -58 + 115. Let f = w + -57. Is 27 > f?
True
Let f be (2/4)/((-6)/8). Let k be ((-128)/(-25) + -5)/((-3)/15). Is f <= k?
True
Let b = -112 + 118. Let z be (1/106)/((-3)/b). Which is smaller: 0 or z?
z
Let r = 12/7 - 197/119. Suppose 0 = -6*p + 3*p - 27. Let i = -8 - p. Which is greater: r or i?
i
Let n be (15/(-10))/((-9)/(-96)). Is -238/15 equal to n?
False
Let s(m) = -m**3 - 5*m**2 + 6*m + 3. Let g(v) = -v**2 - 5*v - 6. Let z be g(-5). Let a be s(z). Let w be a/(-2 + (-10)/(-8)). Are w and -5 equal?
False
Let a be 2/(-4) - 77/(-98). Let w = -25 - -25.8. Which is greater: a or w?
w
Suppose 0 = 3*o - 3*h - 2*h - 159, -5*o + 265 = h. Let n = -54 + o. Let u(z) = 4*z**2 - 1. Let v be u(-2). Are v and n unequal?
True
Let d be 12/(-15) + (-404)/20 + 4. Which is smaller: -24 or d?
-24
Let w = 53407/31 + -1723. Let o be -9 + 12 + (-1 + 4)*-1. Which is smaller: o or w?
w
Let k = 1286 + -774. Which is smaller: 514 or k?
k
Let x(p) = -187*p + 556. Let j be x(11). Is -1500 at most j?
False
Let w = 9422 + -8828415/937. Is w > 1?
False
Let f = -66201/50 - -1324. Which is greater: 7 or f?
7
Let s be 8*(-4)/(-272) + 1184928/3230. Let w = -367 + s. Which is bigger: 0 or w?
0
Suppose 2 = 3*n - 3*k + 20, -5*k + 9 = 2*n. Let w be 1 - (26/7 + n). Is w smaller than -0.08?
False
Let g(c) = 14*c + 135. Let f be g(-15). Which is greater: f or -76?
f
Let g = 136 - 116. Let y be 708/(-15) + 4/g. Which is bigger: y or -46?
-46
Let o be 10 + 1*(-3 + 2). Suppose -6*n + o*n - 3 = 0. Suppose 2*z + 3 = -n. Which is bigger: -2/7 or z?
-2/7
Suppose -10*j - 655 - 55 = 0. Which is smaller: j or -356/5?
-356/5
Let c(r) = -r**3 + 5*r**2 - 4*r + 3. Let i be c(4). Let y be (i/(-6))/((-1)/4). Suppose 4*a = 2*m - 4*m + 6, 0 = 2*a - y*m + 12. Which is greater: -2/7 or a?
-2/7
Let l = 0.316 - 0.316. Is -485 at least l?
False
Let d = -496 - -588. Is d greater than or equal to 91?
True
Let v(k) = 3*k - 36. Let w be v(12). Are -2/311 and w nonequal?
True
Suppose 0*u = 3*u + 3. Let t = -1497155/7 + 214285. Let y = t - 405. Which is smaller: u or y?
u
Let v = -3 - -7. Suppose 0 = v*h - 5*h + 45. Suppose g + 4*g + 59 = 3*y, -5*y - 5*g = -h. Is 12 <= y?
True
Suppose -5*h = -4*a - 98, -a + 70 = 2*h + 2*h. Suppose 5*y + 42 + h = 0. Is y less than -23/2?
True
Let f be (-3)/6*(-1028)/(-3). Let b = f + 182. Which is smaller: b or 11?
b
Let i(g) = g - 5. Let b = 39 + -31. Let y = b - 1. Let l be i(y). Which is bigger: l or 12/11?
l
Let h be 12/(-15)*55/(-18). Let j = h + -16/9. Let r = 0 - -0.1. Is j >= r?
True
Suppose -10*h - 15 = -5*h, -2*h - 6 = 2*n. Is 2/7093 at least n?
True
Let w = -5554.6 - -5554. Let i = 6.96 + 0.04. Is i less than w?
False
Let m be -2 + ((-12)/3)/((-2)/(-3)). Let q be (m + 7)/(((-66)/(-4))/3). Is q at most as big as 1?
True
Let d be (-29)/(-6)*-3 - (-15 - -16). Let k(b) = b**2 - 4*b + 2. Let g be k(3). Which is smaller: g or d?
d
Let m be 1/(15/213) + (-4)/20. Which is smaller: -2/23 or m?
-2/23
Let z = -36 - -39. Let l = 6 - 5.9. Which is greater: z or l?
z
Suppose -3*h - 4 = -16. Let m be (h - (-76)/(-12)) + (1 - -2). Let d be (-1 - -1)/(2/(-1)). Is d < m?
True
Let r = -2719/11 + 247. Let y = 22 + -17. Suppose -b + 3 = 4*j, y*j - 5*b + b = 9. Which is smaller: r or j?
r
Let j be (7 + -2)/(0 - 1). Let c(v) = v**3 + 5*v**2 + v + 7. Let z be c(j). Suppose b = l + 2, 3*b = 3*l - z*l. Is -4 greater than l?
False
Let h = 280 - 278. Let y(f) = 3 - f + 5*f - 2 + f**2. Let x be y(-4). Which is smaller: x or h?
x
Let h = -349/5 + 512/15. Let j = 1195/33 + h. Do j and 1 have the same value?
False
Suppose -4*b + 36 - 23 = x, 0 = -b - x + 7. Which is greater: -37 or b?
b
Suppose 8*x - 4*x = 3*s - 36, 3*x - 15 = -3*s. Which is smaller: s or 47/7?
47/7
Suppose -4*u + 39 = -3*u. Let f = 40 - u. Which is greater: f or 4?
4
Let l = -654.8 - -655. Is -98/17 greater than or equal to l?
False
Let l = -0.12 + 0.02. Let g = 66 - 55. Is g bigger than l?
True
Suppose 3*v - 2 = -5. Let s(n) = -n - 4. Let q be s(-5). Let u = 0 - q. Is v != u?
False
Let s(f) = f**3 + f**2 - 2*f - 6. Let w be s(3). Suppose 0 = 2*v, 2*m - w = -2*m - 4*v. Is m at least 7?
False
Let b = -34 - -38.21. Let l = -19 - -18.79. Let j = l + b. Are 0 and j unequal?
True
Suppose 7*d - 3*d + 4*v = -224, 2*d - 5*v = -140. Let i be d/(-40)*(11 - 1). Is i less than 16?
True
Suppose -10 = -z - 5*n, 3*z - 3*n = -z - 29. Let g(l) = -4*l - 6. Let t be g(z). Suppose -2*f = 3*y - t, 26 = 4*f + y + 4*y. Which is smaller: f or 5?
f
Let d = -5810/11 + 52297/99. Which is smaller: d or 1?
d
Let n = -6.961 - -7. Let b = -130 - -129. Which is smaller: b or n?
b
Let z = 90 - 86. Let c(h) = -h**3 - 8*h**2 - 8*h - 5. Let g be c(-7). Let m be 2 + 2 + -2 + g. Is m <= z?
True
Let m = 1 - 4. Let n = m - -2. Does -1/61 = n?
False
Let v be 40/(-25)*-2 + (-1)/5. Suppose -34 = -v*k - 7. Is k at least 10?
False
Let i = -7 - -5. Let f = -1991 + 1990.97. Is f equal to i?
False
Let u = -314/7 - -45. Let s = 6059 - 6059.12. Which is smaller: u or s?
s
Let s(o) = o**2 + 6*o - 14. Let m be s(-8). Suppose -2*q - u - 1 = 0, -m*q - 5*u = -q + 5. Let z be 5/3*4/15. Which is bigger: z or q?
z
Let y(x) = -25*x - 40. Let o be y(-5). Which is smaller: o or 82?
82
Let q = -6402/5389 - 15/317. Is q < -2?
False
Let s(f) = -17*f + 73. Let c be s(4). Which is greater: 13/3 or c?
c
Let s be (130*3)/2 - 616/154. Is 191 less than s?
False
Let j be 6 + 2*1/(-2). Let d(y) = 5*y**3 + 7*y**2 + 13*y - 4. Let l(i) = 13*i**3 + 20*i**2 + 38*i - 12. Let p(x) = -8*d(x) + 3*l(x). Let s be p(j). Does s = 21?
True
Let i be (-69)/(-24) + ((-9)/3 - 1). Let m = i + 11/24. Is m greater than -1/11?
False
Let d(y) = y - 3. Let x be d(3). Let j = -27460/7 - -3923. Which is greater: j or x?
j
Let w(r) = -78*r + 407. Let u be w(5). Suppose -3*x + 2*a = -0*a - 55, 5*x - 97 = -2*a. Which is bigger: x or u?
x
Let c be 6/(-15) + 17/5. Suppose -9*u + c*u = -24. Suppose 0 = g + 4*f - f + 13, 0 = -u*g - 5*f - 24. Is g != 2/7?
True
Let a = 1/9733 - 49022/3474681. Is a at least -1?
True
Let i(x) = x**2 + 5*x + 25. Let u be i(6). Which is greater: -2 or u?
u
Let d = 5 - 7. Let o(r) be the third derivative of -r**5/60 + 5*r**4/24 - 2*r**3/3 - 5*r**2. Let c be o(3). Which is bigger: c or d?
c
Let h = 9 + -5. Suppose h*k = -4*k. Are k and 0 non-equal?
False
Let i(k) = -5*k + 60. Suppose 5*v + 4*v = 108. Let t be i(v). Which is smaller: t or -2/189?
-2/189
Suppose -58 = 6*q - 35*q. Which is smaller: 27/14 or q?
27/14
Let j be (-2)/8 + (-2868)/(-5520). Let b = 276 - 6351/23. Let o = j - b. Which is smaller: 0 or o?
0
Let v = 613.3 - 592. Which is greater: v or -1/4?
v
Let k = 57.5 + 8.5. Let z = -66.3 + k. Which is smaller: -17 or z?
-17
Let k = -165 + 154. Which is smaller: 10 or k?
k
Let d = 9 + -10. Let o = -684/455 - -51/35. Which is smaller: o or d?
d
Let c(z) = 2*z**3 - z**2 - z. Let b be c(2). Let i(m) be the third derivative of -m**4/24 + m**3/3 + 4*m**2. Let j be i(b). Which is smaller: -9 or j?
-9
Let q be (-14)/343*986/20. Let x = -19/49 + q. Suppose 2 - 1 = -y. Which is greater: x or y?
y
Let k = 17237/21 + -821. Let r = 0.13132 - 0.33132. Is k at most r?
False
Let u be ((-4)/105)/(44/(-110)). Is u equal to -2?
False
Let y be (-23 - 0)*(-11)/(-44). Let f = y - -57/10. Do f and 1 have the same value?
False
Let g(n) = 11 - 17 - 4*n + n**2 + 2 + n**3. Let s be g(-3). Suppose 4*r + 9 + 23 = -4*f, 12 = 4*f. Which is greater: s or r?
s
Let x = 1.23 - 4.23. Do x and -23 have different values?
True
Suppose 0 = -5*m - 16 - 4, 0 = -4*v + 4*m + 28. Which is smaller: v or 1?
1
Let y = 16.023 + -0.023. Let x = y - 31. Is -0.3 equal to x?
False
Suppose -5*m - 36 = 39. Suppose 10*u - 84*u = 12*u. Are u and m nonequal?
True
Suppose 4*c - 4823 = 5*v, -3*v - c = v + 3850. Is -963 greater than or eq