Which is smaller: j or g?
g
Let c be 1 - 6*11*4. Let b = c + -169. Let a be 76/b + (-2)/(-8). Which is bigger: -1 or a?
a
Suppose -4 = 9*n - 7*n. Let a be (-1 + -4 - 0)/(2/n). Let k = 0.14 - 0.24. Which is bigger: k or a?
a
Suppose -13*b - 686 = 17*b - 16*b. Is b at least -16?
False
Let l = 3.11 + 149.89. Let n = l - 152. Which is bigger: n or -3/7?
n
Let d(r) = -r**3 - 11*r**2 + 9*r + 1. Let y be d(-12). Let s = 111 - 46. Let u = 102 - s. Is y greater than u?
False
Let c(a) = 69*a - 36. Let f(d) = -17*d + 9. Let j(r) = -2*c(r) - 9*f(r). Let p be j(2). Let b(l) = 4*l - 35. Let s be b(p). Is s less than -1?
False
Let l be (-129130)/(-150) - (0 + 6/(-45)). Is 861 greater than l?
False
Let m = 2289 - 2849.2. Let v = m + 560. Is 1.2 < v?
False
Let y be (3 - 7/14) + 1/(-2). Suppose -437 = -25*s + y*s. Are 11 and s non-equal?
True
Let t be (-39 - -41)/(-3*10/(-3)). Suppose -2*q - 4*n + 44 = 2*q, q - 21 = -3*n. Let y = q - 7. Is y smaller than t?
True
Let i = 64 + -116.5. Let g = 53 + i. Let u be (-12)/(-8)*(-8)/30. Is u greater than g?
False
Let k = -1963 - -1965.458. Let s = k + -0.458. Which is smaller: s or 0.022?
0.022
Let y(m) = -87*m**3 - m**2 + 4*m + 14. Let o be y(-2). Which is greater: o or 702?
702
Let o = 402 - 406. Let l be ((-11)/132*-4)/((-5)/o). Is l greater than 2?
False
Let z = -530 - -485. Let t be (z*(-33)/220)/(6/64). Is t < 66?
False
Suppose -156*c + 50901 = -31*c + 16*c. Which is greater: 391 or c?
391
Suppose 2*n - 3*u + 63 = 0, 6*n + 2*u + 150 = 2*n. Let q = n + 53. Let p be (20 - q)*(-4)/(-90). Which is bigger: p or -2?
p
Let a = -518 + -384. Let w = a - -860.9. Let p = w + 41. Which is greater: p or 20/9?
20/9
Let r = 169 + 413. Suppose 0 = 4*u, -6*u + u - r = 3*g. Which is smaller: 1 or g?
g
Let y = 7605 - 7604.3. Are y and 0.236 nonequal?
True
Let w(d) = d**2 - 32*d + 86. Let p be w(3). Is p smaller than -1/6527?
True
Let s(p) = p**2 - 10*p + 6. Let j be s(8). Let q = 265 - 266. Let r be 5 + q + (6 - 14) + -6. Are j and r equal?
True
Let c be ((-2)/3)/(2/(-15)). Let w be ((-1404)/585)/((-3)/5). Suppose -w*d = 65 - c. Which is bigger: d or -14?
-14
Let k = -0.1 + -0.9. Suppose 0 = 31*y - 39*y + 280. Suppose -d + y = -8*d. Is k greater than d?
True
Suppose -8 = -5*p + 22. Let w be 1/(-2)*(-64 + 46 - -2). Is p < w?
True
Let i = -18 + 17.8. Suppose -17*d + 4*d = -347 - 290. Which is smaller: d or i?
i
Suppose -3*f - 114 = -5*w, 2*w + f - 33 = -2*f. Let y be 8 - (3584/(-36))/16 - -6. Which is bigger: y or w?
w
Suppose -12*y = 5*a - 7*y - 10, -3*a + 14 = -5*y. Is a smaller than -41?
False
Suppose 58*o - 12972 - 3094 = 0. Is o >= 278?
False
Let l(t) = 3*t**3 + t - 1. Let o be l(1). Let j be 11/((-693)/133) + 2 - 16/18. Let u be o/(j + 4) - (5 - 4). Which is bigger: u or 13/4?
13/4
Let n be (1/(-6))/((13 - 12306)/19). Is 1 >= n?
True
Let m = 12 - -13. Suppose -m = 6*k - 11*k. Suppose c + 10 = -i - 0*i, 4*c + 47 = -k*i. Are i and 0 nonequal?
True
Let d be (-8)/(-22)*213/142*(-22)/(-6). Which is smaller: d or 75/28?
d
Let f(a) = -10*a - 6. Let w be f(-2). Suppose 0 = 7*h - w*h + 14. Are h and 6 equal?
False
Let t(r) = -14*r**2 + 669*r + 70. Let s be t(40). Is s smaller than 4427?
False
Let a = 0.159 + 94.841. Let y = a - 94.96. Are y and -2 equal?
False
Let w be 14/58 + -1 + 1. Let u = -1848 + 1873. Suppose -o + 5*a = 25, 0 = -o + a - 6*a + u. Are o and w non-equal?
True
Suppose -18 - 21 = 4*o - 3*j, -39 = 2*o + 5*j. Let s be (8/o)/(5/(-30)). Suppose -d = -k - 2*d + 2, 3*d = s*k + 13. Is k less than or equal to -1/108?
True
Let c(o) = -o**3 - 3*o**2 + 12*o + 36. Let n be c(-3). Which is smaller: n or -1/30420?
-1/30420
Let j be ((-8177)/(-6))/13*6. Is 628 < j?
True
Let o(s) = -339*s + 4157. Let j be o(13). Which is greater: j or -252?
j
Let u(h) = 5*h + 61. Let g = 129 + -143. Let x be u(g). Which is smaller: x or -12?
-12
Let p = -17 + 27. Suppose -5*f = -3*f + p. Let k be (-5)/f*18/(-57). Which is smaller: -1 or k?
-1
Suppose -6*x = -x - 10. Suppose s - 3*m + m - 26 = 0, -2*s = -m - 67. Let w be s/3*10/50. Is x <= w?
True
Let u be (-7086)/33*(7 - 35). Let f = u - 6018. Are f and -2/5 non-equal?
True
Let p = -29641/55 + 539. Let r = 27 + -16. Suppose -k - d + 3 = 0, 5*d - r = -2*k + k. Which is smaller: p or k?
p
Let s = -0.0337 + -0.3663. Suppose 31 = 4*v - 0*z + 5*z, -43 = -5*v - 2*z. Do v and s have the same value?
False
Let d = 0.1 - 0.1. Let u = -16.64 + 2.74. Let z = 13.4 + u. Do z and d have the same value?
False
Let p = 212584 - 212407.237. Let i = p + 0.237. Which is greater: i or 0.1?
i
Let s be -5 - (-554)/8 - -8. Let f = s + -72. Which is smaller: 4 or f?
f
Let p be (-12)/(0 + -1)*(-2)/(-3). Suppose p*i + 6*i + 14 = 0. Is i > -0.174?
False
Let v = 304.7 - 306. Let d = 0.5 - -0.9. Let l = v + d. Which is smaller: l or -17?
-17
Let f(q) = -44*q + 480. Let u be f(18). Which is greater: -2185/7 or u?
u
Let y(z) = z**2 + 89*z + 298. Let u be y(-61). Which is bigger: -1409 or u?
-1409
Let b = 10552 - 94612/9. Do 40 and b have different values?
True
Let k be ((-13)/(-26))/(2/11) - 3. Which is greater: k or 212.1?
212.1
Let j be 1097*(-1)/(-17) - (-22)/2. Which is greater: j or 77?
77
Let f be ((-24)/16)/((-18)/(-10)). Suppose 4*q = 12, 2*n - 4*n - 134 = 4*q. Let t = 71 + n. Is f greater than or equal to t?
True
Let f = -59 + 44. Let c be 10/f + 7/(-3). Let z be 1 + (-2 + 15)*c. Is z smaller than -37?
True
Let w be (-3)/6 + ((-11594)/(-3862) - (-110)/(-44)). Is w greater than -1?
True
Let p = -6464 + 5227. Which is bigger: p or -8650/7?
-8650/7
Let c = 2584.363 - 2585. Is c at least as big as -1/4?
False
Suppose -v = -3*z - 5, 7*v - 2*v - 3*z - 13 = 0. Let h be (3 - 4)*(1 - (v + -1)). Suppose h = -d + 30 - 29. Do 1/45 and d have different values?
True
Let t(m) = 224*m + 1352. Let j be t(-6). Let l be 1 + -5 + 2 - -6. Which is greater: j or l?
j
Suppose z + 38 = -5*b, 5*b - 4*z = -z - 26. Is b not equal to -161/24?
True
Suppose -2*p + 4*a = 14, p - 10 = 3*p - 3*a. Suppose p = d - 2. Suppose -d*m = m + 3*y, 5*m + 3*y + 3 = 0. Does -9/5 = m?
False
Let q be (-3)/(-2) + 12/8. Suppose q*i = 5*f - 409, -4*i - f = 2*f + 497. Let y = i + 638/5. Is y at least as big as -1?
True
Let b = -28025 - -23450. Which is smaller: -1 or b?
b
Let t be 1923*(10 + 374/(-33)). Which is smaller: t or -2563?
t
Let n(x) = -1231*x - 6819. Let w be n(7). Does w = -15436?
True
Let r(p) = 4*p - 86. Let n be r(22). Suppose -3*w + 5*m - 25 = 4, 8 = -w + n*m. Which is smaller: -21 or w?
-21
Suppose -a - 7 = 76. Let k = -83 - a. Suppose 3*d + 0 + 6 = k. Is d less than or equal to -7/3?
False
Let k = 1012.732 - 2.832. Let d = -1010 + k. Let t = 53 - 14. Is d > t?
False
Let r be 96/(-63) + (-132)/(-154). Which is smaller: r or 71?
r
Let p = 5.1 + -39.1. Let q = p - -33.86. Suppose -4*u + 3*f + 6 = 3, 4*f + 4 = 0. Is u at least q?
True
Let l = 2774 + -2818. Which is bigger: -48 or l?
l
Let l = 30.02 + -29.7. Is l at most 2/7?
False
Let y be -219 + 1/(-2)*6. Suppose 15*b - 791 = -4136. Which is smaller: b or y?
b
Suppose -4*w + 3 = -41. Let x = -7 + w. Let f = 1512/85 + -214/17. Is x >= f?
False
Suppose 0 = -59*b + 363*b + 608. Which is smaller: b or -70.3?
-70.3
Let t = 0.10842 - -183.89158. Which is smaller: -1/11 or t?
-1/11
Suppose -8*o = -7*o + 14. Let b = 57 + -45. Let x(g) = -g**3 + 11*g**2 + 11*g - 3. Let v be x(b). Which is smaller: o or v?
v
Let y(o) = -8*o**2 + 30*o + 9. Let k be y(4). Let g(j) = 111*j**2 - 2*j. Let w be g(-4). Let f = w + -119525/67. Which is smaller: f or k?
f
Let p be ((-14)/(-4) - 2)*116/3. Let u = p + -56. Suppose -o - u*x = 11, -2*o - 38 = -2*x - 4. Is o > -1?
False
Let p be (-14)/(-4) - 12/8. Let f be 9699/(-21) + -5 + p. Let t = f - -464. Which is smaller: t or 1?
t
Let m = -280 + 269. Let t be -2 - (1 + m/1). Is t at least as big as 8?
True
Suppose 40*d = 42*d + 4. Let v be 3 + (2990/(-96))/5. Let o = v + -1/48. Which is smaller: o or d?
o
Let n be -3 - 184/(-56) - 49136/(-112). Are 449 and n equal?
False
Let a be ((-3507)/35)/(((-105)/25)/7). Which is bigger: 169 or a?
169
Let y(n) = 250*n - 2671. Let v be y(11). Which is greater: v or -24?
v
Let j = 8694 + -7329. Which is greater: 1367 or j?
1367
Let r = -1253 - -759. Let u = -575 - r. Which is smaller: u or 2/5?
u
Let n = -18 - -29. Suppose -4*d + 31 - n = 0. Suppose 0 = 