-5.46. Does q = -2.4?
False
Let d be 180/(-108) - 1/3*-23. Is d < 23/4?
False
Let v = -50 - -71. Let x(l) = 12*l + 29. Let y be x(-3). Let m be ((-6)/v)/(8/y). Which is smaller: -0.2 or m?
-0.2
Suppose -2*w = 8, 0 = 4*r - 0*w - 3*w + 12. Let t be r/(-9) + 112/(-177). Suppose 16*j = 12*j - 20, 5*q - 4*j - 25 = 0. Which is smaller: t or q?
t
Let u(b) be the second derivative of -b**4/12 - 11*b**3/6 + 15*b**2/2 - 9*b. Let s be u(-12). Suppose -13 = -s*f - 1. Is 5 smaller than f?
False
Suppose -16 = -5*a - 0*a - 4*n, -3*a - 8 = -2*n. Let g be (-1*3/49)/(132/(-924)). Which is smaller: g or a?
a
Let r(i) = -2*i + 5. Let x = -6 - -22. Let l = 19 - x. Let c be r(l). Is c greater than -2/5?
False
Suppose -3*m = -0*m - 24. Let p be (-57)/(-9) + (-2)/(-3). Let r be p*(8/2 - (-3)/(-1)). Which is smaller: m or r?
r
Let s be (-30)/315 - (-122)/(-42) - -2. Which is smaller: s or -7/61?
s
Let k(d) = -1 + 0*d**2 + d**2 + d**2. Let g be k(-1). Let h be 1372/(-1820) + 6/10. Which is bigger: h or g?
g
Let v(c) = c**2 + 1. Let j(w) = -15*w**2 + w - 4. Let l(b) = -j(b) - 3*v(b). Let x be l(1). Let r be (x/285)/(2/(-5)). Which is smaller: 1 or r?
r
Suppose 4*b = 2*w + 22, 3*w + 4 + 2 = -3*b. Suppose 0 = 4*z - 6 + 2, -b*f + 8 = 5*z. Is f < -1/193?
False
Let x = -1 - -3. Let d be 1 + x + 5 + -9. Let j = 9 - 11. Which is smaller: d or j?
j
Let m(t) = -70*t - 29. Let i be m(4). Let f be (0 + (i/15 - -2))*-1. Which is greater: f or 20?
20
Let a(p) = p**3 - 10*p**2 + 17*p - 69. Let u be a(9). Which is bigger: u or -1?
u
Let u = -3544798/15 + 236698. Let i = u + -378. Is i > 0?
True
Let m = -587 + 550. Which is smaller: m or -38?
-38
Let z be (-4)/(6*(-6)/27). Let p be z/(-2) - (-369)/234. Which is smaller: p or -1?
-1
Let f be (-2)/(-2*2/(-8)). Suppose -w + 2*j = -3*w - 10, -5*w - j = 33. Let v be w + (-1 - 3)/(-4). Which is smaller: f or v?
v
Suppose 10*f = 6*f - 8. Let w = 12.6 + 0.4. Which is smaller: f or w?
f
Let h(v) = v**3 - 14*v**2 + 14*v - 3. Let i be h(13). Suppose p + i = -0. Let l be (-10)/(-35) - (-15)/(-28). Is p greater than l?
False
Let c = 3 - -1. Let d = -344 + 11333/33. Let n = d - -10/11. Is c < n?
False
Let o = -127 + 221. Let l = 96 - o. Is l equal to -2?
False
Let q = 7718 + -30871/4. Let m = 2/8567 - -41515/8567. Let v = 406/65 - m. Which is greater: v or q?
v
Let u = -2/4907 - -844014/24535. Which is smaller: 0.1 or u?
0.1
Let o(v) = v**2 - 6*v + 5. Let d be o(5). Suppose -6 = 2*y - d*y. Let b = -20 + 17. Is y < b?
False
Suppose -6*p - 32 = -2*p. Suppose 22*q + 6 = 21*q. Which is smaller: q or p?
p
Let j(u) = u**3 - 12*u**2 + 12*u - 10. Let m be j(11). Which is greater: m or 2/59?
m
Let k = -135385/57442 - 1/4103. Let t = k - 1021/42. Let x = 26 + t. Which is smaller: x or -2?
-2
Suppose -5*z - 7 - 4 = -4*q, -q - 4*z = 13. Is -1/5 less than or equal to q?
False
Let c be 1 + (-15)/(-2) - (-33)/(-66). Are 22 and c nonequal?
True
Let v = 49.18 - 1.18. Let x = v - 48.26. Is 2/5 at least x?
True
Let s(p) = p**3 + 8*p**2 - 1. Let j be s(-8). Let l be (8/24)/(j/(-3)). Which is greater: l or 6/25?
l
Let a = -4 + 3. Suppose -5*j = 5*g, j + 2*g + 5 = 6*g. Let r be j/((-2)/6) + 304/(-114). Which is smaller: a or r?
a
Suppose -a + 11 + 18 = 0. Let u = a - 29. Is 4 smaller than u?
False
Let z = -41 - -46. Suppose 0 = -2*g + z*g. Which is smaller: g or 5/14?
g
Suppose 3141*n = 3146*n - 5. Which is smaller: n or -18/61?
-18/61
Suppose 4*p = -2*t + 76, 4*p - 39 = 2*t + 45. Suppose 1 + p = 3*c. Let z be c/1 - (3 - -1). Which is greater: 2 or z?
z
Let x(f) = f**3 - 5*f**2 + 2*f + 7. Suppose -8 = -44*t + 42*t. Let n be x(t). Are -1 and n non-equal?
False
Let u be (-5)/1 - (2 - 6). Let z = u - -1. Let a be (1 - -3) + (-81)/21. Which is bigger: a or z?
a
Let w be 16 + 60 + 39/(-3). Let j = 159 - 96. Is w <= j?
True
Let t(y) = y**3 - 10*y**2 + 13*y + 13. Suppose 2*c + c - b = 19, 0 = 4*c - 2*b - 22. Let g be t(c). Is -11 less than g?
False
Let v = 1.1 - 3.1. Let m be (4 + -1)*(-2 - (-4)/3). Is v less than m?
False
Let v = 0.01 - 2.31. Let g = 0.7 - v. Let o = g - 0. Is 0.2 bigger than o?
False
Suppose 1 = r + 4*z - 11, r - 2*z = -6. Suppose r = n - 2 - 9. Is 3 >= n?
False
Let f(k) = -k**3 - 4*k**2 - 8*k - 7. Let t be f(-2). Which is smaller: 9/5 or t?
t
Let p = 44765 - 73727951/1647. Is p less than -1?
False
Let m = 1386 - 11085/8. Let v = 3.4 + -0.4. Does m = v?
False
Suppose -s - q - 4*q = -4, -s - q = 0. Is s >= -22/15?
True
Let c = -157 + 151. Let o(y) = -58*y - 1. Let d be o(-1). Let g be (-32)/c + 38/d. Which is greater: g or 8?
8
Suppose 10*t - 873 = t. Let x = t - 70. Is x != 27?
False
Let p be 6/10 + 28/20. Let j be (5/((-105)/(-14)))/(p/3). Which is smaller: j or 26?
j
Suppose -8*b + 44 = 3*b. Let p be 21 - (b + 0 + -2). Which is smaller: p or 18?
18
Let z(q) = -q + 7. Let j be z(3). Suppose -2*p + 6 = -0*p. Suppose -p*o - 4*v = 2*o + 10, -3*o - 14 = j*v. Which is smaller: o or 10/3?
o
Suppose 92*w - 102*w - 370 = 0. Let h = -48 + 10. Which is greater: w or h?
w
Suppose 0 = 3*f + 3, 5*h + f + 81 = -5. Which is greater: h or -116/7?
-116/7
Let v(i) be the third derivative of i**3/6 + 2*i**2. Let u(j) = -2*j - 6. Let o(p) = -u(p) - 5*v(p). Let g be o(-3). Which is smaller: 2 or g?
g
Let t(o) = -o**2 - 3*o + 2. Let z be t(-5). Let q be (-15)/(-12) + 2/z. Let r = -0.009 + -0.101. Which is smaller: q or r?
r
Suppose -5*m - 4*i + 1685 = 0, 52 = -m - i + 388. Let q = 1357/4 - m. Let t = 6 + -7. Do q and t have different values?
True
Let a = 123 - 617/5. Which is smaller: -15 or a?
-15
Let a be (-8)/18*60/(-32). Suppose 5*v = 3*n + 4 + 3, 3*v - 9 = -3*n. Suppose 0 = 6*s - 4*s - v. Which is smaller: a or s?
a
Let c = 14380 - 14667601/1020. Are 1 and c nonequal?
True
Suppose -4*b = -5*r + 162 - 552, b = 4*r + 312. Is r greater than -78?
False
Let r = 62 + -74. Suppose -c = -x - 0*x + 7, 12 = -c + 2*x. Which is greater: r or c?
c
Let l be 6/42 - 194/(-14). Is l less than 0.1?
False
Suppose 2*q = -5*f + 12, 0*q = q - f - 6. Let r = 9 - q. Let v be (6/r - -1) + -8. Is v equal to -5?
True
Suppose -3*z + 7*z + 80 = 0. Let h = 58/3 + z. Is 2 > h?
True
Let x = -100 - -110. Let b = 0.025 + 0.975. Is b at most x?
True
Suppose -5 - 3 = -4*t. Let o be 0 - ((1 - 1) + t). Suppose -7 + 6 = r. Is r at most o?
False
Let o = -0.079 - -0.379. Let m(f) = -f**2 - 7*f + 3. Let u be m(-6). Let b be 5/(-15)*u/(-2). Which is smaller: b or o?
o
Let w(d) = 41*d**2 - d. Let u be w(1). Let i be 37 + (-3)/(6/10). Let b = i - u. Which is smaller: -7 or b?
b
Let j = -293 - -294.33. Let b = 1.3 - j. Let q = 0.03 + b. Is q greater than or equal to 1?
False
Let w be 1 + 1*27/(-9). Which is greater: w or 9?
9
Suppose 53*n = 14*n - 702. Which is smaller: n or -8?
n
Let c(j) be the first derivative of j**3/3 - 3*j**2 - 2*j - 2. Let w be c(6). Let u be -2*(-2 - 3/w). Which is smaller: 1/17 or u?
1/17
Suppose -v = -6*v + 3*d + 9, 0 = -v - 4*d - 12. Suppose v = -2*j - 3*j + 70. Which is smaller: j or 18?
j
Let b = -2/657 - -96583/1314. Let k = -810/11 + b. Is -1 not equal to k?
True
Let p = 13/15 + -457/510. Is 1 less than p?
False
Suppose -3*n + 5*x - 11 = 0, -3*n = -2*x - 1 - 0. Suppose -4*r + 9 = -7. Suppose -1 = 4*z - b, b + r*b + 12 = n*z. Are z and 2/27 nonequal?
True
Suppose -15*p + 260 - 2570 = 0. Which is smaller: -156 or p?
-156
Let k be (0 + 1)*(4/4)/1. Let s be ((-39)/(-12) + -3)*(k - -1). Which is smaller: 0.1 or s?
0.1
Suppose -80*g = -81*g - 17. Do g and -91/5 have different values?
True
Let x be (-2 + 42/20)*(3 - 9). Is -3 greater than or equal to x?
False
Let v be 2/6 - (-178)/6. Let o be 2/4 + v/9. Let d = -155/42 + o. Is d > -1?
True
Let k be 0 + 2 - (2538/315 + -6). Is k greater than -8?
True
Let b(m) = m**2 - 5*m - 48. Let z be b(10). Which is greater: z or 56/25?
56/25
Let m(s) = s**3 - 8*s**2 + 4*s - 6. Let v be m(4). Let c be 12/v + 32/(-18). Suppose -86*r + 84*r = 4*x + 20, -5*r + 15 = -3*x. Is r greater than or equal to c?
True
Let y = 34.3 + -34.3. Let h = 4 - 4.1. Which is smaller: y or h?
h
Let m = 0.34 + -0.19. Let g = m + -0.4. Are g and 1 equal?
False
Let t be (-270)/(-6) + 1/(-1). Is 43 >= t?
False
Let j = -124/9 - -9433/684. Let r = j + 73/228. Which is smaller: 1 or r?
r
Let h(f) = f**2 - 3*f - 85. Let l be h(0). Let w = l + 84. Which is smaller: w or -7/4?
-7/4
Let w(