1)). Which is smaller: g or -78?
-78
Let n be 4/10 + (-16)/(-10). Let q = n + -3. Let c = -1133315/49 - -23129. Which is bigger: c or q?
c
Let i = -401 - -877. Let p be i/(-483) - 2/(-2). Let m = 3538 - 3539. Which is bigger: p or m?
p
Let u = 47 - 23. Let m = 24.1524 + -0.0524. Let q = u - m. Which is greater: q or 0.2?
0.2
Let g = -31408/5 + 208076/35. Is -338 at least as big as g?
False
Let t be (-33)/22 + 782/4. Let r = t + -218. Is 0.4 greater than r?
True
Suppose -v = 3*r + 2*r - 20, 0 = 4*r + 5*v - 16. Let z be (0 - -4 - 7) + r. Suppose 7*t - 1 = -z. Is 2/83 > t?
True
Let c be (-6)/(-4)*80/12. Suppose -3*d = -c*d - 21. Let z = -281/90 + 9/10. Is z not equal to d?
True
Let b = 0.5 - 0.6. Let u be (-8)/26*(-24505)/(-290). Is u > b?
False
Let j = -3681 - -3171. Which is bigger: j or -511?
j
Suppose 9*l + 0*l = 0. Suppose 5*t + l*t + 130 = 0. Which is bigger: t or -24?
-24
Suppose 23*z - 125 = -10. Suppose 0 = i - 4, -z*i - 216 = b - 2*b. Is b equal to 235?
False
Let q = -6919/3 - -5140814/2229. Which is bigger: q or 1?
1
Let c = 11.3 + -9.49. Let j = 17.81 - c. Let g = 4.1 - 4. Which is bigger: g or j?
j
Let v = -23798 + 23083. Is -716 at least v?
False
Suppose 1 = 8*y - 23. Suppose -2*u - l - 309 = u, -4*u = y*l + 407. Let w be -3 - (-14)/6 - u/165. Is w <= 0?
True
Let a = 5.73 - 5.225. Let w = a + -1.885. Is w < 1?
True
Let o = 18567 + -92837/5. Are o and 2458 non-equal?
True
Let t be 2/(-5) - (-254)/10. Let v = 13 + -69. Let d = -56.2 - v. Are d and t non-equal?
True
Let u = 49 + -83. Let f = -33.86 - u. Let w(a) = -a**3 + 8*a**2 + 1. Let y be w(8). Do f and y have the same value?
False
Let f be 22/6 + 0 + -39 + 32. Are f and -0.04 unequal?
True
Let h(f) be the second derivative of 11*f**3/6 - 39*f**2 - 24*f. Let m be h(7). Which is smaller: m or -2/159?
m
Let y be 1*5*(-6)/(-50). Let i be -1*4 - (-9 - -2). Suppose -2*q = -5*q + i. Is y less than or equal to q?
True
Let k be (8 - 6)*3/(-162). Let w = k - -461/54. Which is smaller: w or 10?
w
Suppose p = 2*r + 614, 3*p - 5*r - 1019 = 822. Let x be ((-15)/10)/(27/p). Is -34 less than or equal to x?
True
Let t = 160793/17 - 9461. Let v(x) = 2*x**2 - 27*x - 16. Let l be v(14). Is t greater than l?
False
Let k = 178 + -173. Suppose 4*m + k*h = -293, 5*m + 3*h = -101 - 249. Are m and -66 unequal?
True
Let w = -104 - -969. Let a = 832 - w. Is a at most -33?
True
Let v(l) = 218*l - 2816. Let i be v(17). Is i smaller than 887?
False
Let b be -3*1 - (1836/(-1002) + -1). Which is smaller: 1 or b?
b
Suppose 2*a = -j + 7, 4*a + a = -5*j + 25. Suppose 4*w - 2*s = 116, 2*s = -4*w + j*s + 112. Is w less than or equal to 27?
True
Let y = -0.75 + -3.21. Let z = 3.3 + y. Let x = 0.34 - z. Which is bigger: -1/3 or x?
x
Suppose 0 = -6*g - 35 + 203. Let n = 153 - g. Suppose 4*o + n = -3*h + 48, -5*o = h + 44. Which is bigger: -3 or h?
-3
Suppose 0 = -11*m - 121 + 11. Suppose 0 = -0*b + 4*b + 12. Let z = -10 + b. Is z equal to m?
False
Let a = -0.028194 + -73.007506. Let o = 0.0357 + a. Which is greater: 4/3 or o?
4/3
Let u = -52/7 - -884/21. Which is greater: u or 34?
u
Suppose 9*o - 3*a = 7*o + 41, -5*o + 86 = -2*a. Let t be (o/4)/8 + (-59)/(-6). Which is bigger: -1 or t?
t
Let k = -4133 - -4197. Which is bigger: 68 or k?
68
Suppose 13*q + 37068 = 8*q + 3*t, 2*q + 3*t = -14844. Is -2/3 less than or equal to q?
False
Let j = -5.495 + 5.295. Let g = -2/553 - -641/24332. Is j > g?
False
Let c = 65336/23 + -2842. Let y = -23 + 23. Which is smaller: c or y?
c
Suppose 0 = 3*q, 0 = -5*f - 0*f - 4*q + 109405. Which is bigger: f or 21880?
f
Suppose -109 = 12*i + 203. Let s = 29 + i. Let d = -0.3 + 0.1. Which is smaller: d or s?
d
Let m be (20/8)/(-5)*-6. Suppose -m*x - 6 = 81. Let j be x/(-1) - (24/6 + -7). Is j at least 32?
True
Let l = -56 - -17. Let u = -37.24 + -3.76. Let a = l - u. Which is greater: -0.07 or a?
a
Let b be ((-153)/(-85))/((-3964)/(-660) - 6). Is 300 smaller than b?
False
Let q be 18/8*(-1)/6. Suppose 23 = 2*h - x - 71, h + 4*x = 65. Let i = h - 48. Is i > q?
True
Let h(u) = -7*u**2 + 199*u - 119. Let x be h(27). Is 114 less than or equal to x?
True
Let k(t) = 2*t**2 + 5*t - 464. Let o be k(14). Is o less than -81/32?
False
Let u be 3*2/9 + (-2947580)/(-10563). Which is greater: u or 279?
u
Suppose u + l + 615 = 0, -40*u + 5*l = -37*u + 1853. Which is smaller: -612 or u?
u
Let v be (-340)/1530 - (-2)/(-9)*-1. Which is greater: v or 24/65?
24/65
Let z = 0.3262 - 0.8262. Which is greater: z or 30/13?
30/13
Let p be (-16)/10 - ((-453666)/210 - 10/35). Do 2158 and p have the same value?
False
Let i(j) = 12*j**3 + 3*j**2 - j. Let x(d) = 13*d**3 + 4*d**2 - d. Let w(h) = -3*i(h) + 2*x(h). Let u be w(1). Let s be (2/4)/(u/12). Which is smaller: s or -2?
-2
Let x = -155446 + 155637. Let k = -7 - -5. Is k not equal to x?
True
Let q = -92 - -91.384. Let c = q - 0.084. Let x = -24 - -23.8. Which is smaller: c or x?
c
Let w(h) = 169*h**3 - 12*h**2. Let p be w(1). Which is smaller: p or 144?
144
Suppose -71 = 30*w - 131. Is -1/1066 at most w?
True
Let k = 166 - 1718. Let i be k/9020 + (2 - (-60)/(-33)). Let x = -5348/1845 + i. Which is bigger: -3 or x?
x
Let p = 1002 + -990.66. Let w = p + -9.34. Let z be (3/2 + -1)/2. Is z < w?
True
Let r = -68575596/11915 + 28777/5. Which is greater: 1 or r?
1
Let t be (1*-2)/((-19)/(18 - 56)). Let b be (-1)/2 - 5/2. Which is greater: b or t?
b
Suppose -3 = -4*g + g, 4*m = -g + 5. Let f(a) = a**3 - 6*a**2 - 18*a + 16. Let l be f(8). Let o be l*4/36 + (-2)/150. Which is bigger: m or o?
m
Let n be (-490)/(-21)*6/(-5). Let u = -26 - n. Suppose -2*b + d = -5, b + u - 3 = -d. Is b greater than 2.9?
False
Suppose 4*r + 16 = -2*x, 0*x - 5*x = -3*r - 25. Let j be -19*6/66 + x. Which is smaller: -6 or j?
-6
Suppose -4*s + 21 = 1. Suppose 5*m = 4*m - 4*x - 13, s*m + 2*x - 7 = 0. Let a be ((-9)/m)/(24/(-64)). Is a greater than or equal to 10?
False
Let g be (-61)/(-1)*(-4)/(-64). Let f = -15/4 + g. Suppose 4*l + 4 + 0 = -d, 2*l + 4*d = -2. Which is bigger: l or f?
f
Let b = -2 - -6. Let n = -3.93 + b. Let s = -0.4143 - -0.8143. Which is bigger: s or n?
s
Let o be (100/(-16512))/(604/368 + -5). Let i = o + 1/7416. Which is smaller: -1 or i?
-1
Let i = 791 + -690. Is i smaller than 111?
True
Let r = 18668 - 18644. Is r > -2?
True
Let r be (6 + -38)*187/(-34). Which is greater: r or 1586/9?
1586/9
Let k be 24/(-6) + (-74)/2. Suppose -6*o - 277 = -283. Which is smaller: o or k?
k
Let j = -198.538 - -198.3. Is 0.37 >= j?
True
Suppose -2850 = 5*t - 4*i, -3*t - 686*i = -683*i + 1683. Is 14 at most as big as t?
False
Suppose -4*y + 7 = 4*d + 43, -3*d - 5*y - 35 = 0. Let v be -1 + d + 4268/715. Is v != 1?
True
Let v(r) = r**3 + r**2 - 2*r - 4. Let y be v(2). Let d = 23.264 + 0.136. Let a = -23 + d. Is y less than a?
False
Suppose 0 = -4*p + p - o + 4, 2*p + 4*o = -4. Suppose 34 = -p*z - 5*x, -z = 2*z + x + 77. Let w be (2 - 4) + z/6. Is w smaller than -7?
False
Let z(k) = k**3 + 7*k**2 + 4*k - 8. Let f be z(-6). Suppose -33 = f*l + 7. Suppose -2*r = -8, 20 = 2*n - 4*r + 54. Which is greater: l or n?
n
Let p(z) = 31*z - 156. Let t be p(3). Is t at least as big as -22?
False
Let z = -15 + 27. Suppose 2*m + z = -m. Let s = -4057 + 4056. Which is greater: m or s?
s
Let t(l) = -2*l - 12. Let b be t(-8). Suppose -i + b*f = -11, i + 0*f = -4*f - 5. Suppose 0 = 4*p - i*p. Are p and 3/32 non-equal?
True
Let c(p) = -p**3 - 16*p**2 + 9*p + 10. Let f be c(-17). Let g = 208 - f. Is 60 at most g?
True
Let p = -0.25 - 3.15. Let u = -1079.6 + 1051. Let c = p + u. Which is smaller: -1/4 or c?
c
Let b = -4785 + 3151. Let l be b/(-2964) + 2/(-4). Which is greater: l or 1?
1
Let w = -0.256 - -0.326. Suppose 30*k - 15 = 25*k. Suppose -8 = -k*z - 5*z. Are w and z nonequal?
True
Let m be (1/(-2)*(-1 + 3))/((-644)/(-490)). Is -2 not equal to m?
True
Let y(c) = -12*c**2 + 32*c + 24. Let h be y(-15). Let n = -22046/7 - h. Suppose 19 = 3*v - a, -v + 0*a - 2*a + 18 = 0. Is n > v?
False
Let f = 1.899 - 2.999. Which is bigger: f or -214?
f
Suppose -4*x + 2*x = 24. Let z be (-5 - -3) + -1 + 3. Suppose 2*k - 4 + 32 = z. Are k and x unequal?
True
Let q(h) = -42*h**2 + 11*h + 55. Let d(n) = 46*n**2 - 10*n - 56. Let g(y) = 2*d(y) + 3*q(y). Let l be g(-3). Is 1 at most as big as l?
False
Let t = -0.03 + 0.63. Let x = -53718.