4. Let r be ((-48)/(-80))/(2/10). Let a be r/3*(10 - 1). Which is greater: j or a?
j
Suppose 0 = 3*m - 6*m + 129. Let j = m + -43. Is j at least 3/19?
False
Let j = -173/5 - -361/10. Let b(x) = 3*x**3 + x - 1. Let h be b(1). Is h greater than or equal to j?
True
Let c be (-16)/(-72) + (-184)/18. Let f be (-69 - 3/1)/(195/c). Which is smaller: 5 or f?
f
Let s(f) = -f**3 - f**2 - 2*f + 8. Let n(j) = j**2 - 4*j. Let r be n(4). Let z be s(r). Let i = 0.2 - 0.3. Is z >= i?
True
Let v = 3.5 - 3.4. Let o = -34 + 43. Which is smaller: v or o?
v
Suppose 12*q - 6*q - 60 = 0. Let h(l) = l**3 - 11*l**2 + 11*l - 6. Let b be h(q). Suppose 0*r = -b*r - 4. Is -1 < r?
False
Let l = 4394 - 4401. Let w be (-1)/((-3)/(-7 - -1)). Let f be (-43)/5 - w/(-5). Is f at most as big as l?
True
Let u(p) = 2*p**2 + 6*p - 6. Let z be u(-4). Suppose -9 = -z*b - 1. Which is greater: 5/2 or b?
b
Let v be (1/(-7))/((-132)/(-48)). Which is smaller: 1 or v?
v
Let s(t) = -t**2 - 10*t + 93. Let h be s(-16). Do h and -78/23 have the same value?
False
Suppose -4*q + 5*j = -2*q + 12, -q - 3*j + 5 = 0. Are -1/32 and q non-equal?
True
Let s = -367 - -368. Is 2/355 <= s?
True
Let p = 1.1 - 0.1. Suppose y = -k - 4*k - 179, 0 = 5*k - 4*y + 159. Let f be (-2)/5*k/(-126). Is f <= p?
True
Let t = -75 - -68.8. Let l = -6.3 - t. Is l at least -4?
True
Let p = -1890 + 1814. Which is greater: p or -77?
p
Let b = -76 + 824/11. Do b and 1 have the same value?
False
Suppose 2 = 3*f - 2*m - 0*m, -3*m = -6. Which is smaller: f or -2/15?
-2/15
Let h = 5577 + -680399/122. Is h smaller than -1?
False
Let x be 1*1*2/2. Let b be (2/(-3))/((-5)/(40/168)). Which is greater: x or b?
x
Let g = 1067 + -971. Which is smaller: g or 91?
91
Let d = 152 - 159. Let n be 2/d - (-1 + (-5)/(-7)). Which is bigger: n or -6/23?
n
Let q be 20/3 + (-24)/36. Let z = -1 - -10. Let k be ((-30)/z)/5*q. Is k <= 1/2?
True
Let c be (-25)/(-15) - (8/(-3))/(-4). Is -0.263 at most c?
True
Suppose 14*l - 3473 - 2211 = 0. Is 406 <= l?
True
Let i = 911.0633 - 911. Let s = i - 23.9133. Let v = s + 24. Is v at most as big as 1?
True
Let l(u) = 13 + 54*u**2 + 14*u + u**3 - 100*u**2 + 54*u**2. Let k be l(-6). Which is smaller: -1 or k?
-1
Let j be (-20)/(-28) + 2 + -5. Let a be 1 - (4 + 6 + -6). Is a != j?
True
Suppose s - 27 = -3*s + a, s + 5*a + 9 = 0. Suppose t - s = -2*t. Suppose 2*z + t = z. Is -3 at most as big as z?
True
Let s = 94/91 - 6/13. Let z(d) = 2*d + 2. Let w be z(-4). Let k(i) = -i**2 - 5*i + 6. Let j be k(w). Does s = j?
False
Let w(o) = -2*o + 22. Suppose -50 = 10*q - 160. Let k be w(q). Which is smaller: k or -4/21?
-4/21
Let o = 334 - 44. Let y be (5 - 2)*(o/(-294) + 1). Is y equal to 0?
False
Let b = 7 - 37. Let j be ((-1)/2)/((-15)/b). Let t be j*3/240*5. Which is smaller: 0 or t?
t
Let g(h) = h**3 - 13*h**2 + 11*h + 4. Let v be g(12). Let j be 84/(-40) - (3 + v - -3). Is 0 equal to j?
False
Let b be (44/(-20))/11 + 3126/15. Do b and 208 have different values?
True
Let t(s) = s**3 + 3*s**2 - 18*s. Let u be t(-6). Suppose 3 = 3*a - 9. Suppose u = a*o + 5*d - 4 - 21, -5*o + d = -53. Is 11 less than or equal to o?
False
Let y(j) = 5*j**2 - 1 - 82*j - 4*j**2 + 86*j. Let w be y(-3). Let d be -3*(w/(-6))/2. Which is bigger: d or -6?
d
Let k be (-4 + 1)*(-2)/6. Let y be (9 - 12)*(0 + 2). Let b be (-1 - -4)/((-9)/y). Which is smaller: k or b?
k
Let o = 21 + -16. Suppose -d - 28 = -o*d. Suppose 0 = 5*y - d*y, 5*r - 4*y = 0. Is r greater than or equal to -6/5?
True
Suppose 5*h + g = -2*g + 275, 2*g - 220 = -4*h. Let q = -56 + h. Is 18 < q?
False
Let v be (-15)/(-21) - 2/(-7). Let t be ((0 - -2) + -3)*v. Let f be t/5 - (-216)/80. Which is smaller: f or 2?
2
Suppose 4*h + 433 + 1141 = -u, -2*h + 2*u - 792 = 0. Is 2/5 smaller than h?
False
Let g = 1942 - 9713/5. Is -22/9 not equal to g?
True
Let a = 1339 + -5357/4. Is a less than 0.296?
True
Let a = 316 + -9794/31. Let x = -63 - -89. Suppose -4*p + 16 = 4*z, 5*p - 4*p - 5*z + x = 0. Is p < a?
True
Let m(y) = y**3 - y**2 - 3*y + 5. Let p be m(2). Suppose p*o = 4*i - 47, -2*i + i + 28 = -4*o. Is 9 at most as big as i?
False
Let n be 12/4 - 1874/626. Is 0 <= n?
True
Let d = 2.99 + 0.01. Let w be (-3 - (-336)/80)*(-5)/4. Is d != w?
True
Let w = -1840 - -97506/53. Which is smaller: 0 or w?
w
Suppose -2*t = p - 3*t - 3, 0 = -3*p + 2*t + 7. Is 27/14 > p?
True
Let t = 55 - 39. Let y(a) = -a**3 + 15*a**2 + 16*a + 2. Let w be y(t). Is w < 11/5?
True
Let h = 1/78 - 163/546. Which is greater: -4 or h?
h
Suppose -3*j - 6 + 9 = 0. Let i be (-31 - -32) + -1*1 + j. Which is smaller: i or 1/2?
1/2
Let c be ((-3)/4 - 3997/(-2296)) + -1. Which is smaller: 1 or c?
c
Let n = -0.79 - 0.21. Suppose u + 2*q = -2 - 1, 3*u + 7 = -5*q. Which is smaller: n or u?
n
Let d(w) = -w**2 - 7*w + 10. Let b = -40 + 33. Let s be d(b). Which is bigger: s or 26/3?
s
Let v be (-410)/(-14) + (-6 - 120/(-21)). Suppose -b - q = 2*b - 92, 0 = -4*b + 4*q + 112. Which is smaller: b or v?
v
Let p = 27/68 + -11/68. Which is smaller: 0 or p?
0
Suppose 4*n - 7*n + 2*k + 13 = 0, -5*k = 25. Suppose 2*i = 5*j + 5, 5*j - n = -3*i + 6*j. Which is bigger: i or 7?
7
Let b = -692 - -689.46. Which is smaller: b or -1?
b
Let k(q) = q**3 + 12*q**2 + 11*q + 2. Let c be k(-11). Suppose 8 = -x + c*x. Is x bigger than 12?
False
Let k(y) = y**2 + 2*y + 3. Let q be k(-2). Suppose 0 = -h - 3*f - 0*f - 5, 5*f + 3 = -q*h. Suppose -4*s + 32 = h*n, -2*s + 2*n + 24 = -0*n. Is s at least 11?
False
Suppose 168 = -53*c + 56*c. Let l be c/63 - 1/(-9). Let w be (-2)/(-9) + (-20)/135. Which is smaller: l or w?
w
Let a be (1/6)/((-43)/(-1806)). Let f = 8 + 0. Which is bigger: f or a?
f
Let w(o) = -13*o**2 - 2*o + 14. Let m be w(-6). Let a = -3086/7 - m. Which is greater: a or 2?
2
Let j be (-74)/(-12) + (-5 + -2)/42. Let z be ((-34)/(-40))/(j/(-72)). Which is smaller: z or -10?
z
Let j = 2 + 2. Let n = 18 - 11. Is j greater than n?
False
Let h(z) = 2*z + 20. Let s be h(-8). Suppose -s*r - 7 = -2*x - 23, -2*r + 10 = 0. Which is bigger: x or 28/9?
28/9
Let i = 0.3 + 0.7. Suppose 72 = -40*b + 32*b. Let l = 25/3 + b. Which is smaller: l or i?
l
Suppose 4*b - 678 = 2*u, -5*u - 512 = -b - 2*b. Is b > 168?
True
Suppose -406 - 158 = n + l, 3*n = -2*l - 1695. Which is smaller: -566 or n?
n
Suppose -k = -4*a - 350, 227 - 61 = -2*a + 5*k. Let f be a/43 - (1 + -3). Is f greater than or equal to -1?
True
Let r(q) = -2*q + 41. Let c be r(0). Let b = 40 - c. Let t be (2/6)/(49/21). Is b <= t?
True
Let a be 24/7 - (-4)/7. Let b(y) = -y**3 + 4*y**2 + 2*y - 11. Let g be b(a). Is g < -20/9?
True
Let a(y) = -y**3 + 4*y**2 + y - 5. Let d be a(4). Let k be (-3)/6 + (-15)/(-6). Is d less than k?
True
Let m = -1438 + 35848/25. Are 2/7 and m equal?
False
Let n(y) = 648*y + 4. Let a be n(2). Let j be ((-12)/(-5))/((-78)/a). Is j != -39?
True
Let w = 8 + -10. Let n be (w - (-280)/135)*3. Which is smaller: -1 or n?
-1
Let z(t) = 2*t - 33. Let i be z(17). Is i at most as big as 34/45?
False
Let k be 2/(-4) - (2946/12 + -5). Let s = k - -1217/5. Is 1 < s?
True
Let v = 68/40861 - 1049803192/1430135. Let p = v + 734. Which is greater: 0.1 or p?
0.1
Let q(g) = -360*g - 790. Let w be q(-4). Is w at least 650?
True
Suppose -3*x - 2 = -x. Let j = -24/91 - 373/1001. Is x <= j?
True
Let g(d) be the second derivative of d**4/12 + 3*d**3/2 + 13*d**2/2 + 10*d. Let w be g(-7). Let z be -1 - -1 - (-4)/(-34). Do w and z have different values?
True
Let a be ((-15)/(-68))/(2 - 10/2). Is -1 > a?
False
Let f = -875 + 473. Is f at most -402?
True
Let w be (5 - 7)*2/4. Let k be w/(-4) + (-6)/(-40). Suppose 5*p + p - 6 = 0. Does p = k?
False
Let w = -154 + 172. Which is greater: w or 115/6?
115/6
Let p be ((-2)/(-24))/(200/(-2320)). Is p >= -1?
True
Let d = -7/3 - -29/15. Is d equal to 2.8?
False
Let w = -55 - -54.32. Let p = w + 0.88. Is p > 0.23?
False
Suppose 2*c + 3*m = 2*m + 4, 2*c = 3*m + 4. Suppose c*f = -2*f + 4*v + 20, -4*f + v = -11. Which is greater: f or 8/13?
f
Let i be ((-2)/(-21) + 0)*1. Does -7 = i?
False
Let f(a) = -a**3 - 9*a**2 + a - 5. Let z be f(-9). Let x = z + 16. Let j be x/6 + (-5)/(-10). Is 1 less than or equal to j?
False
Suppose -4*q - 2*b = -80, -q = 10*b - 13*b - 6. Is q at least as big as -7?
True
Let c = 28 - -10. Suppose -c = -6*g + 46. Is 16 at least g?
True
Let y = 14 + -