greater than a?
False
Let n be (-1)/((-30)/10*(-3)/54). Which is smaller: n or -9?
-9
Let c be 2 + (1/(-1) - 34). Suppose -77 = -50*g + 43*g. Let s be 2/g + 1 + 1623/c. Do -48 and s have the same value?
True
Let r = -2872/3353 - 2/3353. Is r >= -2/27?
False
Let p be (120 + 4)/(30/(-42) + 1). Which is greater: p or 435?
435
Let o = -0.184 + -43.616. Let i = -20 - o. Which is bigger: -2 or i?
i
Let a(h) = -4*h + 29. Let j be a(8). Let l = 26 + j. Is l less than 21?
False
Let d be -118*(-3)/14 - 8/28. Suppose -5*z = -d, 5*n - z + 113 = -57. Are n and -34 non-equal?
True
Suppose -4*t = -7*f + 6374, 52*f - 49*f + 3*t = 2727. Is 910 >= f?
True
Let d = -33/287 - -9459/29848. Is d not equal to -1?
True
Let s(c) = 87*c + 1. Let y be s(-2). Let j be (-1 - 14/(-18)) + (-4638)/27. Is y smaller than j?
True
Suppose -21*o - 10509 = -10488. Is o at least as big as 2374?
False
Let r = -6.376 - -16.95. Let j = 0.574 - r. Is 6/7 at most as big as j?
False
Let m = -9849 + 9625. Which is smaller: m or -223?
m
Suppose -y = -18*l + 19*l - 4, -3*y = l - 10. Suppose 693 = -3*q - 2*n, 356 = -y*q + 5*n - 337. Is q greater than -230?
False
Let l = 22.24 - 22.33. Is l < -2/19?
False
Let n(s) = s**3 - 37*s**2 + 15*s - 652. Let y be n(37). Is -383/4 <= y?
False
Let f be (18/24)/((-2358)/(-685416)). Let r = f + -218. Which is smaller: r or 1?
r
Let c(f) = -f**2 + f + 56. Let k be c(8). Let b = -6166795/28509 + 8432/39. Let d = b + 2/43. Is d bigger than k?
False
Let z be 26/39 + 1/3. Suppose 2*p - 2 = 3*v + 9, -2*p + v = -z. Let b be p - 28/(-12) - (-35)/(-115). Is -1 < b?
True
Let r = 15 + -2. Let w be (2/(-6))/((-41)/(-984)). Let v be w*7/(-112)*24. Is v equal to r?
False
Let y(g) = g**2 - g + 18. Let i be y(-6). Let k be 20/25 + (-63)/i. Let v = -0.31 - -0.01. Which is greater: v or k?
k
Let x = 12.9 - 1.9. Let q = 3799 - 11395/3. Which is greater: q or x?
x
Let f(k) = -k**3 + 5*k**2 - k - 7. Let v be f(5). Let r = -32 - -73. Let c be (r/3)/((-56)/v) - 3. Are c and -1 unequal?
True
Let n be 128 + -123 + (-2)/114 - 5. Let v = 1 - 1. Are n and v non-equal?
True
Let p = 391 + -381. Let j be (-3)/10*p/1272. Is j >= 1?
False
Suppose -63*b - 2875 = 62*b. Which is smaller: b or -678/29?
-678/29
Suppose -3*t + 3*j = 195, 4*t + 270 - 19 = j. Let y = -530 + 468. Is y smaller than t?
False
Suppose -6 = -2*p, 0*p + p = h - 237. Let w = -425 + h. Is -184 smaller than w?
False
Let a = -124/193 - -6104/8299. Suppose d = -3*d. Let f = -1 - d. Is f equal to a?
False
Suppose -5*c + 9 = 5*i - 11, 0 = -3*c - 2*i + 8. Let m = 0 - c. Let z = 153 - 3671/24. Which is greater: z or m?
z
Let m be (-19)/(76/(-48)) - 15. Which is bigger: m or -317?
m
Let i = -210.8 + 139.9. Let w = 71.247 - 0.247. Let h = i + w. Is -61 less than or equal to h?
True
Suppose -5*w + 4*a + 223 = 0, -3*w - 5*a + 159 = 40. Let f = 45 - w. Suppose f*y + 6 = 3*m, -y = -3*m + 1 + 5. Is y at most as big as 2?
True
Let o = 248 + -3477/14. Let z be 2*4 + (48 - 57). Which is greater: z or o?
o
Suppose -2*m = -f + 7483, 7 = 3*f - 8. Which is greater: m or -3737?
-3737
Let w be 105/171 + (-6)/(-18). Let a = -2.07 - -1.07. Which is smaller: a or w?
a
Let a(q) be the third derivative of q**6/60 + 7*q**5/30 - 7*q**4/4 + q**3/2 - 211*q**2. Let w be a(5). Is w > 392?
True
Let a = 3091 - 3092. Which is greater: -12/1759 or a?
-12/1759
Let d(t) = 5*t**2 + 171*t + 34. Let b be d(-34). Which is smaller: 11/230 or b?
b
Let l(a) = 125*a + 16. Let s be l(-2). Let i = s + 271. Let j = 2 - -34. Which is smaller: i or j?
j
Let g = -15347 + 15348. Is g at most as big as 2/19333?
False
Let w be -16 - (-2 + -4) - (-12884)/1280. Which is smaller: 0 or w?
0
Let h = -7902 + 316073/40. Which is bigger: 4.4 or h?
4.4
Suppose 64 = -3*u + 289. Suppose -34*l - u = -29*l. Let d = l - -12. Does d = -0.2?
False
Let g = 678128271/1421 - 477219. Which is greater: 1 or g?
1
Let z be (-5)/2*36/(-15). Suppose 5*p + 21 = 2*n, z*p - 11 = -2*n + p. Suppose -2*x + n = 4. Is -2/3 <= x?
True
Suppose 0 = 3*s - 7*v + 353, 75*s - 80*s = 5*v + 655. Let r(b) = -129*b**2 - b. Let w be r(-1). Which is smaller: w or s?
w
Let t be 40/(-752)*(-24)/20. Let a(z) = -z**2 + 10*z - 15. Let u be a(8). Are u and t equal?
False
Let t = -4118 + 4119. Is 48/25 equal to t?
False
Let l = -85 - -184. Let q be (-24)/(-18)*(l/(-6) - -3). Is q <= 0?
True
Let y be ((-5)/(-110))/((-1)/(-2638)). Let h = -120 + y. Let t(x) = 6*x**3 - 38*x**2 + 5*x + 42. Let g be t(6). Is h greater than g?
False
Suppose -4*o = -2*s + 202, -2*o - 3*s - 69 - 20 = 0. Is o smaller than -46?
True
Let g(j) = 3*j**2 + 3*j - 34. Let c be g(3). Let a be (-14)/56 - (c - 1)/4. Is a >= -0.636?
True
Let l = -18183 + 14149. Which is smaller: l or -4032?
l
Let c be (-48)/441440*((-153)/27 - -7). Which is smaller: c or 1/4?
c
Suppose -2*c + 4*j = -8, 2*c - 8 = -2*j + 4*j. Let x be ((-2)/c)/(15/(-6)). Suppose -22 = d - 5*b, -b = 4*b - 25. Which is smaller: d or x?
x
Let x be ((-11)/6 + 1)*2. Let h be 3*(20/45)/((-2)/(-300)). Let y = -203 + h. Is y > x?
False
Let g be (-7)/(-10)*1*(-4)/(-84). Is g != 0?
True
Let p = -256451/472 + -7/1416. Which is greater: -544 or p?
p
Suppose 3*f - 107 - 133 = 0. Suppose -9*n + 11*n = -f. Let z be 40/18*(-24)/n. Which is smaller: z or -1/2?
-1/2
Let y(o) = 140*o - 14701. Let s be y(105). Which is smaller: s or 304?
s
Let y be 54/4*((-40)/12)/5. Let w(k) = -k - 10. Let a be w(y). Let n be a/6*(-1 + -1). Which is smaller: n or -1/11?
-1/11
Let y = 1909/413 + -3/59. Let f = 130 - -10. Let s = f + -141. Which is bigger: s or y?
y
Suppose 3*p = 3 + 12. Suppose 1070 = p*j - 170. Is 248 > j?
False
Suppose 5*w - 22*k = -24*k - 2078, -4*w = 5*k + 1659. Which is greater: w or -417?
w
Suppose 4*a = -2*v - 16 + 24, a = -21*v + 43. Let g = 6/763 + 527/2289. Are g and a non-equal?
True
Let b be (1/(-2))/(2/8). Let k be (-51)/12 - (b + -2). Let w be 142/(-23) - 43/((-258)/36). Is w less than or equal to k?
False
Suppose -t + 4*s = 12, -t - 3*s - 60 = s. Which is smaller: t or -291/8?
-291/8
Let n = -47 - -55. Suppose -n*j + 34 = 10. Suppose 0 = -2*r + j*r + 4, -a = 4*r + 27. Which is bigger: a or -12?
a
Let d(s) = -105*s**2 + 18*s - 60. Let u be d(5). Which is greater: u or -2593?
-2593
Let a = -34.81 + 90.511. Let w = -56 + a. Let q = w + -0.001. Which is greater: -5 or q?
q
Let m(t) = -t**3 - 4*t + 10*t + 1 + 2*t**2 - 3*t - t**2. Let w be m(2). Suppose w*u + 48 = -3*s, 0 = s + 2*s + 3. Is u less than or equal to -15?
True
Let s be 6331/(-3432) + 1/2. Let g = 11/8 + s. Which is smaller: g or 0?
0
Suppose -5*u + 22*p - 4 = 21*p, -5*u = 5*p + 10. Is -2/7707 > u?
True
Let x = 7180 - 8077. Is x >= -898?
True
Suppose -8*i + 562 = -46. Let d(f) = -f**2 + 19*f + 16. Let o be d(15). Are i and o equal?
True
Let b be (-1)/((-18)/48)*63. Let s be (-6)/(b/763) + 3. Are s and -23 equal?
False
Let o = -3524036/253 + 13929. Is o <= 1?
True
Suppose 0 = 5*k - 5*y + 6*y - 460, -k + 4*y + 92 = 0. Suppose 0 = -4*j + 5*q - 9*q - 248, 5*q - k = j. Is -67 > j?
False
Let r be 2/13 + 0 - ((-746004)/(-56056))/83. Which is greater: r or 0?
0
Let b = -309 + 1245. Let f be -1 - (b - -4)/(-2). Let t = f + -6085/13. Do 2 and t have the same value?
False
Suppose -5*l + 45 = 0, -49*l + 2552 = x - 54*l. Which is smaller: x or 2598?
x
Let n be 2/(-20)*4 - 216/45. Let g be 7/21 + 23/3. Let s be (3*-1)/(6/g). Which is greater: n or s?
s
Let a = 2850 + -2502. Which is smaller: -1/5 or a?
-1/5
Let w = -8024.3 + 8025. Which is smaller: w or 9?
w
Let k be 0 + (17 + -8)*1/3. Are k and 80/23 nonequal?
True
Let v = 5693.1 - 5693. Are v and 5/123 equal?
False
Let m be ((-15)/(-2))/((-39)/2756). Let g = m + 531. Which is greater: g or 4/19?
g
Suppose 4*q = -3*p + 19, 2*q - p = -59 + 56. Let j be 6/(-27)*-1 - 1. Let i = j - -217/198. Which is greater: q or i?
q
Suppose -109*j + 4*h - 1949 = -104*j, -2*j = -5*h + 766. Suppose 2*t + 77 = -707. Which is greater: t or j?
t
Let b = 0.15 + -0.05. Let u(r) = -3*r - 39. Let h be u(-13). Suppose -c + 1 = 0, -2*k - 285 = -h*k - 3*c. Is k > b?
False
Suppose 0 = -k + 2*f + 66, 4*k + 4*f = 377 - 77. Let n = 130 - k. Let c = 63 - n. Which is smaller: 4 or c?
4
Let g be (-1)/(-2 + 0) - 52399/105042. Which is smaller: g or -1?
-1
Suppose 0*c - 1 = c. Let y(u) = 5*u**2 + 3*u + 14. Let t be y(5). Let s be (-5)/(245/(-14))