t m = -7669102 - -20438157162/2665. Let p = 4194 + -859776/205. Let o = p - m. Which is greater: o or 1?
1
Let f = 1618 + -27508/17. Which is greater: 1 or f?
1
Suppose -10*p - 14 = -9*p + 5*l, 4*p + 3*l = -5. Do 2/55 and p have different values?
True
Let d = 0.45 - 0.4. Let k = -0.1 + d. Let t = k + -0.65. Which is smaller: t or -1/2?
t
Let l be 249*((-4 - -7) + -2). Is l smaller than 247?
False
Let x(f) = f + 2. Let m be x(-3). Let o be -4*2 + -14 + 16. Let j be (o/36)/((-8)/18). Is j smaller than m?
False
Let w = -6 + 7. Suppose 0 = 6*m + 7 - 43. Which is bigger: w or m?
m
Suppose -2*i = -4*b + 20, -9 = -4*i - 2*b + 1. Suppose -4*w + w - 21 = i. Is w > -6?
False
Suppose 5*j = 2*t + 5, -2*t - 2 + 27 = 5*j. Suppose -j*g = -7 - 8, -4*g = m - 23. Suppose -3*s + 12 = -s + 2*h, 5*s - m*h + 2 = 0. Which is smaller: s or 1?
1
Suppose 5*p - 68 - 84 = -3*y, 2*p - 4*y - 66 = 0. Is -4 greater than p?
False
Suppose 408 = 5*v - 3*n, -4*v + 4*n + 128 = -192. Suppose -8 = -2*k, -k - v = 2*z - 6*k. Let c = z - -158/5. Which is greater: c or -1/2?
c
Let w = 2619 + -1872584/715. Which is greater: w or 0?
w
Suppose -21 = 6*b - 63. Suppose -1 = -2*r + 5. Is b smaller than r?
False
Suppose -2*b = -2*o + 6, -4*b + 6 + 2 = o. Which is smaller: 2/9 or o?
2/9
Let t = -90/19 + -376/57. Let y = t - -868/75. Let g = 232/75 + y. Which is greater: 3 or g?
g
Let j = 370 + -582. Is j equal to -212?
True
Let b = 5 + -3. Let h = b - 3. Let f = 0.784 + 2.216. Which is greater: f or h?
f
Suppose 1 = -t - 2. Suppose 2*r - 24 = -6*b + 2*b, 25 = 5*b. Which is greater: r or t?
r
Let g(l) be the first derivative of l**2/2 - 4*l - 4. Let w be g(4). Suppose 0*x + 3*x + 7 = -2*a, -2*x - a - 3 = w. Is 5/8 > x?
False
Let i = -13873850612/13923117 - -2/1071009. Let a(y) = 997*y**2 + 2*y + 1. Let n be a(-1). Let l = i + n. Does l = 1?
False
Let p = 483.1 - 483. Is p at most as big as 5.94?
True
Let v = -24 - -17. Suppose 0 = 4*r + 2*k + 12, -5*r + 5*k - 46 + 1 = 0. Which is greater: r or v?
r
Let f be ((-6)/12)/(2*2/(-24)). Do f and 7/3 have the same value?
False
Let i = 398/3 - 2038/15. Let k be 1/((-5)/(-75)*5). Suppose 2*c + 2*g - 2 = 0, -k*c - 33 + 4 = -5*g. Which is greater: c or i?
c
Let t be ((176/24)/11)/((-16)/6). Let n be ((-15)/9)/(1/3). Is n >= t?
False
Let g = -14 + 10. Let b be 6/g*(-4)/6. Let l be ((-93)/11)/(-3) - 3. Which is smaller: b or l?
l
Let v = 145 + -132. Suppose -72 = -v*z - 7. Is -1/4 greater than z?
False
Let j = 360.3 - 377. Let u = 29.7 + j. Which is smaller: -0.2 or u?
-0.2
Suppose -1 = 2*y - 5*t - 27, 3*y - 5 = -t. Let d be (y/(-15))/((-3)/(-15)). Let j = -502/7 + 72. Is d at most j?
True
Let p = 38 + -78. Suppose 5*r + 5*w = -150, -4*w = r + w + 34. Let c be r/p - (-8)/20. Which is greater: 0 or c?
c
Let c(o) = -2*o + 21. Let g be c(22). Which is smaller: g or -118/5?
-118/5
Let c(k) be the second derivative of -k**3/6 + 13*k**2/2 + 7*k. Let y be c(-9). Let x be (-4)/y - (-91)/77. Is x >= 1/12?
True
Let l = 290/147 - 11650/441. Which is smaller: l or -0.2?
l
Let s be (-2)/4*-2 + 2. Let m = -18 + 19. Suppose -15 = -4*a + m. Do s and a have different values?
True
Suppose -28*z + 9 = -19*z. Is -7 less than or equal to z?
True
Let q be (-12 + -387)*(16/(-30))/(-4). Which is greater: -53 or q?
-53
Let a = -84 - -84. Suppose 17 = -k - t, a = t + 2. Are -9 and k equal?
False
Let w(o) = -o**2 - 5*o - 4. Let x be w(-3). Let a be (2 - -2 - 5)/((-2)/8). Let n be (-3 + a - -1) + 2. Are x and n non-equal?
True
Let f be 98/(-96)*1 + (-65)/390. Is f smaller than -2?
False
Let h = -25 - -41. Let c = -12.6 - -29.6. Let d = h - c. Is -0.2 smaller than d?
False
Let i be 19 - -3*(0 - 1). Let t = -51 + 20. Let n = t + i. Which is smaller: -0.1 or n?
n
Let z = -4271.63 - -4244. Let k = z - -0.23. Let q = 26 + k. Is -2 != q?
True
Suppose -5*z + x - 35 = 45, x = -5*z - 70. Is -172/11 bigger than z?
False
Let r = 2 - -56. Let g = 56 - r. Which is greater: g or -10/3?
g
Let t be (-2)/5*(-2430)/8. Suppose 627 = 5*r - 2*d, -58 - 66 = -r - d. Let h = r - t. Which is bigger: 4 or h?
4
Let j = -732906/175 - -4188. Does j = 1?
False
Let c = -365 - -373. Which is bigger: c or -1/25?
c
Let f be ((-12)/(-8))/(6/(-28)). Let v be (28/(-21))/(f + 1). Is v at least 1?
False
Let q = 1.9 + -2.04. Let r = 1.04 + -1. Let k = r + q. Is k greater than 0.3?
False
Let a(z) = z**2 + 9*z. Suppose -6*j + 3*j = -6. Suppose -3*t = -4*s + 20, -5*t = j*s + s + 43. Let h be a(t). Which is greater: h or -9?
h
Let z = 10 - 7. Suppose 4*a = -2*h + h + 127, 4*h = -z*a + 92. Which is smaller: 31 or a?
31
Suppose 0 = -192*s + 208*s - 944. Is 2 less than s?
True
Let z = -486 + 518. Which is greater: 167/5 or z?
167/5
Let o = -54 + 57. Let c be (1 - o)/((-7)/(-14)). Is c at least 5?
False
Let g(i) = -i**3 + 3*i**2 + i + 9. Let a be g(3). Let r be a/1 - 0 - 4. Let z = r + -15. Which is greater: -8 or z?
z
Let f(r) = -r - 1. Let b be f(-3). Suppose 0 = -b*c + 2. Let p be c + (-20)/6 + 2. Which is bigger: -6 or p?
p
Let r = 170316 - 1534603/9. Suppose -1666*q + 1664*q + 394 = 0. Let b = q + r. Is 1 > b?
False
Let o be 1287/(-21) - 4/(-14). Let p = -423/7 - o. Let i = 6 + -4. Which is bigger: i or p?
i
Let s = 11.86 + -12. Let g = -49.1 - -55.96. Let l = g - s. Which is smaller: 0.1 or l?
0.1
Let q = -6.0055 + 0.0055. Is q at most -53/3?
False
Let r = -2448 + 2436. Is r at least -169/15?
False
Let k(j) = -3*j - 15. Let w be k(-6). Suppose 4*n + 1 = w*n. Let o be n + 2 - (-6)/(-8). Is o equal to -1?
False
Suppose -5*a - 23 = -43. Which is bigger: 22 or a?
22
Let p = 66 + -60. Suppose 5*v + 0*f - f + 13 = 0, -p = -2*f. Does v = -4/3?
False
Let r = -10249/22 - -466. Which is smaller: r or 1?
r
Let g = 10958/13 - 843. Suppose 3*a + t = 0, 2*a - 8 = 5*t + 9. Let w = -2 + a. Which is greater: g or w?
g
Let b be (-5)/(-210)*-7 + 37/6. Let g(v) = -v**2 + 5*v - 4. Let n be g(4). Which is smaller: b or n?
n
Suppose -7 + 1 = -b + z, 4*z = -12. Let g be -1*((-1)/1 - 6). Suppose b*m + 24 = g*m. Which is greater: 4 or m?
m
Let s be (-2 - -3)*6 + (127 - 108). Let o be (-2)/6 - 76/(-3). Are o and s non-equal?
False
Let y be (2 + (-133)/63)/(2/6). Which is bigger: y or -44?
y
Suppose 6*y - 10 = -f + y, 3*y = -5*f + 6. Let l(a) = 7*a - 149. Let b be l(22). Which is smaller: b or f?
f
Let h = 0.09 + -6.09. Let d = -3 - h. Let r = -2844 + 5689/2. Which is bigger: d or r?
d
Let d = 57 - 56.891. Let o = 1.109 - d. Is o at most as big as 1/5?
False
Suppose -3*d = 5*m - 24, m - d = -m + 3. Let s be m - (-4 + 0 - -7). Is -2/37 > s?
False
Let s = 17 + -26. Let g = -32 + 19. Let d = g - s. Which is bigger: d or -0.2?
-0.2
Suppose 8*n - 4*x + 20 = 6*n, 5*n + 20 = 4*x. Which is smaller: -0.4 or n?
-0.4
Let c be ((-30)/(-4))/(-2*(1 + 2)). Let b = 16006 - 48488/3. Let s = -158 - b. Which is bigger: c or s?
c
Suppose 34*r - 33*r - 1 = 0. Is r <= -9/2?
False
Suppose -6*c - 125 + 137 = 0. Let b be ((-3)/(3/(-2)))/2. Which is bigger: b or c?
c
Let s(d) = -d + 5. Let k be s(4). Let x be 3/k + (-38 - -3). Let b be 3/(-6*4/x). Is b smaller than 5?
True
Let f = -67.9739 + -0.0261. Which is greater: 3/4 or f?
3/4
Let r = 0.4 + -7.7. Let x = 7.4 + r. Is x at least -5/13?
True
Suppose -3*v + 2*o = -6, o + 1 + 2 = 2*v. Suppose 3*j - 5*n = 54, 0*j + 2*j - 4*n - 38 = v. Let m = -12 + j. Is 7 greater than m?
True
Let h = 63.7 + -62.7. Which is smaller: h or 8.8?
h
Let f(w) = -2*w**2 + 72*w - 90. Let u be f(34). Which is smaller: 52 or u?
u
Let s(u) = 2*u**3 - 31*u**2 - 20*u + 53. Let g be s(16). Is g < -49/4?
False
Let a be 8/(-14) - (6450/(-42) - 6). Is a less than or equal to 161?
True
Let g = -1 + 3. Let v be 0 + -2*g/(-7). Let b = -988 + 989. Is v smaller than b?
True
Let v(s) be the first derivative of -4*s**2 + 75*s - 5. Let l be v(20). Is -1/2 bigger than l?
True
Let u(q) = -10*q - 15. Let p be u(-4). Suppose -21 = -2*v + p. Do v and 23 have different values?
False
Suppose 39 + 156 = 65*y. Suppose 5*i - 3*n = 1, 2*i + n = -0*n + 7. Let l be (-6)/((-8)/i - -2). Is l < y?
False
Let n = 61.04 + -56. Let h = -5 + n. Let w = h - -1.96. Is w less than or equal to -0.3?
False
Suppose 12*t - 5 = 17*t. Let b be 2 + 1 + t + 102/(-9). Is b smaller than -1/3?
True
Suppose -3*g = 3*v - 132, -5 = -2*v + 5*g + 48. Which is smaller: 0.02 or v?
0.02
Suppose -2*c - 30 - 36