9 or r?
r
Let r be 68/(-85) - (-11647)/(-58210)*-4. Let l = r + 10700/2741691. Are 1 and l equal?
False
Let l = 9.27 - 9.84. Which is smaller: 4 or l?
l
Suppose -3*c + 21 = -10*c. Let i be (1 - (-1)/3)*c/7. Suppose g + 1 = -0*g. Is g greater than or equal to i?
False
Let w be 955/(-2450) - (-8)/20. Is w less than 0?
False
Let s = 268 + -267. Is 2/235 less than or equal to s?
True
Let d(b) = 3*b**3 + 8*b**2 - 3*b - 10. Let r(o) = -5*o**3 - 16*o**2 + 5*o + 20. Let v(k) = 7*d(k) + 4*r(k). Let u be v(8). Which is bigger: 0.01 or u?
u
Let y be ((-2)/(-6))/(7/21). Let w be (-2)/3 - 132/(-117). Is y equal to w?
False
Let h = 4 + -3. Let k = 4.3 - 2.3. Which is bigger: k or h?
k
Let x = -2147144/243 + 8836. Which is smaller: 0 or x?
0
Let v(q) = -18*q**2 - 5. Let l be v(3). Which is bigger: l or -335/2?
l
Let w be (4/(-39))/((-4)/6). Suppose -15*f + 32 = -7*f. Suppose 0 = -f*x + x. Is x equal to w?
False
Let l(r) = -r**3 + 6*r**2 + 5*r + 15. Let u be l(7). Let c be (13/(-3))/(5/30). Let t = -79/3 - c. Which is bigger: u or t?
u
Let k(f) be the third derivative of f**6/120 - f**5/30 - f**4/4 + 5*f**3/6 + 7*f**2. Let p be k(4). Let b = p - 16. Is -3 < b?
False
Let w be 19/(2280/16) - (-6026)/30. Which is greater: w or 196?
w
Let f be (-38)/(-95) - (-924)/(-10). Which is smaller: f or -90?
f
Suppose -20*b = -8*b - 432. Is 31 > b?
False
Suppose 70*z = -53*z - 2337. Let l = 25 + -47. Which is bigger: l or z?
z
Let s(d) = d**2 + 2*d - 1. Let w be s(-2). Let g(n) = -19*n**2 - n - 1. Let i be g(w). Let m be (-2)/3 - i/(-3). Which is smaller: m or -9?
-9
Suppose -4*b = -p - 8 + 13, -2*b + p = 3. Suppose q = -4, 7*q + 12 = o + 3*q. Which is smaller: o or b?
o
Suppose 11*s = 8*s + 2*n + 5, 4*n = 3*s - 1. Let k = 0.18 - -0.23. Let r = k + -0.01. Is r != s?
True
Suppose 4*f - 4*c - 784 = 0, c + 782 = 4*f - 2*c. Suppose 8*u = -2 + f. Are 25 and u equal?
False
Let y be (-45)/(-12)*(-528)/660. Let r be (4/10)/((-3)/(-15)). Suppose 2*s + 6 = -u, 2*u + 16 = -3*s - r*s. Which is greater: y or u?
u
Let m be 7 + 0/4 + 3. Let p = -12 + 21. Which is smaller: p or m?
p
Let j(x) = -2*x**2 + 55*x + 7. Let l be j(33). Are -360 and l nonequal?
True
Let l = 305949/16 + -19128. Which is smaller: l or -6?
l
Let v = 945 + -10390/11. Which is bigger: v or 0?
v
Suppose -p = -2*n + 24, -22 = 4*p + n + 29. Which is greater: -21 or p?
p
Let t = 11 - 5. Suppose 0 = -7*b + 2*b. Suppose 4*i - t*i = b. Which is bigger: 3/11 or i?
3/11
Let r = -2.86 + 3.16. Is r greater than 74?
False
Let r = 592 - 615. Do -18 and r have the same value?
False
Let c(t) = -9*t - 6. Let v be c(-4). Let d be 6/v + (-69)/295. Which is smaller: d or -1?
-1
Let l(i) = -i - 4. Let d = -10 + 15. Suppose 15 = -d*u - 0*u. Let k be l(u). Is -3/4 >= k?
True
Let z be 362/(-1023) + (-92)/(-276). Is -1 less than z?
True
Let u be (8/(-248))/((-1)/(2 - 3)). Which is smaller: 0 or u?
u
Let a(l) = -l**2 - 16*l + 21. Let i be a(-17). Let s be 5/(-4)*(-10 + 6). Suppose -s*j + 30 = -3*g, j + g + 4*g = -22. Is i less than j?
False
Let t = 6222/6561863 + -4/2387. Is t less than -1?
False
Let w(l) = 5 - l + 4 + 1 + 0. Let d be w(7). Let s be (0 + d - 6)*3. Is s > -7?
False
Let o = -77 - -76.8. Which is greater: -1.3 or o?
o
Let g(u) be the second derivative of u**3/3 - u**2 - 3*u. Let f be g(2). Which is bigger: 9/10 or f?
f
Suppose -18015 = 41*k + 2567. Is k < -502?
False
Let f = 4/117 - 367/468. Let c = -8 - -22/3. Which is smaller: f or c?
f
Let m = -1.4 + 6.4. Is m at most as big as -0.7?
False
Let r = 5/1113 + 39311/3339. Is r at most 12?
True
Let d = -182 - -97. Let j = d - -245/3. Let f = j + 76/21. Is -0.9 smaller than f?
True
Let k be (10/(-55) - 56/(-550)) + 0. Let u be 5 + -4*4/(-8). Suppose 0 = 3*c - u*c. Which is bigger: k or c?
c
Let l = 98 + -30. Which is bigger: l or 67?
l
Let h(q) = -q**3 + 2*q**2 + 5*q - 4. Let b be h(3). Suppose -2*c = 4*r - 12, -4*c = c - b*r - 78. Let k be c/16*-2*4. Is -6 >= k?
True
Let t = -34.9 + 35. Is t <= 10?
True
Suppose 0 = 6*j + 645 - 123. Which is smaller: j or 1?
j
Let w = -0.138 - -0.108. Let q = w + 0.13. Is -3/4 greater than or equal to q?
False
Suppose -2*f - 3*j = -487, 13*f = 8*f + 4*j + 1229. Is 245 at least f?
True
Let p = 381.4 + -383.2. Suppose -z + 13 = -5*a, a + 3*z = -2*z + 13. Is a at most p?
True
Let u be ((-84)/(-210))/((-4)/(-10)) + -16. Let j = 2 - 8. Which is greater: j or u?
j
Suppose 3*k + 4*u - 136 = 130, 0 = 2*k + 5*u - 168. Is k greater than 96?
False
Let f(t) = t + 3. Let l be f(0). Suppose 2 = -h, p + p + 5*h = -280. Let o be l*(129/p - -1). Are 1 and o nonequal?
True
Suppose 4*l - 84 = 2*l - 4*r, 4*r - 16 = 0. Is l at most 36?
True
Let a be 55 - (-12 - (-5 + -11)). Is 347/7 <= a?
True
Suppose -24*a + 64*a = 14440. Let r = 51387559/28 - 1834909. Let d = r - a. Which is smaller: d or 1?
d
Suppose -2*j + 3 = j. Let m = -1/5736 - 20389/32504. Let b = m + 5/17. Which is greater: j or b?
j
Let j = 271597/345390 - 137/174. Is j > 1?
False
Suppose 49 - 43 = 3*z. Let c be (4 - z) + 0/(-4) + -11. Is -5 at least as big as c?
True
Let m = 200692/249 + -806. Suppose -3*a + 12 = -4*y, 3*a + 6 - 18 = -3*y. Is m at most y?
True
Let d = 34 + -33. Which is greater: -1/173 or d?
d
Let n be (7 - (3 + -2))*(-1)/(-2). Suppose -5*i - 113 = -3*s + s, -i - 20 = -n*s. Is -22 <= i?
False
Let g be -9*2/(-6) + -4. Let t be (4/10)/((-17)/5 - 2). Are t and g unequal?
True
Suppose -35 = -2*o - 3*n, -2*o + 4*n + 23 = -o. Which is smaller: 20 or o?
o
Suppose 55*k - 3 = 52*k. Is -2/271 at least k?
False
Let y = -42 + 60. Let s(a) = -a**2 - 8*a - 11. Let r be s(-6). Let q be (-194)/(-10) - ((-3)/5 + r). Is q <= y?
False
Let d be (-57)/38*2*12. Which is bigger: -33 or d?
-33
Let s be 2*4/((-32)/(-84)). Let h be (-3)/(-23)*(-14)/s. Do h and -1 have different values?
True
Let q be ((-52)/130 + 47/5)*17. Is q equal to -1?
False
Let z = 2416/15 - 161. Let g(d) = d**2 - d - 1. Let y be g(2). Which is smaller: y or z?
z
Let n be ((-2)/7 + 20/(-28))*-17. Suppose -n*s + 19*s + 62 = 0. Which is greater: -30 or s?
-30
Let h = -79 + 4. Let r = -63 - h. Which is smaller: r or -1?
-1
Suppose -w - 10 + 78 = -3*u, 5*u + 130 = 5*w. Which is bigger: u or -16?
-16
Let h = -15860/11 + 6264832/4345. Which is smaller: h or 0?
0
Suppose 5*g - 2*i - 8 = 0, 2*g - 3*i = i. Suppose 0*o = g*o - 14. Suppose -8*b = -o*b - 17. Which is smaller: 16 or b?
16
Let w be 102/(-272) + 22/16. Which is smaller: w or -15/67?
-15/67
Let j(u) = 8*u + 3*u + 54 + 0*u - 4*u. Let h be j(-16). Which is greater: h or -59?
h
Let l be (141 - 7) + -7 + (-2)/1. Which is greater: -2/3 or l?
l
Let t(i) = i**2 + 27*i + 34. Let f be t(-28). Which is smaller: 27 or f?
27
Let k = 4.56 + -0.16. Let j = k + -4. Which is smaller: -3/8 or j?
-3/8
Let m be -1 + 191/63 + -4 + 2. Suppose 0 = -3*x - 1 - 2. Which is bigger: x or m?
m
Let m = 0.12 + -2.12. Let a = m - -1.93. Let d = 0.07 + a. Is d greater than -2/3?
True
Let i be 3/(-2)*(-292)/(-6). Which is bigger: -74 or i?
i
Let u = -36.393 - -0.093. Let o = 38 + u. Let g = -1.5 + o. Which is bigger: g or 0.05?
g
Let o be ((-3)/(-9))/((-6)/18). Let a be (4*-2 + 1)/o. Which is smaller: 5 or a?
5
Let x = -93 + 94.43. Let g = x + -0.13. Let k = g - 1.1. Which is smaller: 2 or k?
k
Let k(m) = 2*m**2 - m - 49. Let j be k(4). Is -24 < j?
True
Suppose 4*t + 5 = 5*t. Suppose -3*w + t*h = -35, 0*w = 2*w - h - 21. Let g = w + -10. Is g equal to -3?
False
Let g = -103 + 103.131. Let z = 0.207 - g. Is z < -1?
False
Let n(r) = 8*r + 9. Let h(o) = -3*o - 3. Let f(v) = -11*h(v) - 4*n(v). Let c be f(-2). Let g be (-4)/14 - 52/14. Is c equal to g?
False
Let v = -11.24 - -0.24. Let s = 26 + -36. Let o = v - s. Do o and -1 have the same value?
True
Let x(f) = f**3 + 21*f**2 + 38*f + 6. Let c be x(-19). Suppose 2*d - 362 = 2*w - c*w, -3*w + 275 = -2*d. Which is bigger: 92 or w?
92
Let n(s) = s**2 - 5*s + 3. Let j be n(5). Suppose -j*p + 9*p = 24. Let w = 9 - p. Which is greater: w or 7?
7
Suppose -f + 2*b = 13, -3*f - 29 = -b + 5*b. Which is greater: -86/7 or f?
f
Let n(z) = z**2 - 17*z + 29. Let x be n(15). Let p(w) = 24*w**3 - 1. Let b be p(x). Which is bigger: -26 or b?
b
Let t be 204/(-11) - (2 - (-252)/(-99)). Which is bigger: -3 or t?
-3
Let z be (1/2 - 1)*0. Let y(t) = -2*t**2 + 12*t - 9. Let i(c) = c**2 - 6*c + 5. Le