(j). Let t be k(-4). Is -6 greater than t?
False
Suppose 3*c - 60 = k, -2*c = -0*k + 4*k + 184. Suppose -3*g = 4*f - 6, 23*g - 25*g - 2*f = -6. Let b be (-4)/g + (-14)/k. Are 0.1 and b equal?
False
Suppose 0 = -105*y - 77*y. Which is smaller: y or 384?
y
Suppose -3 = -3*l + 2*l. Suppose 3*n + 3*k - 43 = 8*k, -l*n = 5*k + 7. Suppose -n = r - 2*f, 2*r - 3*f + 7*f + 44 = 0. Is r greater than -14?
False
Suppose -4 = -m, -2*m + 55 - 7 = -4*v. Suppose 1040*s - 906*s = 402. Which is smaller: s or v?
v
Suppose 2*x + r - 7 = 4*x, 29 = -4*x + 5*r. Let n = 567 + -291. Let a be (-18)/(-8)*(-16)/n*2. Which is smaller: a or x?
x
Suppose 0 = -39*j + 41*j. Suppose 3*o - 3*r - 15 = 0, 5*r = o - j*o + 11. Let w(v) = -v**2 + 8*v + 10. Let t be w(o). Is t at most -1/18?
False
Let o(g) = -3*g**3 + g + 1. Let x be o(-1). Suppose 5 = x*k - 1, 0 = -2*j + 2*k - 54. Let h = j + 27. Does 3 = h?
False
Let f(c) = -4*c**3 - 69*c**2 - 14*c + 35. Suppose 9*i - 112 = -265. Let s be f(i). Which is smaller: s or -17?
-17
Let d = 27486 - 27776. Suppose 460 = -3*q - 407. Which is bigger: d or q?
q
Suppose 2*z - 22*o = -20*o - 2046, 4*z + 4107 = -o. Is z at most as big as -1026?
True
Let m = -3091 - -3098. Which is smaller: 41/5 or m?
m
Suppose 9*k - 5*k = 4*c + 76, 95 = 5*k + 5*c. Suppose k*x = 24*x + 45. Are x and -8 nonequal?
True
Let r(w) = -w**2 + 9*w - 27. Let c be r(9). Let l = -40 - c. Is -12 at least l?
True
Let c = 10261 + -10739.3. Let a = -449 - c. Let n = 29 - a. Do 0.12 and n have the same value?
False
Let c = 0.06559 + -0.06559. Which is bigger: c or -4/155?
c
Suppose 0 = -g - 5*j + 2, -4 = -2*g + 2*j + j. Let k(b) = 2*b**2 - 2*b + 8. Let d be k(g). Suppose -d - 1 = c. Which is bigger: -14 or c?
c
Let s = -68 + -516. Let h = s - -583. Is -30 at least as big as h?
False
Let v = 831 - 1176. Which is smaller: -1379/4 or v?
v
Let y = -4017 + 4017.1. Is -3 greater than or equal to y?
False
Suppose 7*m + 0*m = -7. Let o = m + 5. Let c be -2 + -2 + o + -2. Do 7 and c have different values?
True
Suppose 0 = 4*t + 4*s - 400, 0 = 3*t - 51*s + 55*s - 303. Let m(i) = 98*i - 1. Let k be m(1). Is k smaller than t?
False
Let j(p) = -p**3 + 9*p**2 - 14*p - 6. Let n be j(6). Suppose -n*w + 18 = -15*w + 3*q, -4*w - 21 = -5*q. Let v = -25 + 45. Is w > v?
False
Suppose 307*j - 73 = 380*j. Let f be 1 + (-5)/((-415)/(-106)). Let u = f + 1927/7553. Is j >= u?
False
Let l = -318997/12 + 26603. Is l greater than 20?
False
Let w = 75.8 + 0.2. Let p = 75.979 - w. Let i = p - 0.079. Is 2/199 at least i?
True
Let p = -6162925309/511438 + 879527/73. Let r = -58/31 - p. Are 0 and r equal?
False
Suppose 0 = 5*n - x - 3675, 0 = 26*x - 28*x. Suppose -14*m - n = -21*m. Which is smaller: 104 or m?
104
Suppose 2*u + 335 = 107. Let x = -103 - u. Are x and 11 non-equal?
False
Let n = 42 - 37. Let a be n/(-4 - 1)*6. Let o = 6 + a. Which is smaller: o or -1/82?
-1/82
Suppose 0 = 2*d + 3*p - 12, 4*d + 2*p - 4*p + 8 = 0. Let s be (29 + -23)*(8/(-9268))/((-24)/(-56)). Which is smaller: s or d?
s
Let n = -1097.2 - -1521. Let b = n + -424. Is b < -1?
False
Suppose -2*d + 21*d = -171. Let v be 98 - (d + (10 - 7)). Which is smaller: 105 or v?
v
Let t = 34 - 42. Let n be (1/(6/(-4)))/(t/156). Let g be (26/6)/((-3)/63*-7). Is g != n?
False
Suppose 370*q = 407*q - 37. Which is bigger: 6/5963 or q?
q
Let g be ((-20)/30)/(10/15). Let v be (g - 5)*(-28)/(-42). Let c be 2/5 - 14/10. Is c equal to v?
False
Let z = 1.9815 - 0.2805. Let s = -0.299 - z. Which is greater: 18/11 or s?
18/11
Suppose 5*o = -5*r - 13080, -19*r = -14*r + 3*o + 13082. Is r at least as big as -7855/3?
True
Let y be -2 + (-1 - (-8 + 3)). Suppose 7*v - 19*v = 12. Let j be 2/44*(-30)/v. Which is smaller: y or j?
j
Let m = -2154 + 2157.788. Let n = -0.212 - m. Do n and -27 have the same value?
False
Let u be -65 + (437/(-69) - 2/(-6)). Let d be (-760)/(-11) + (-2 - -3). Let n = u + d. Which is bigger: n or -1/4?
-1/4
Suppose -3*b = t - 11, 14 = -3*t + 2*b + 47. Let z = -10.1 - 43.9. Let f = 55 + z. Which is smaller: t or f?
f
Suppose -2*p + 3 = 11. Let r be (-8)/(-5) - p/10 - 10. Let a be -10 - (-12)/r*(-4)/(-6). Which is smaller: a or -7?
a
Let f = -22155 - -22154. Which is greater: -27/317 or f?
-27/317
Let v(d) = 2*d**2 - 168*d + 812. Let f be v(5). Let t = 11 + -18. Let j = t - f. Is -29 less than or equal to j?
True
Let l(o) = 207*o + 16. Let m be l(7). Suppose 0 = -4*u + m - 1581. Suppose -3*s + 0*s - 93 = 0. Which is greater: s or u?
u
Let d = -12107 - -12079. Let c = 2 + -2. Which is greater: d or c?
c
Suppose 210 = 14*y + 7*y. Suppose y*l + 3*l = -1222. Is l != -93?
True
Suppose -135 = 5*b - y + 264, 244 = -3*b - 4*y. Let r be (6/(-4))/((15/b)/1). Let p(c) = -2*c + 13. Let s be p(r). Is -7/3 < s?
False
Let w(t) = 6*t + 16. Let j be w(15). Suppose 7*b - j = 90. Is b greater than or equal to 27?
True
Suppose h = -5*o + 9, 27 - 9 = 2*h + 3*o. Let p be (-5 + 11)*24/h. Suppose 20*x = 24*x - 68. Which is greater: p or x?
x
Suppose 0 = 4047*y - 4040*y - 84. Is 1/48 bigger than y?
False
Let r = -1108 - -347. Is r at least as big as -762?
True
Let x(d) = -56*d + 2282. Let t be x(41). Which is smaller: -9 or t?
t
Let u = -190.7 + -0.3. Let a = 315 + u. Which is bigger: 1/4 or a?
a
Let t be 40*(21/(-18) - (-215)/258). Which is bigger: 5 or t?
5
Let m(u) = u + 2. Let p be m(3). Let z(y) = 3*y - 1. Let q be z(p). Let b = 20706 + -20692. Is b greater than q?
False
Let d = 168 + -167.39. Let j = d + -1.61. Is j <= -11?
False
Let q(l) = -2*l**2 - 2*l + 2. Let b be q(-3). Let m(j) be the third derivative of j**6/120 + j**5/6 + 3*j**3/2 - 674*j**2. Let y be m(b). Is y < 10?
True
Suppose 0 = -4*s + 5*j + 12, 3*s = -0*s - 3*j - 18. Which is bigger: s or -3638?
s
Let q = 302 - 258. Suppose -2*s = 4*b - 168, -4*s + 0*s + 35 = b. Is q equal to b?
False
Let b be (354156/20)/11 - ((-36)/(-15))/3. Is 1610 smaller than b?
False
Let i = -5 - 6. Let m = 70/109 - 23/545. Which is smaller: m or i?
i
Let y be (-3006)/(-54)*(-3 + 6)/1. Suppose y = -3*h + 233. Is 24 less than or equal to h?
False
Let k = 74 + -72. Let t be ((k - 2)/5)/1. Suppose -28 = -3*f + 4*r - t*r, 3*f = 2*r + 26. Which is greater: 5 or f?
f
Let v = -376 + 814. Let a = 419 - v. Is -5 != a?
True
Let h be 46/(-4)*(7 + -17). Suppose h - 124 = z. Let q(x) = -x**3 - 5*x**2 + 8*x + 4. Let g be q(-6). Which is bigger: g or z?
g
Let l = 1.2588 + 69.7412. Is -0.4 >= l?
False
Suppose 3 = -2*y + 5. Let o = 246179/700 + -2462/7. Is o at least as big as y?
False
Let z(j) = 10*j**2 - 6*j + 1. Let t be 7/(-4)*-4 + -4. Let n be z(t). Suppose 55 = 4*a - n. Is 32 <= a?
True
Let z(b) = -b + 17. Let x be z(-7). Let q(a) = 2*a - 8. Let r be q(7). Suppose r*f = -12 - x. Which is smaller: f or -5?
f
Let k be 21/(-648)*-22 - -15*19/(-380). Which is smaller: k or 2?
k
Let a(d) = -2*d**2 + 11*d - 3. Let i be (0 - -4) + 1 + 0. Let o be a(i). Suppose f + f - o = 4*t, 1 = 4*t - 5*f. Which is greater: t or 3?
3
Suppose -4*f + 11361 - 473 = 0. Which is greater: f or 2723?
2723
Suppose 0*s - 3*m = -5*s + 14, -2*m - 9 = -3*s. Let y(u) = -u + 15. Let a be y(-8). Suppose -d + 0*d = 5*x + a, 59 = -5*d + 3*x. Is d less than or equal to s?
True
Suppose -3*k - 19 = -7. Let n be (-754)/k + 2 - 116/(-58). Is 194 <= n?
False
Let k = 3 + -4. Let c = -267.5 + 210.5. Is k smaller than c?
False
Let y = 230 - 2853. Which is greater: y or 1/3?
1/3
Let c be 2222/(-23331) + (305042/(-42) - -1). Which is smaller: -7261 or c?
c
Let h(u) = 33*u - 254. Let l(k) = 35*k - 251. Let b(o) = 3*h(o) - 2*l(o). Let w be b(9). Which is smaller: 1/154 or w?
1/154
Let b be 136/6 - (-6)/(-9). Suppose 7*s - 3*m - 460 = 3*s, -s = -m - 115. Let g be (-5 - s)/(-5) + -2. Is b greater than g?
False
Let u = 847 + 239. Is 1086 less than u?
False
Let z = -282 - -601. Let c = 425 - z. Which is bigger: c or 107?
107
Let d = -4459 + 4458. Which is smaller: 0.156 or d?
d
Let m(d) = 9*d - 245. Let b be m(27). Which is smaller: 5.2 or b?
b
Let z = -0.22745 + 0.04475. Which is smaller: -2/7 or z?
-2/7
Let n(i) = i + 7. Let k be n(-3). Let o be (k - 494/8) + (-9)/(-12). Which is bigger: o or -56?
-56
Let u = 1947 - 430. Suppose 10*f + 31*f = u. Which is greater: 34 or f?
f
Suppose -11*s - 15 = -70. Suppose -2*k = s*k - 56. Let b be 46/752 - 1/k. Is b < 0?
True
Let b = 0.00553 + -326.