 - 21. Suppose 2*h + l = 4*l - 3, 4*l = 4*h + 8. Is v at least h?
True
Let i = 480 + -295. Suppose -2*l - 3*b + i = 0, 4*l - 345 = 4*b - 5. Is l greater than 88?
False
Let x be (-7)/(-14) + (-84405)/18. Let f = x + 4743. Let z = -55 + f. Which is greater: -12 or z?
z
Let i be ((12/7)/(1014/(-3549)))/(1/12). Let q be 304/(-2)*2/4. Let w = -147 - q. Is w > i?
True
Let p be (441/(-5))/(39/(-130)). Let c = 73 - 59. Let v be (28/p)/(6/c). Is v > -0.03?
True
Let v(w) = -107*w + 110. Let h be v(-2). Which is greater: h or 318?
h
Suppose 14*l + 24 = -f + 9*l, -l - 10 = -5*f. Let s be 18/20*(-17)/102. Do f and s have the same value?
False
Suppose y - 9 = -5*x, 19 = -2*y + 7*y - x. Suppose p - y*d - 8 = 0, -12*p + d = -8*p - 2. Let b(r) = 2*r**3 - 5*r**2 + 4*r - 1. Let f be b(3). Does p = f?
False
Let l be (-3 - -2) + -11 + -1. Let u = -536 - -539. Suppose -3*z - 2*q = -5*q + 54, 2*q = -u*z - 34. Which is greater: z or l?
l
Let t be 49*(-3 - (-90)/21). Let f be t + 6/(-12)*10. Is 3 > f?
False
Let l be 266/(-1064)*32/(-46). Which is greater: 12/7 or l?
12/7
Suppose -100 = -5*s - 95*s. Which is greater: s or 62/135?
s
Let l(h) = -2*h**2 + 0*h**3 - h**3 + 7 - 1240*h + 1247*h. Let p be l(-4). Is p smaller than 15?
True
Let c be (-15 - -13)/((-2)/48). Suppose 0 = -11*u + c - 15. Let s be 5/u*(-28)/(-10). Which is bigger: 5 or s?
5
Let p = -133 - -76. Let o(q) = -7*q - 182. Suppose 5*m = 3*r + 54, -3*r - 54 = -0*m + 3*m. Let t be o(r). Which is smaller: t or p?
p
Let i = -13/786 - 1507/3930. Which is bigger: -95/37 or i?
i
Suppose -4*s + 0*s = 6*s. Is s != -14/1089?
True
Let w be (-88)/55 - 2/5. Let n be (-50)/100 + w/(4/23). Let t be (n/(-96))/(33/(-12)). Is t at least as big as -2?
True
Suppose 3*b - 5*n = 1, 3*n - 36 = -4*b + n. Which is smaller: b or -140?
-140
Let u(d) = 2754*d - 1919. Let b be u(-5). Is b > -15689?
False
Suppose -490432 - 481178 = -233*s. Is 4168 greater than or equal to s?
False
Suppose 277*z = 785*z - 30436 - 185464. Is z at least 417?
True
Let u(j) = -9*j. Let y be u(-1). Suppose y*w = 29*w - 180. Which is greater: w or 62/7?
w
Suppose -y = -8*y - 231. Let n = y + 100. Let z = n - 135/2. Is z < 5?
True
Let o be 580992/(-1904) - (-6)/(-7). Which is bigger: -1223/4 or o?
-1223/4
Let n(v) = -54*v - 1029. Let f be n(36). Is -2973 less than f?
False
Suppose -1 = -i, 0 = -s - 7*i + 2*i - 625. Let a be (4/s)/(135/(-225)). Is a greater than 0?
True
Suppose 5*i + 615 = -4*i + 11307. Are 1189 and i non-equal?
True
Let c = 3211.03 + -3211. Which is greater: 1.82 or c?
1.82
Let i = -60 - -68. Suppose 0 = 4*y + 4*u - 40, 0 = -3*y - 3*u + i*u - 2. Let p be 8/(-4) + y - 0. Which is smaller: p or -1?
-1
Suppose 4*o = 8*o - 8. Let w be (-4)/6*1/o. Which is smaller: -1 or w?
-1
Let l = -281.51 + 285.51. Is -12/7 greater than or equal to l?
False
Let k = -704 + 638. Let s be -2 + (k - -8) - 3. Is s at least -65?
True
Let m(z) = z**2 + 7*z - 16. Let u be m(-10). Suppose -u*k + 15 = -9*k. Let v be (6/(-20))/(10/(-125)). Is k <= v?
True
Suppose -4028*x = -4018*x - 3020. Does 353 = x?
False
Let i be 2/(-25) - 508096/23800. Which is smaller: i or -20?
i
Let g = -8/16735 - 150551/133880. Suppose -4*n = 2*p - 0*n - 10, 4*p = -n - 8. Which is smaller: g or p?
p
Let n = -18045 + 24202. Is 6159 at least as big as n?
True
Let a = 31777/34200 - 67/72. Let f = -31799 - -31799. Is a smaller than f?
True
Let m = 6773/2 + -13911/4. Let k = -92 - m. Let u be (-4)/(-1) + 1*-6. Which is bigger: k or u?
k
Let v(h) = -h**3 + 1. Let o be v(-2). Suppose -6*n + o = -531. Suppose 31*q + n = 34*q. Are 29 and q equal?
False
Let i be 15/((-30)/4) - 17100/(-8466)*1. Which is smaller: i or 1?
i
Suppose -34 + 39 = 5*v. Let c = v + -38. Is c greater than or equal to -2?
False
Suppose 4*a + 973 = 4*b + 3*a, 1220 = 5*b - 5*a. Let y = -279 + b. Do -34 and y have the same value?
False
Let i = 65 - 105. Let j = i - -41. Suppose -3*r = v - j, r - 5*r = v. Which is greater: 1/52 or r?
1/52
Suppose -5*j = 4*v - 33, 5*j - 3*j + v - 12 = 0. Let x(a) = 3*a**2 + 6*a + 5. Let c be x(j). Suppose c = -4*y + 14. Is -24 equal to y?
True
Let c(f) = -f**2 + 9*f - 12. Suppose 2*m - 5*j = 17, 0 = 5*m + 4*j - 5*j - 31. Let v be c(m). Let d = -6 + v. Are d and -10 nonequal?
True
Let k = 292.1 + 1.9. Let n = -295 + k. Does -2/1007 = n?
False
Let n = 28.09 - 27.9229. Let z = n + 0.0329. Let u be (-2)/(-7) + (-78)/(-70). Are z and u equal?
False
Suppose h = z + 11, 3*h = 5*z + 63 - 0. Let a be 4/(-6)*351/(-78). Suppose 2*q - a*u = -25, -3*q = q + 5*u + 83. Is q at most z?
True
Let w(d) = -101*d - 509. Let v be w(-6). Let u be 1*-347 + (v - 88). Is -339 smaller than u?
True
Suppose -3759 - 2854 = -17*v. Which is smaller: v or 393?
v
Let k = -43.367 + -0.233. Let i = 77.6 + k. Is 2/7 at least as big as i?
False
Suppose 0 = 2899*z - 2889*z + 330. Is -172/5 at most as big as z?
True
Let x(d) = 36*d**2 - 184*d + 22. Let l be x(5). Suppose -3*b = -10 + 58. Let o be (38 - 37)*(l*b)/2. Do o and 1 have different values?
True
Let u = -4420 - -4409. Which is smaller: 192 or u?
u
Let i = 187.6 - 12.6. Let x = i - 174.1. Let v = -1.1 - 2.9. Which is smaller: v or x?
v
Let h = 9 + 21. Let c = h + -39. Let m be 33/12 - (0 - c/12). Is m less than 3?
True
Let q = 0.432 - 39.332. Let c = 50.9 + q. Which is smaller: c or 1/21?
1/21
Let c(j) = -4*j**2 - 18*j - 34. Let k be c(-6). Let q be (-82)/4*k/(-16 + 9). Is q smaller than -204?
True
Suppose -18 = -3*j - 3*k, j - 33*k + 37*k + 12 = 0. Are j and -231 unequal?
True
Let k be 33/(-3) + (791/91 - 0). Which is greater: k or -2?
-2
Let x = -4885 - -4877. Which is bigger: 8 or x?
8
Let q(z) = 23*z + 1. Let u be q(-1). Let h = u - -43. Which is bigger: h or 20?
h
Let f(r) be the first derivative of 2/3*r**3 - 1/2*r**2 - 6 - 3*r. Let g be f(-1). Are g and -1.9 equal?
False
Suppose 3*p = 7*p - 4304. Let y = p - 16126/15. Let c = 944.6 - 943.6. Are c and y non-equal?
True
Let o = 2267 + -2191.8. Let i = -0.86 + 75.86. Let g = i - o. Which is smaller: g or 12/7?
g
Let o be (-5)/(-55) + (-2305)/(-55). Let x = -54 + 95. Which is bigger: x or o?
o
Let y = -62 + 64. Suppose 0*f + 12 = f + y*v, f - 3*v = 2. Let j be 1 - (-4)/f*8/(-12). Which is smaller: 0.2 or j?
0.2
Suppose -26*i + 46 = 7 - 13. Is i >= 89/105?
True
Let x(w) = -w**3 - 23*w**2 + 49*w - 37. Let d be 1*-21 - (2 + 7 + -5). Let g be x(d). Which is greater: -15 or g?
g
Let w(h) = 2*h**2 + 32*h - 29. Let g be w(-17). Suppose -5*d + 2*o = 707, -148 = 4*d + g*o + 411. Is -141 at most d?
True
Let r(a) = -a**3 + 7*a**2 - a + 6. Let i be r(6). Let o be i/(-1) - (-15 + 14). Let k be 6/(-21) - 3/o. Which is greater: 0 or k?
0
Let x(d) = 44*d + 4154. Let r be x(-93). Suppose 16 = -2*i - 2*h - 0*h, 5*h + 10 = i. Is r >= i?
True
Let d(q) = 34*q**2 - 123*q + 382. Let g be d(3). Is 326 smaller than g?
False
Let v = 12 + 168. Let f be (-2499)/v + 9/(540/8). Which is greater: f or -13?
-13
Let y = -6699 + 5187. Which is smaller: y or -1513?
-1513
Let j = -13033 + 9580. Which is smaller: j or -3455?
-3455
Suppose -2*n + 3*n - 2 = 0. Let c = -35.1 + 35.059. Is c smaller than n?
True
Let g = -17.22 + 16.32. Which is smaller: -0.1122 or g?
g
Let n = 282254/93 - 3035. Which is bigger: n or 1/35?
1/35
Suppose 81 = 92*y + 144 + 29. Is y equal to -4/231?
False
Suppose 61*d = -72*d + 9709. Which is smaller: d or 930/13?
930/13
Let i be 8/(-10) - (15760/425)/16. Is 0.1 > i?
True
Let q be (-1)/1 + 0 - -1. Let i(l) = 4*l - 9926 - 9926 + 19851. Let a be i(q). Is -41 at most as big as a?
True
Let k be ((-28)/7 - -5)/((-295)/118). Which is smaller: k or -2/2007?
k
Let h(s) be the third derivative of -s**5/15 - s**4/12 - 3*s**3 - 18*s**2. Let z = -8 + 5. Let v be h(z). Does -49 = v?
False
Let f = 2563 - 2622.31. Let w = 60 + f. Let h = w + 0.31. Do h and -5 have the same value?
False
Let z = -13632 - -13633. Which is bigger: -70/279 or z?
z
Let n(r) = -r**3 - 28*r**2 - 133*r - 10. Let j be n(-22). Suppose -3*x + 5*o = -1, 5*x + 3*o - 1 = j. Let q = 12638/11 + -1147. Which is smaller: x or q?
q
Let d be -5 - (2 + -6) - 203. Suppose -5*q + 592 = 14*y - 17*y, 2*q + 416 = -2*y. Is d < y?
False
Suppose -k = -3*p - 1, 33*k - 30*k - 3 = 4*p. Which is greater: k or -0.464?
k
Let w = 0.29 + -0.409. Let n = -672 - -671.981. Let g = w - n. Is g at least -2/13?
True
Le