4469. Is 0.2 smaller than t?
False
Let d(o) = -o**2 - 11*o - 3. Let j be d(-4). Let v be j*((-66)/15 + 0). Let m be (-286)/v*-1*1. Which is smaller: -2/7 or m?
m
Suppose 7*k + 4*l = 6*k + 15, -3*l = 2*k - 10. Let y = 336 + -110. Which is greater: y or k?
y
Let b = 4204 - 20926/5. Which is smaller: 18 or b?
18
Let c = 612 - 288. Let d be ((-41340)/1272)/(-2 + -2*38/(-40)). Is c greater than d?
False
Suppose 3*z + 2*k - 2657 = 0, -2*z + 1895 = 5*k + 109. Suppose 6*f - 157 = -z. Is f bigger than -120?
False
Let j be -5 + 318100/(-44) - (-6)/11. Is j > -1?
False
Let l be -10 - (5502/(-1110) - 5). Is l greater than or equal to -1?
True
Let q = 222.46 - 5.72. Let p = q - 217. Is p smaller than -0.1?
True
Let m(h) = -54*h**2 + 9286*h + 349. Let w be m(172). Let z be 3/((-4)/(32/(-6))). Suppose -j + z = j. Is j > w?
False
Let o(a) = 5*a + 773. Let b be o(-127). Is b > 140?
False
Suppose -27*f + 10*f = -68. Suppose f = 13*v - 100. Which is greater: v or 10?
10
Let f = -5881 + 5882. Which is greater: 9038 or f?
9038
Suppose 4*b - 7736 = -3*y - 2397, b - 2*y = 1332. Let k = b + -81377/61. Suppose 5*u - 5 - 10 = 2*f, f = -2*u + 6. Which is smaller: k or f?
k
Let g be (-3)/(-81)*3*144/(-32). Which is smaller: g or -7/177?
g
Let q = 3008.1 - 3008. Let u be 755/245 + -1*3. Which is bigger: u or q?
q
Let b = -675 - -668. Let z be (-1)/(120/525 - (-3)/b). Is z greater than -41?
True
Suppose 2*m + 6 = 0, -4*m = 5*t - 2*t - 939. Suppose 800 = 5*w + 4*b, 3*w + b = w + t. Which is greater: 155 or w?
w
Suppose t + 4 = 5*t. Let c = -6863/4 - -1686. Let u = c + 3923/132. Which is greater: t or u?
t
Let r = -211.72 - -195.72. Is -5/19 at most r?
False
Suppose -20*u = -5*u - 9*u. Let c(j) = j**2 - 6*j + 1. Let q be c(5). Let m be (5/((-190)/q))/(-1). Is m at least as big as u?
False
Let f(l) = 11*l**3 + 3*l**2 - 9*l + 2. Let j be f(2). Is 83 greater than or equal to j?
False
Let n be (-4)/10 - (-160892)/5655 - (-2)/6. Is n not equal to 29?
True
Let m = 3153/134 - 2/67. Let r = m + -24. Let y = 1.433 - -2.567. Which is smaller: r or y?
r
Let k(h) = -9*h**2 - 77*h - 768. Let v be k(-12). Is v not equal to 2?
True
Let v(l) = -1. Let j(i) = -70*i**3 - 3*i**2 + i + 1. Suppose -6*m - 2 + 8 = 0. Let k(p) = m*j(p) - v(p). Let u be k(1). Is u < -70?
False
Let z = 697 - 699.77. Let i = -36 + 36.77. Let p = i + z. Which is greater: p or 6?
6
Suppose 5*y - 21 = 9. Let b(u) = 3*u**2 + 30*u + 5. Let a be b(-10). Is y >= a?
True
Let n = 283024 - 1419521/5. Is n equal to -879?
False
Let j = -837/260 + 16/5. Let u = -74 + 73. Is u != j?
True
Let a(g) = -g**3 - 14*g**2 - 16*g + 6. Let i be a(-9). Let b be 16/((-152)/(-1664) + 18/(-117)). Is i >= b?
True
Suppose -1 + 7 = -2*k, 2*p = 2*k + 12. Suppose -26 + 118 = -46*j. Let w be ((j/p)/(-1))/(16/(-60)). Which is smaller: w or -3?
-3
Let j be (-10)/4*(-114579)/(-435)*(-4)/6. Which is smaller: j or 3064/7?
3064/7
Let t(o) = -o**2 - 33*o - 189. Let x be t(-14). Is x smaller than 64?
False
Let i = -1 - -6. Suppose 3*c = 3*q - 123, -c = -4*q + 108 + 62. Which is bigger: i or q?
q
Let o be (60/8)/(-3) + 1095/(-30). Which is smaller: -25 or o?
o
Let v = 169911/1751969 - -2/6817. Which is greater: 0 or v?
v
Let g be 10/(-25) + (-216)/(-15). Suppose -76 = -4*z - 2*t, -z - z = -5*t - g. Which is greater: 21 or z?
21
Let o = -456 - -758. Let p = -7184 + 7486. Is p >= o?
True
Let t = -3.58 - -68.58. Let k = 64.9 - t. Which is smaller: k or -672?
-672
Suppose -4*u + u - 1419 = 0. Let g = -22 + u. Let x be 6/7*(4 - g/(-115)). Which is greater: x or -1?
x
Let i = -22 + 25. Suppose -s = q + 9, 5*s + 5*q = i*s - 3. Let l(x) = -3*x**2 - 2*x - 7. Let f be l(-2). Is f greater than s?
False
Let c = -29.8 - -58.4. Let g = 28.8 - c. Which is smaller: g or 196?
g
Let m(d) = d - 2. Let b be m(6). Let q be (8/30)/(b/6). Suppose 2*y = -5*w + 6*w - 4, 12 = -4*y. Is w > q?
False
Suppose -14*m + 16 = -22*m. Let y be (-66)/(-957) - 1214/(-58). Which is smaller: y or m?
m
Let m = -1209 + 926. Is m > -1/2?
False
Let q be (-6)/(3 + -1) - -3. Let j(g) = -113*g - 2. Let r be j(-5). Let m = r - 17455/31. Which is greater: q or m?
q
Let z = -2274.6 - -1149.5. Let x = z + 1125. Let t = 0.14 + -13.14. Which is greater: t or x?
x
Suppose 10*j = 21*j - 5*j - 468. Which is greater: 161 or j?
161
Let m(s) = -2*s - 21. Let y = 29 - 35. Let j be m(y). Suppose 3*t - 2*p = -14, -3*p = 2*p + 25. Does j = t?
False
Let c = 2664 + -5441. Is c less than 1?
True
Suppose -5*n = 2*b - 16, 6*b = b + 15. Suppose 3*u = -2*k, -7*u = -n*u - 3*k. Suppose -o + 0*o = -5*f - 52, -3*o - 2*f + 122 = u. Which is greater: 43 or o?
43
Suppose 0 = -29*d + 17*d + 696. Suppose -7*c - 33 = d. Which is bigger: -59/5 or c?
-59/5
Let l = 5442 + -4347. Which is smaller: 5474/5 or l?
5474/5
Let c(o) = 5898*o**2 + 2*o + 2. Let p be c(1). Does p = 5901?
False
Suppose o + 2*o - 21 = 0. Suppose -13*n = -18*n + 280. Let r be 110/228 - (n/16)/o. Is 2/3 >= r?
True
Let i be ((-7)/3)/((-2)/(-246)). Let l(v) = -4*v**3 - 31. Let c be l(4). Is i > c?
False
Let h be (-300493)/25133 + 5 - 2/((-6)/21). Let p be (-2476)/(-4904) - 2/4. Let d = p + h. Which is bigger: 1 or d?
1
Let g(m) = -m**3 - 5*m**2 - 2*m - 6. Let b be g(-5). Let u = 4 - b. Let h be (-63)/20 - -11 - 8. Which is smaller: u or h?
h
Let k = 76 + -75. Let i = -794 - -203265/256. Which is bigger: i or k?
k
Let t be 1 + (-8)/3 + 2. Let b be 4/22 + (-825)/(-121). Suppose 0 = 2*i + 5*f - 23, -3*i + 25 = -9*f + b*f. Is t bigger than i?
False
Let m = -12/40075 + 4290473/8175300. Let k = m - 15/34. Let w be 0*(-2 - -3) - 1. Which is bigger: k or w?
k
Let n be (-5)/(-25) - (-445)/25. Let b be 4/5*(-2 + n/4). Is 16/9 >= b?
False
Suppose 15*z + 23*z - 37269 = 47*z. Which is smaller: -4142 or z?
-4142
Let h(u) = 5*u + 39. Let j be h(-8). Let x be 1/((-2)/((30/5)/j)). Is 9/5 >= x?
False
Let f = 457075/219 + 455/73. Does 0.1 = f?
False
Let z(i) = i**3 + 14*i**2 - 5*i - 71. Let c be z(-14). Is c < 2/1027?
True
Let a be 6/(-8) - 20/((-4000)/(-146)). Let j = -232 - -231. Which is smaller: j or a?
a
Let f be (-6)/21 - (0 + (-16)/7). Let h be (27*1)/((3 - f)/1). Let r be (-135)/h + 1/(2/(-6)). Do r and -3 have the same value?
False
Let w be -4 - 20/(-30)*10842/16. Let v = 871/2 - w. Which is smaller: -11 or v?
v
Let q be 15/2*(-14)/(-5). Suppose -3*k + 120 = -q. Which is bigger: k or 46?
k
Let a = 1.1506 - 24.2406. Which is smaller: 4 or a?
a
Let b = -2149 - -2148.97. Which is greater: 6 or b?
6
Let z = 20283 + -20313. Is z bigger than -108?
True
Let r = -238 + 189. Let z = r - -51. Which is greater: 32 or z?
32
Let j = -21560 - -21559. Which is bigger: j or -8/147?
-8/147
Let u = -580 - -572. Let p(f) = 2*f - 24. Let d be p(7). Is u > d?
True
Let w = 20128 + -20128. Which is smaller: -11/918 or w?
-11/918
Suppose -4*l - 4*y + 532 = 1180, 0 = 5*l + 6*y + 806. Is l < -165?
True
Let n = 1320941/4 - 328482. Which is smaller: n or 1752?
1752
Let u(c) = -24*c**3 - 2*c - 1. Let w be u(-1). Suppose 2*z = -4*v - 8, w = -10*v + 5*v + 5*z. Is -0.51 less than v?
False
Let a = -0.46 - -0.66. Let d(x) = 7*x - 3. Let g be d(2). Suppose g*j = -60 - 127. Which is greater: a or j?
a
Let f be ((-8)/((-256)/(-40)))/((-1)/4). Let w be (192/5920)/((-1)/f). Which is bigger: w or 0?
0
Suppose 5*c = -4*t - 187, 4*c = 3*t + 9*c + 139. Which is bigger: -1.3 or t?
-1.3
Let j = 3473 - 3469. Which is greater: 498/125 or j?
j
Let b(z) = z**3 + 10*z**2 + 24*z - 2. Let d be b(-6). Let a be (-33 + 35)*1/d. Which is bigger: a or 5/86?
5/86
Let s be 16/68*(-10)/(-30). Is s smaller than -4/9?
False
Let g = 55.4 - 55.6. Is g <= 225?
True
Let y = -0.85 + 26.85. Let k = y - 111. Let c = k - -87. Which is smaller: c or 0.33?
0.33
Let b = -1131 - -1131.791. Let o = b - 0.691. Is o at least as big as 0.065?
True
Suppose x = 4*w - 0*x + 701, -2*x + 698 = -4*w. Let k = -371 - w. Let u be 4/(-4) - k/201. Which is smaller: -1 or u?
-1
Let y be 5*(94/10 - 4). Let z be 0*(y/6)/(-9). Let k = -123/869 + 4/79. Which is bigger: z or k?
z
Let z = -218 - -655/3. Let y = -25 - -39. Let b = y - 4. Is z > b?
False
Let o = 18 + -15. Let k(m) = -m**3 + 3*m**2 - 6. Let f be k(o). Let g be 119/(-21) - -1*1. Are f and g equal?
False
Let m = 741.6 + -722.6. Are 33 and m unequal?
True
Let d = -397 + 19. Let m = d - -3039/8. Which is bigger: m