+ 41973. Is 21871 less than t?
False
Let u(j) = 35 - j - 36 + 57. Let d be u(22). Which is smaller: 33 or d?
33
Let n = -11116177/42 + 1606589/6. Let l = n - 3092. Which is smaller: l or 2?
l
Let z be (1316/(-470))/((-28)/(-720)). Let x = 115 + -188. Does z = x?
False
Suppose 22*f + 130 = -4*f. Let l be (f/6)/(13/195). Do l and -12 have different values?
True
Let v = 298.07 - 10.07. Let w = v + -289. Is 149 less than w?
False
Let f(l) = -l**3 + 8*l**2 + 18*l + 12. Let i be -142*((-14)/4)/(-7). Let m = i - -81. Let w be f(m). Which is smaller: w or -9?
-9
Suppose j - 2 = 0, 27 = 3*z + j - 14. Suppose 357 = -z*n - 8*n. Let u be 48/(-15)*(6 + -1). Is u < n?
False
Let s = 21971/6 - 3662. Which is smaller: s or -656?
-656
Let h = -1544.23 - -1544.2. Are h and -426 nonequal?
True
Let d be (8 + -18)*153/27. Are d and -56 non-equal?
True
Let l = 3193 - 3194.3. Which is smaller: l or -25?
-25
Let o = -147 + 153. Suppose 5 - 1 = x. Suppose -3*h + 32 = 5*d, -2*d - x*h = 3*d - 36. Which is smaller: d or o?
d
Let h(b) = -53*b**3 - 2*b**2 + 3*b. Let l be h(1). Let j be (4 - 0)*7/((-56)/l). Suppose -29*r + 6 = -j*r. Is 13 > r?
True
Suppose -26*i - 15 = -29*i. Suppose -i*b + 31 = 6. Let q be 4*b*4/70. Which is smaller: q or -4?
-4
Let q = 0.04 - 0.19. Let b = -42.256 - -33.256. Is b < q?
True
Suppose 2*q - 73 - 105 = y, 0 = -q - 4*y + 62. Which is bigger: q or 88?
88
Let a be (-1448)/22 - 26/143. Let n = -63 - a. Suppose -3*f = -15, n*k + 7*f = 3*f + 35. Which is bigger: k or 6?
6
Let h = 123 + -382/3. Let x(m) = -m**3 - 7*m**2 + 10*m + 17. Let q be (22 + -30)*(-1 + 0 - -2). Let v be x(q). Are v and h nonequal?
True
Let j be 38416/(-14259)*3849/(-2). Let p = -5185 + j. Which is greater: 1 or p?
1
Let f(k) = -k**3 + 10*k**2 + 232*k + 11. Let s be f(-11). Which is bigger: 6021 or s?
6021
Let x(k) = k**3 + 7*k**2 + 2*k - 3. Suppose 0*f + 5*f + 235 = 0. Let p = f + 43. Let t be x(p). Which is greater: 36 or t?
t
Let m be 91803/(-1724)*(-179)/(-3). Are m and -3176 equal?
False
Suppose 4*h + 2318 = 4*q - 2994, 5*h + 6612 = -2*q. Which is bigger: -1326 or h?
h
Suppose u + 4*u + 2*d = 16, -3*u = 5*d - 2. Suppose 1 = -u*y - h, -8*y - 3 = -3*y + 3*h. Which is smaller: y or -3/230?
-3/230
Suppose 0 = -32*b - 1003 + 7659. Which is bigger: b or 197?
b
Suppose -20*u = -15*u - 215. Suppose u*t - 5*p = 48*t, -1 = 3*t + 2*p. Is -111 less than t?
True
Let q = 1.474 - 12.474. Which is smaller: -21.3 or q?
-21.3
Let v(i) = -i**3 - 38*i**2 + 599*i - 144. Let t be v(-50). Let a(s) = 24*s + 2. Let z be a(-4). Is z greater than or equal to t?
True
Let z(s) = 2*s + 17. Let k be z(-8). Let d be (691/(-1) - -3) + k. Let u = d + 2099/3. Which is greater: 12 or u?
u
Let q be 104 + 7 + 2 + -6. Let k = -2202 - -2310. Are q and k non-equal?
True
Let k be 3 + 1 + -6*6/9. Suppose k = 67*d - 63*d. Let r be 6/(-42) + (-33)/(-35). Which is smaller: r or d?
d
Suppose g + 15 = -2. Let l be 1/((-6)/72*-3). Let w be ((-3)/(-3) - 5)*l. Is g > w?
False
Let y be (-120)/(-56) - (-5 + (-1254)/(-154)). Let l = -7/18 - -1541/3870. Is l smaller than y?
False
Let m be 14904/139978 - (-1)/((-68)/8). Which is smaller: m or 0?
m
Let a = 38963 + -38961. Which is smaller: a or 188/121?
188/121
Let z be 141/21 + -5 - 4/(-14). Which is greater: 699 or z?
699
Let j = -264 - -4490/17. Let s = -6 + -12.9. Let c = 19 + s. Is j smaller than c?
False
Suppose -19*z = 259 - 734. Suppose 4*r = -2*x - 30, -3*x - z - 19 = 5*r. Which is smaller: -2 or x?
x
Let h = -5.81 + 0.81. Let n = 4.9 + h. Let d = -116 + 50. Which is smaller: n or d?
d
Let b be 80/(-9) + 16 + 4080/(-270). Let k = -25 - -9. Which is bigger: k or b?
b
Suppose -4*f - 2*l = -26070, 0 = 6*f + 5*l - 52256 + 13157. Is 6518 != f?
True
Let n = 45077.957 + -45043. Let w = n - -0.043. Let p = w + -35. Which is smaller: p or 0.04?
p
Let a = -63.67 + 62. Let v = a - -1.64. Which is smaller: -1/5 or v?
-1/5
Suppose -o = 2*q - 76, -6*q = -8*q + o + 80. Let v be q - 34 - (5 - -1). Is v smaller than -1/451?
True
Let d be ((-5)/4)/(34/(-16) + 2). Suppose -2*y + 5 - 7 = -i, 5*i + y = d. Is i at least -1/3?
True
Let n = -2686 + 2684. Suppose -4*m + 1 = 97. Let j be 84/m - (-1 - 2). Is j at least n?
True
Let d(m) = m**2 - 10*m + 3. Let k(i) = -i. Let x(p) = d(p) - 5*k(p). Let b be x(10). Is 54 at least as big as b?
True
Let j = -0.547 + 1.547. Which is smaller: 0.0223 or j?
0.0223
Let u be ((-4)/(-52) - 4557/(-1092))*-2748. Is -11678 at most u?
False
Let t(r) = r**2 - 6*r - 40. Let c be t(-4). Let k be (c - -2) + 9/(-9)*2. Is -2/605 equal to k?
False
Let b = -29 - -40. Let m = -16 - -82. Suppose -8*w - m + 146 = 0. Which is bigger: w or b?
b
Suppose -2*k - 5*l = -1 - 52, -3*k - 5*l = -77. Suppose 4*h = -5*t + k, 2*t - t = 5*h - 1. Let p = -228581/38 + 12031/2. Which is greater: h or p?
h
Let z = 13.8 + -13.8. Let y = -1.36 + 112.36. Let m = y + -86. Which is greater: m or z?
m
Let s = -1.61 - 22.79. Let a = 25.4 + s. Which is greater: a or 400?
400
Let r be 2 + 4655/28 - (-5)/(-20). Let l = r + -168. Is l smaller than -1/287?
False
Let o = 7613 - 4651539/611. Which is smaller: o or 1?
o
Let k = 20711 + -20687. Suppose -3*y = -3*c - 2*c - 58, 2*y + 4*c - 68 = 0. Which is bigger: k or y?
y
Let b(v) = -4*v**2. Suppose 2*c = z - 4 + 5, 4*c = 4. Let x be b(z). Let p(a) = -6*a**2 + 2*a - 3. Let j be p(x). Is j >= -107?
True
Let o = -14 - -18. Let m be 5 - (5 - o - -3). Let a be 15/(-6)*(m - 3). Which is bigger: a or 1?
a
Let l be 2 + 1 + (-742)/56*-4. Are 47 and l nonequal?
True
Let d = 5458424/23 - 237362. Which is smaller: d or -39?
d
Let k(i) = -i**2 - 6*i + 3. Let v be k(7). Let q be 3 + -7 + (-4 - -96). Let o = v + q. Which is greater: 5/31 or o?
5/31
Let w be -12 + (266/16)/(4/(-8)). Which is greater: -45 or w?
-45
Suppose -5*j - 10 = 0, 11 = 5*x - 0*j - 3*j. Suppose 0 = v + x - 5. Suppose -5*u = -4*y + 255, -3 + 7 = v*u. Which is smaller: y or 66?
y
Suppose 5*r + 37 = -c, 0 = -r + 11*c - 6*c + 3. Let k(n) = n + 37. Let b be k(r). Is b > 33?
False
Let w = -4791.3 + 4788. Let g = -1.95 + -0.05. Which is greater: g or w?
g
Let h = -9391/31 + 303. Let f be (-6)/16 + 582/1552. Which is bigger: h or f?
h
Let r = -2430259 - -1545646199/636. Let a = -3/212 - r. Suppose -6 = 2*i - 0. Are i and a non-equal?
True
Let c be ((-114552)/(-252))/((-11)/(-77)). Is 3182 smaller than c?
False
Let v be (-4)/(20/(-35)) + (-10475)/1115 + 2. Is v greater than -1?
True
Let o be (3/(-3) - 3) + 0. Let j be (10314/(-1143) - o) + 5. Which is greater: 0 or j?
0
Let x be (-39)/12*(-50 - (2 + 0)). Let k = x + -180. Which is smaller: k or 0.1?
k
Suppose -73*p + 17415 + 20472 = 0. Is p < 3637/7?
True
Let w be 3/2*20/15. Suppose c - r = -2*c + 13, 0 = w*c + 5*r + 14. Suppose 2*y + 3*y - 20 = 0, 3*s + 15 = c*y. Is s at most as big as -2?
False
Suppose -5*g - 2*x + 182 = 0, g - 198*x + 200*x = 30. Is 16 greater than g?
False
Let n = -121 - -136.6. Suppose 3*g = -95 + 113, 15 = 3*c + 3*g. Are c and n non-equal?
True
Let j be 927/(-515) + 522/(-310). Are j and -3 equal?
False
Let l(w) = -w**2. Let y(c) = -c**3 - 8*c**2 - 5*c - 4. Let v(k) = 2*l(k) - y(k). Let n be v(-5). Let r be -2 - (-1 + (n - 5)). Which is smaller: r or -1/25?
-1/25
Let m = 130 - 54. Suppose -m*d = -71*d - 20. Let s be (d - 2) + 4 + -4. Which is smaller: 3/5 or s?
3/5
Suppose -5*w - 19 = 4*r, -r + 4*r + 3*w = -12. Let o be (-425)/(-45) + (2 - -1)*r. Let j = 1138/171 - o. Is 1 not equal to j?
True
Let g(p) = p**2 - 9 - 5*p + 7*p**2 - 7*p**2. Let l be g(0). Which is smaller: -16 or l?
-16
Let w(f) = 2*f**2 + f - 4. Let k(u) = u**2 - 2*u - 50. Let y be k(-6). Let i be w(y). Is 2 >= i?
True
Let h(x) = x**3 + 10*x**2 + 9*x + 1. Let i be 18/4*4*5/(-10). Let f be h(i). Suppose -3*p - f = t + t, -4*p + 2*t - 20 = 0. Is p less than -9?
False
Let w be (-21*(-90)/(-27))/(-2*4). Do 8 and w have the same value?
False
Let o be 4/10 - 1484/(-140). Suppose 31*x + o*x = 6762. Do 161 and x have the same value?
True
Let k be 2/(-14) + 1992/28. Let x = 45 - k. Let c = -1284 + 1259. Is c less than or equal to x?
False
Let s = -409 - -409. Let v be s + 1 + 5/(135/(-51)). Which is greater: 1/5 or v?
1/5
Suppose 0 = -21*g + 177*g + 49 + 107. Let k be (6/4)/(145/20). Is k at least as big as g?
True
Let j be (5316/1872 + 24/(-9))/((-6)/(-32)). Is -0.01 equal to j