alse
Let q(z) = z**2 - z - 5. Suppose -5*o - 18 = o. Let d be q(o). Which is smaller: d or 10?
d
Let w = 0.745 + 0.211. Let u = -0.044 - w. Which is bigger: -7 or u?
u
Let x = 8.897 - 9. Do 0 and x have the same value?
False
Suppose -12 = -3*i - 3*u, 0 = -6*i + 4*i + 2*u + 12. Suppose -i*y = -5*p + 35, -5*y + 4*y = p + 7. Which is smaller: y or -8?
-8
Suppose -4*l - 23 = -3*k + 42, -3*l + 13 = k. Is k != 22?
True
Let d(v) = 2*v**2 - 8*v. Let n be d(4). Suppose 5*t - 2*l - 48 = n, l - 15 = -2*t - 3. Is 8 at least t?
True
Let i be 72/22 - (-11 + (8 - -1)). Which is smaller: i or 4?
4
Suppose 320 = 10*y - 380. Which is smaller: y or 1/3?
1/3
Suppose -2*j = -3 - 9. Suppose j*h = h - 25. Suppose -8*g - 15 = -5*g. Is g >= h?
True
Let w = -126 - -129. Which is smaller: w or 4?
w
Let f(x) be the second derivative of -x**4/12 - 3*x**3 + 8*x**2 - 23*x. Let b be f(-20). Which is greater: b or -23?
-23
Let t be (0/3)/((-2)/(-1)). Suppose 6*m - 11*m - 125 = t. Is m bigger than -25?
False
Let i(s) = s**3 + 10*s**2 - 11*s - 14. Let h be i(-10). Let r be (-10)/8 - -1 - 5832/h. Is r at most -60?
True
Let h(c) = -c**3 + 6*c**2 + 8*c - 2. Let b = -10 - -17. Let v be h(b). Suppose 12 - 2 = -v*i. Are i and 0 nonequal?
True
Let l(p) = -15*p + 70. Let q be l(5). Is 1 < q?
False
Let w = 4283/15 - 285. Is -2 >= w?
False
Suppose 0 = -0*a - 3*a - 2*j + 1, -a - 2 = 3*j. Let s = 8/9 + -169/180. Is a greater than or equal to s?
True
Let q = -223 + 225. Which is greater: 13/15 or q?
q
Let a be 14/4 + 4*(-6)/(-48). Suppose -5*j - 2*f = -212, 9*j + 4*f = a*j + 204. Is 45 bigger than j?
True
Let o = -306 + 299. Is -6 < o?
False
Let z be 4*(7 + 248/(-32)). Suppose -4*w - 3*i = -w - 12, 0 = -4*w + 5*i + 34. Let k(c) = -2*c + 9. Let h be k(w). Is h less than or equal to z?
True
Let u be (-4)/((-12)/69) + 2. Suppose 5*q = -5*d - 15, 2*q + 4*d - 9 = -u. Let j = 2 - q. Are j and 5/7 non-equal?
True
Let x be ((-14)/(-21) - 2)*-6. Is x bigger than 78/11?
True
Let g(p) = 4*p**2 + 2*p - 1. Let v be g(-4). Suppose -4*q = v - 15. Suppose 1 + 26 = -3*o. Which is smaller: o or q?
q
Let h = 82 + -42. Suppose -d = 4*d + h. Suppose 0 = 4*n + 5*b + 57, 3*n + 3 + 1 = 4*b. Is d < n?
False
Let h be 52/286 - (-2)/(-11). Let i = 208 + -1036/5. Which is bigger: i or h?
i
Let i be (-2 + 1)/(-3 - -2). Suppose 0 = 3*r - 4*r + i. Do 0.07 and r have the same value?
False
Let w = -2/2743 - 63071/24687. Which is smaller: -4 or w?
-4
Let c(d) be the third derivative of d**4/6 + 3*d**3 - 22*d**2. Let z be c(12). Is -1 greater than z?
False
Let j = 1498 + -1497.28. Is j smaller than 10?
True
Let a(l) = -7*l + 53. Let x be a(6). Suppose x*i = 7*i. Which is smaller: i or -10/13?
-10/13
Let o = -434/3 + 1643/12. Which is smaller: o or -8?
-8
Let x be (-20 + (-754)/(-39))/((-236)/42). Is x at most as big as -1?
False
Let h = 1.13 - 1.17. Are 2/9 and h nonequal?
True
Let s(d) = -d**2 + 4*d + 1. Let f be s(4). Let h be -10*f/((-15)/6). Suppose 5*b = -h - 6. Which is bigger: 9 or b?
9
Suppose -4*p + 185 = -g, -39*p + 3*g - 135 = -42*p. Let t be (1 - -29)*(-9)/(-6). Which is greater: p or t?
p
Let y = -3022 + 3025. Let v = -1/63 - 8/63. Are v and y equal?
False
Let y(w) = 2*w**2 + 5*w + 3. Let u(g) = -g**3 + 7*g**2 - 9*g - 7. Let o be u(5). Let m be y(o). Which is smaller: -3/35 or m?
-3/35
Let z = 821 + -588. Is 232 != z?
True
Let t = -96 + 68. Let r be (-44)/t + -3 - -2. Suppose 3*k + 1 = -14, 5*z + 20 = -4*k. Which is bigger: r or z?
r
Let a = 2/225 + 436/1575. Is a greater than or equal to -110?
True
Let g(f) = f**3 + 12*f**2 + 9*f - 15. Let z be g(-11). Suppose -7 + 18 = 2*j - q, -4*q + 47 = 5*j. Is j at least as big as z?
True
Let d be (6/(-4))/(30/8). Which is bigger: d or 0.311?
0.311
Let q = 612 - 631. Do 5/2 and q have different values?
True
Let f = 72/463 + -110204/6019. Which is greater: f or -18?
-18
Let f = 3 - 3.1. Suppose 0 = 2*n - 3*n - 2. Let r be n*9/24*2. Is f smaller than r?
False
Let j = 258.5 + -216. Is j at most 1?
False
Let w = -3196 + 35414/11. Let h = -773/33 + w. Which is greater: 1 or h?
1
Let t = 3 - -3. Let a = -6 + t. Let j = 5/18 + -71/126. Is a less than j?
False
Let k = -2/2987 - 2953/50779. Which is greater: -4 or k?
k
Suppose -5*o - 29 = 4*b, -3*o = -2*b + 13 - 0. Let s be (3 - 1 - -1)*(-2)/4. Is b >= s?
True
Let i(o) = 9*o + 10*o + 7 - 20*o. Let f be i(7). Let z be (-1 - 3) + 3 + f. Which is greater: z or 2/19?
2/19
Let y be ((-3)/(-6))/(2/(-4)). Let k = 202 + -225. Is y smaller than k?
False
Let b be 266/(-8) - (-7)/28. Let y be (-27)/45*(-1)/b. Let r = y - -3/44. Is r greater than 1?
False
Let n be (95/10)/((-26)/12 - -2). Let t be 1 - (2/2 - 12/n). Which is greater: t or -1?
t
Suppose m = 24 - 0. Let g be 22/18 + 1 - (-2)/(-9). Suppose -g*a + 36 = 3*i, 7 + 97 = 4*a - 2*i. Is m >= a?
True
Suppose -4*a + 9 = 5*a. Does a = 0?
False
Let a = 878 + -878. Which is greater: a or -2.97?
a
Let x be ((-6)/18)/(3/(-207)). Let d = x + -26. Is d less than -3?
False
Let q be ((-12)/14)/(-3)*-1. Let a be 6 - (0 + -1 - -4). Let d be a/18 - (-124)/(-168). Is d at most q?
True
Let k = -10 + -8. Let s(c) = c**2 + 18*c + 1. Let u be s(k). Suppose 3*j - 4 = 5*j. Are j and u unequal?
True
Let j = 35/2 - 53/3. Let s = -5 + 8. Suppose -s = -4*n + 1, -4*m = n - 5. Which is smaller: j or m?
j
Suppose -2*y + 6*y + 100 = -5*t, 3*y = -3*t - 72. Suppose -g + 2 = a - 0*g, 3*a = -5*g + 10. Is a equal to y?
False
Let l = -9.3 - -8.48. Let o = -8 - -8.18. Let v = o - l. Is v < 8?
True
Let a be 6*-10*(-3)/(-12). Suppose -4*t - 3*m - 33 = 0, -5*t = -4*m - 24 + 104. Let r = a - t. Is r at most -4?
False
Let p = -9 + 16. Let s be 450/180*((-168)/15)/(-4). Is p < s?
False
Let w be 6/(-10)*((-12)/18 - 1). Which is smaller: w or 1/3170?
1/3170
Let a(g) = -g - 10. Let s be a(-4). Let b be ((-4)/s)/((-4)/(-42)). Suppose -10*q + b*q = 0. Which is greater: -1/9 or q?
q
Suppose 10 = -0*p - 2*p - 4*y, 5*p - 11 = 2*y. Let q(k) = -5*k - 1. Let w be q(-1). Suppose -w*n + 1 = 5*f, 4*n = 3*n - f. Which is greater: p or n?
p
Let f = -0.13 + 1.03. Let j = f + 1.1. Let t be (5/60*4)/((-2)/18). Which is bigger: t or j?
j
Let h(q) = 48*q + 182. Let m be h(0). Are 182 and m unequal?
False
Let o be (0 + -10)/(-12 + 10). Suppose -4*b + o*b - 2*c = -5, 3*c = 3. Suppose 10*x = 15*x + 20. Which is smaller: b or x?
x
Let u = 18.04 + -18. Let x = 0.7 + -0.96. Let r = x - u. Is r < 3/2?
True
Let i = -42 - -66. Let g = i - 16. Let o be (g/14)/((-6)/(-7)). Is o equal to -0.1?
False
Let t = 12149 + -10193009/839. Is t less than 0?
False
Let p = -7460 + 216298/29. Are p and -2 unequal?
True
Let x(z) = -z**3 + 4*z**2 + 14*z - 9. Let o be x(6). Suppose 3*n + 12 = -5*l, o*n + n - 7 = l. Which is greater: l or -1/13?
-1/13
Suppose -5*d - 13 = -88*q + 89*q, 4*q + 4*d + 100 = 0. Let p(t) = -t**3 + 6*t**2 - 6*t + 9. Let k be p(6). Are k and q unequal?
True
Let a = -8603/5 - -1718. Let h = 8055 - 120874/15. Let w = a - h. Which is bigger: -2 or w?
w
Let z(p) = -92*p + 11. Let y be z(1). Do 0 and y have the same value?
False
Suppose 0 = 2*w - 3 - 1. Suppose -w*i = 5*i - 147. Which is greater: i or 22?
22
Let s be (4/170)/(2 - (-36)/(-20)). Suppose 0*v - 3*v - 9 = 2*t, -5*t - 5*v = 15. Is t less than s?
True
Let j = 0.05 - 0.22. Let g = -20 - -19. Which is greater: g or j?
j
Let g be (-150)/(-135)*(-3 - 168/(-55)). Which is smaller: 1 or g?
g
Let i(v) = -v**3 + v**2 + 8*v - 10. Let y be i(0). Let c = -2 - 3. Let j = -3 - c. Is j not equal to y?
True
Let q(t) = -t**2 + 4*t + 5. Let j be q(0). Suppose 4*p = 4*l - 4, l + 2*l = 5*p - j. Suppose 5*x + 16 = 4*g - 6, -g + x = -5. Do p and g have the same value?
False
Suppose 0 = 4*i - 2*s + 38, -2*i - 8 - 7 = 3*s. Suppose 2*c - 10 = 2*v, -3*v + 43*c = 44*c + 23. Is i less than or equal to v?
True
Suppose -2*u + 2 = -0*u. Suppose 2*c + 2*w + 11 = 9, -5*w = 3*c + 1. Let l be u/(27/(-39)) - c. Is 2 less than l?
False
Let y = -2/753 - -93/3514. Suppose g = 6*g + 5*d, 0 = 3*g - 4*d. Does y = g?
False
Let l = 0 + -1. Let w(q) = 17*q + 1. Let m be w(l). Suppose 2*i + 42 = -5*v + 8*v, -4*i + 4*v - 76 = 0. Is i <= m?
False
Suppose 0 = -5*r + 3*f - 6, 106*r + 5*f - 10 = 104*r. Is -133 less than r?
True
Let d be 8/66*(279/18 - 15). Which is bigger: 12 or d?
12
Suppose 0 = -2*w - 4 - 2. Let y = 21 - 21.2. Is w >= y?
Fals