True
Let r be (-951)/(-2)*(8/(-18) - 0). Let d = r - -431/2. Which is greater: d or 3?
d
Let v(o) = -3*o**2 - 32*o - 3. Let g be v(-10). Suppose -937 - 134 = g*x. Is x less than or equal to -65?
False
Let b = 669638/9 + -74244. Let a = b - 160. Let d(k) = -2*k**2 + 2*k + 1. Let n be d(0). Which is bigger: a or n?
n
Let t = 11 + -28. Let f = t - -18. Let d = 2.8 - 3. Is d > f?
False
Suppose 6*b - 11*b - 115 = 0. Let t = b - -19. Let a(x) = x**2 + 3*x - 5. Let s be a(t). Which is smaller: s or -3/13?
s
Let q = 1061.1 + -1061. Is 19/7 greater than q?
True
Let k be -1 + 0 - (7 + 0). Let t = 13 + k. Suppose c = 2*c - t. Which is smaller: c or 4?
4
Let k(s) = 2*s**3 - 8*s**2 - 4*s + 1. Let o(v) = 3*v - 10. Let r be o(5). Let g be k(r). Which is smaller: 30 or g?
30
Let s be 6 + 42/(3/(-1)). Is s bigger than -7?
False
Let p = -208 - -313. Are 104 and p nonequal?
True
Let p = -2 - 17. Let a = p + 19.2. Let z = -14 - -18. Do a and z have the same value?
False
Let t = 1/2 - 1. Let b = -26 - -16. Let z = b + 5. Which is greater: z or t?
t
Suppose 4*x = 3*z - 19, -5*z + 0*x = -x - 9. Which is smaller: -2/5 or z?
-2/5
Suppose 0 = t + 3*n - 95, 3 - 6 = 3*n. Suppose 1358 = 20*a + t. Is a smaller than 62?
False
Let n be (-24)/10 - (-1 + -2). Suppose 5*f = 4*g - 32, f - g + 3 + 4 = 0. Let z be f/(-18) - (-32)/(-144). Is z > n?
False
Let z(t) = 5*t + 25. Let y be z(0). Suppose 0 = 4*g + y + 47. Is -17 smaller than g?
False
Let q = 322 - 239. Is q at most as big as 82?
False
Let c = -12097 - -60674/5. Let b = 37 - c. Suppose 5*n - 5*d = -25, 0 = 3*d - 9. Which is bigger: b or n?
b
Let b(s) = -38*s - 186. Let g be b(-5). Which is smaller: 1 or g?
1
Let a(v) be the second derivative of -v**5/20 - 5*v**4/12 - v**3 - 5*v**2 + 7*v. Let b be a(-4). Is -23 less than b?
True
Let q be 485/15 + (-1)/3. Which is smaller: -1 or q?
-1
Let y = -48 + 21. Let g = -23 - y. Let w = -0.04 - 0.16. Is g less than or equal to w?
False
Let r(y) = -6*y + 139. Let s be r(21). Is s less than 14?
True
Let j = 0.23 - 8.23. Let h = -4.9 + -1.1. Let r = j - h. Is -1 < r?
False
Let m = -156/17 + 3049/323. Does 0 = m?
False
Let h = 0.63 + -0.03. Let f = 0.011 + -0.781. Let z = 0.57 + f. Is h > z?
True
Let w(n) = 3*n + 3. Suppose 0 = -4*q + 3*r, -2*r = -4*q + 3*r. Let t be w(q). Suppose 19 = -5*g + t*v, 3*v - 8 = g + v. Which is bigger: -1 or g?
-1
Let i(y) = -y**3 - 7*y**2 - 6*y + 3. Let j be i(-6). Suppose -60 = j*z - 0*z. Is z bigger than -17?
False
Let x(m) = 23*m + 7. Let g be x(-6). Let l = -7207/55 - g. Is l less than 0?
True
Let r = 4339/4 + -1010981/932. Which is greater: 1 or r?
1
Suppose v - 2 + 1 = o, -12 = -3*o. Let z = 13 - 12. Suppose -v*d = -z - 9. Which is smaller: 5 or d?
d
Let p(g) = 3*g - 10. Let m be p(4). Suppose -1 + 13 = 3*h, h = -m*j + 94. Is 45 >= j?
True
Let r be (-5)/30*3*0. Suppose 0 = -r*z + z - 7. Are z and 7 unequal?
False
Let f(u) = 2*u**3 - 8*u**2 - 10*u - 1. Let s be f(5). Are 2 and s non-equal?
True
Let a(y) = 8*y**2 + 17*y**2 - 2*y - y**3 - 49*y**2 + 18*y**2 + 11 + 11*y**2. Suppose 0 = 3*v - 5*v + 10. Let i be a(v). Which is smaller: i or -6/13?
-6/13
Let z = -18 - -23. Suppose 3*w + y = z*y - 20, -3*w + y = 5. Which is bigger: w or 1/6?
1/6
Let k = -111 + 81. Let r be ((-184)/k - 6)/((-8)/(-230)). Is 5 at most as big as r?
False
Suppose 110 = -4*u + 190. Which is greater: 30 or u?
30
Let l = 39/22 + -25/11. Is l at least as big as -2/3?
True
Let o = -70726/389021 - 6/3569. Which is smaller: o or 0?
o
Let b(u) = -u**3 + 21*u**2 - 20*u + 37. Let h be b(20). Do 45 and h have different values?
True
Let i = 6957/34046 - -3/1174. Which is smaller: i or 0?
0
Suppose -q = -x, -2*x = -4*q + 65 - 65. Let r be (-8)/(-6)*3429/(-30). Let s = r - -153. Which is smaller: s or q?
q
Let h be -1*(-10)/8 + -1. Let n = 408 + -419.04. Let x = 0.04 + n. Which is greater: x or h?
h
Suppose 0 = -0*h - 5*h. Let f be (-4)/(-4)*(2 + 4). Let v be 2/f - (-34)/(-90). Is v less than or equal to h?
True
Suppose 0 = -5*s - 2*s + 35. Suppose 4*c + 4*a + 13 = s*c, -a = -2*c + 5. Which is smaller: 3 or c?
c
Let l = 1336 + -1331. Is -6 <= l?
True
Let t = -3803 + 140768/37. Which is bigger: t or 3?
3
Suppose 6*d = -4*g + 10*d - 16, -4*d + 19 = -g. Are -2/5577 and g nonequal?
True
Suppose 8*q - 7 = 9. Suppose -2*h - 12 = -4*u, 4*h - q*h + 2 = -u. Let f = -1.4 + 1. Is h < f?
True
Let f = 64 - 64.1. Which is smaller: f or 22.9?
f
Let y be (0 - 3) + 0/(-1). Suppose 5*b = u + 64 + 100, 5*b - 152 = -2*u. Let a be (-15)/4 + 8/b. Which is smaller: a or y?
a
Let v(k) = 2*k**3 - 20*k**2 + 8*k + 23. Let w be v(10). Let q = w + -2267/22. Suppose 2*t = 3*f + 1, 2*f + 4 = -t - t. Is t less than q?
True
Let w = 232 - 528. Are w and -297 unequal?
True
Suppose -2*s + 13 - 1 = 0. Suppose -2*m - m = 3. Let n be 3*m - (-80)/8. Is n at most s?
False
Let p be 8/6*3/2. Let i be p/((-4)/(-2)) + (-72)/75. Which is smaller: i or 1?
i
Let o = -105 - -105.41. Let m = o - 0.41. Which is smaller: 61 or m?
m
Let a = 0.053 - 0.283. Let s = a - -0.03. Let q be (-3 - (27/(-13) + -1))*-2. Which is smaller: q or s?
s
Let l be (-4)/(-1 - 5/(-3)). Let j = l + 8. Suppose 4*r - j = 2*r. Which is bigger: r or 3?
3
Let w = 101/1292 - -3/76. Let f = 15 - 11. Let p = f - 3. Are p and w equal?
False
Let w = -0.57 - 5.43. Do -5.2 and w have the same value?
False
Suppose 10 - 11 = c. Which is smaller: c or -8/39?
c
Suppose 787 = 5*l - 10*l + 4*d, 0 = 5*l + 4*d + 803. Is -160 at most l?
True
Let y = -329 - -315. Is y greater than -15?
True
Let i be -13 - -2 - (-4 + 3). Let p = i - 20. Let n be (5/(-3))/(10/p). Is 5 at least as big as n?
True
Suppose 2 + 10 = 6*m. Which is smaller: m or -0.05?
-0.05
Let u = -629.3 + 634. Is u at most as big as 0?
False
Let w = -0.3 - -14.3. Suppose -3*i - 38 = -3*v + 19, 5*v = -3*i + 111. Let u = -20 + v. Which is smaller: u or w?
u
Let h(l) = -13*l + 480. Let r be h(0). Is r not equal to 480?
False
Let k = -1 + 3. Suppose -2*i - i = k*j - 6, 4*j + 16 = i. Let d = -807/4 + 202. Is d at least as big as i?
False
Let l be 6/39 - (-71997)/234. Let j = l - 307. Suppose -4*y + 23 = -3*r, 0*y + r = -y - 3. Which is bigger: j or y?
y
Let b = 74 + -51. Is b > 29?
False
Suppose 3*k + 4*b - b = -3, -5*b - 20 = 0. Let x = k - 29. Let m be 2/3 - x/6. Which is greater: m or -0.2?
m
Let p(i) = i**2 + 10*i + 7. Let y be p(-10). Is y <= 6?
False
Let f = 5.3 - -24.7. Let z = -0.06 + -0.94. Is z greater than f?
False
Let t = -14437 + 57447/4. Let y = -80 - t. Which is smaller: y or -6?
-6
Let r = 26 - 15. Let o(u) = -u**2 + 15*u + 25. Let f be o(19). Let l be (17/f)/((-1)/3). Which is smaller: r or l?
l
Let k = 1.01 - 1. Let c = k - -0.09. Suppose 5*r - 87 = -4*w, -53 = -3*w + 4*r + 20. Which is smaller: c or w?
c
Let r be (-2)/36*585/(-130). Suppose -4*q + 96 = 2*v, v - 5*v = -q - 228. Are v and r equal?
False
Let a(q) = 2*q - 3. Let x be a(3). Suppose -2*s + 17 = x*f, -2*s - f + 18 = 3*f. Let z be 1/((1/(-6))/(24/(-18))). Is z smaller than s?
False
Let n(t) = -t - 10. Let f be n(-9). Suppose 0 = -j + 7 - 4. Suppose g + 2 = -2*w, j*g = -4*w - 0*w. Which is smaller: g or f?
f
Suppose 2765 = -7*r + 2*r. Let s be (4/r)/(8/(-28)). Is 1 less than s?
False
Let g be (-368)/115 - (-1)/5. Does g = 20?
False
Let i = 2678 - 13328/5. Which is smaller: i or 11?
11
Let z = -4471 + 4467. Suppose 2*g - 4*b = -4, -2*g - 4*b - 4 = -6*g. Suppose 1 = 3*d - g*d. Which is smaller: d or z?
z
Let r be 10 - 43*(-24)/56. Which is greater: -0.1 or r?
r
Let y(f) = -6*f - 1. Let p be y(1). Let t be (p/8)/((-16)/(-64)). Which is bigger: -3 or t?
-3
Let s = -8.5 - 2.6. Let t = -8.1 - s. Are -11 and t non-equal?
True
Let s = 28 + -37. Let o be (-6)/s + 0 + -1. Is 0.09 <= o?
False
Let r(k) = k**3 + 7*k**2 + 4*k + 28. Let v be r(-7). Are -20/21 and v equal?
False
Let s = 0 - -2. Suppose 0 = s*j - 6*j + 32. Suppose x - 4*o - 260 + 277 = 0, x + 4*o - 31 = 0. Is j less than or equal to x?
False
Suppose -593 = c + 2*o, -o + 1765 = 67*c - 70*c. Is c greater than or equal to -589?
True
Let g be 7/3 - 2/6. Let l(d) = d + 2. Let u be l(2). Suppose u*j - 5*a = -0*j + 20, 5*a = -5*j + 70. Is g not equal to j?
True
Suppose 5*b = 9*b - 4*u + 60, -4*b - 3*u = 25. Is b at most as big as -9?
True
Suppose -9 = t - 2*t. Suppose -h - 2*h = -t. Suppose 5*i + 2*r + 29 = r, -