gger: s or h?
s
Let n be ((-272)/72*39)/(31/117). Let r = n - -556. Which is smaller: r or -15?
-15
Let k be (5/(50/(-20905)))/((-1)/(-2)*1). Which is greater: -4182 or k?
k
Let u = -10890221/178 + 61181. Let y = -2 - -1. Does y = u?
False
Let c(u) = 3*u**3 + 60*u**2 - 61*u + 25. Let q be c(-21). Let y(g) = -g**3 + 5*g**2 - 2*g - 4. Let a be y(5). Is a equal to q?
False
Suppose -980305 = -293*p + 1173831. Does 7352 = p?
True
Let l = 1159.5 + -1159.4745. Which is greater: l or -7?
l
Let f = -6109 + 7154. Is f less than 3?
False
Suppose -2*i + 5*t + 1 = 0, -6*t = -i - 3*t. Suppose -19*p - 30 = 5*y - 14*p, -5*y + 10 = -i*p. Is y greater than or equal to 68?
False
Suppose -26*q - 2352 = -2*q + 144*q. Let t(u) = -8*u + 5. Let a be t(5). Let n = a + 20. Which is greater: q or n?
q
Let c be (-26)/(-52) - (-6)/(-4) - -14. Let j be (-2)/(-8) + 153/12. Let v = c - j. Is -2/37 at most as big as v?
True
Let z = 3 - 2.99. Let s = 74.646 + -140.646. Is z <= s?
False
Let m be (-10 - -16)/3 + 13 + -1. Which is smaller: 31 or m?
m
Let x be 6/1 + (5 - (3 + 7)). Let z be 56/(-8) - -149 - -6*x. Which is smaller: 293/2 or z?
293/2
Let c be ((6/(-8))/1)/(3/300). Let v = c + -18. Which is smaller: -92 or v?
v
Let d(n) = 4*n**2 - n + 1. Let z be d(-1). Suppose -4*i = p - 77, -9*i + 5*p + 52 = -z*i. Suppose -s = -x + 21, 2*x - 4*s + 18 = 4*x. Is i equal to x?
False
Let y = 20026 + -19979. Is -0.046 smaller than y?
True
Let u = 32972 - 230110/7. Is 99 less than u?
True
Suppose n = -3*a - 3822, 0 = -5*a + 6*a + 3. Let y = n + 72467/19. Are y and 1 non-equal?
True
Let b be 6215/(-6732) + 15/((-1275)/(-10)). Which is smaller: 0 or b?
b
Suppose 2*r + 39 = -r. Let i = -28 + r. Which is bigger: i or -1?
-1
Let d = -27165 - -27165.02. Is -40 smaller than d?
True
Let i(d) = d**2 - d - 12. Let w be i(10). Suppose -3*a + w = -5*k, 4*a = -k - k - 52. Let n be ((-2)/(-3))/(138/k + -1). Which is smaller: -1 or n?
-1
Let g be (-25)/(-15)*(-12)/15 - (-30745)/(-15). Is -2050 equal to g?
False
Let p = 21296 + -17944. Is p greater than 3353?
False
Let x be 29 + (-438)/15 - 843/(-15). Is 36 not equal to x?
True
Let w = 210 - 6511/31. Let c(d) = -3*d - 12. Let k be c(-9). Suppose 0 = 4*a + s - 5, 2*a - 3*s + k = 7*a. Is w != a?
True
Let a = -1 - -1. Suppose 5*h - 1169 = -3*s + 1130, 4*s + 4*h - 3060 = 0. Let n = 35862/47 - s. Which is bigger: a or n?
n
Suppose 0 = -36*c + 120938 - 29930. Which is smaller: c or 2529?
c
Let u be (102/12 - 8)*(1 + -5). Let j be u/(16/(-6))*45/2115. Which is smaller: j or 1?
j
Let s = -47 + 42. Let v = 41 + s. Let t = v + -27. Is t >= 9?
True
Let p = -6.1 + 6.123. Let n = p - 8.623. Let t = n + 9.6. Which is smaller: t or -2/43?
-2/43
Suppose -87 = 4*p + 5*h, 6*h - h = 3*p + 39. Let a be (-24)/(-64)*52/p. Which is smaller: a or 0?
a
Suppose 3*o = 5*o + 6, -13 = 5*g - 4*o. Let m = -80307 + 562119/7. Is m > g?
True
Let o = -81 + 26. Let f = -97.45 - -97.55. Which is smaller: o or f?
o
Let z = 12479/7491 - -2/2497. Let b(p) = -p**3 - 1. Let r be b(-1). Suppose r = 2*h - 4*w - 24, 0 = -2*h + w + 2*w + 19. Is h at least as big as z?
True
Suppose 5*r - 46 = -26. Suppose r*t + 391 = 21*t. Let x be 12*(-3)/((-3)/2). Is x smaller than t?
False
Suppose -4*n = -2*g + 40, -2*n - 3*g = -3*n. Suppose 1023 = -34*u + 3*u. Let w = n - u. Is w > 21?
False
Suppose -44*g + 42*g = 0. Suppose -5*n - 5 = -3*y + 5*y, 3*n - 3*y + 3 = g. Let a be n + 0 + -23 - 2/2. Is a equal to -24?
False
Let o = -0.209 + -0.459. Let i = 0.032 - o. Suppose -3*l - 11 = -8. Is l greater than i?
False
Let l = 4865 + -4106. Is l at least 764?
False
Suppose -3*s = -5*g + 4, 2*g = -0*g - 5*s + 14. Let l be g + (-5 - 1287/(-861)*2). Is l at most 0?
True
Suppose -3*c - 2 + 11 = 0. Suppose 3*w - 4*z = -14, 0*w - 8 = w - c*z. Let x = 0.05723 - -7.94277. Is w != x?
True
Let f(n) = n**3 + 4*n**2 - 14*n - 112. Let t be f(-7). Is -148 bigger than t?
True
Let o = -74832 + 74837. Let s be ((-2)/3)/((-8)/60). Is s equal to o?
True
Suppose z + 4*z = 15. Let p be (-426)/(-8) + 36/(-144). Suppose -12*c + 89 = p. Do z and c have different values?
False
Let w = -10 + 0. Let q be (12/(-30))/(2/w). Suppose 4*v + 3*p - 11 = 0, 0*v + 3*p - 1 = -q*v. Which is smaller: 4 or v?
4
Let k = -37583/31133460 + 3/15844. Is k < -1/3?
False
Suppose -k = 106 - 95. Suppose 1 = -z + 6. Let q be k/((-275)/30)*z. Is q greater than or equal to 0?
True
Suppose w = 3*w + 3*f - 13, 5*w + f = 52. Let k(o) = -w + 0 - 6*o**2 + 10. Let x be k(1). Which is greater: x or -8?
x
Suppose 0 = -181*g + 159*g. Is g less than or equal to -1/4629?
False
Let c be (-2 + 8)*4/((-252)/(-8799)). Is c greater than -1?
True
Suppose 4*d = -3*j + 12, -4 = -2*d + 9*j - 10*j. Suppose 4*g = 8 + 8. Suppose -c = v + 28, v - 4*v - g*c - 82 = d. Which is smaller: v or -32?
-32
Let u = -0.641 - -0.7. Let d = -774 - -781. Suppose f = -4*a - 11, -2*a = -2*f + d + 1. Which is smaller: f or u?
u
Let k be 9/2 - (-15)/(-30). Suppose -k*b + 6*b = 0. Suppose -3*n + 2*x - 8 = -n, b = -2*n - 5*x + 6. Which is smaller: -8/13 or n?
n
Let o = -403 - -838. Let s = 439 - o. Which is bigger: 6 or s?
6
Let f be 131 - (-4 + 1 - -8). Let j = f - 103. Let v = -1879 + 7603/4. Is v <= j?
True
Let q(k) = 40*k + 45. Let r be q(5). Let z = r + -222. Which is smaller: 17 or z?
17
Let y be 36/14*(-56)/(-16). Suppose 3*a = -y + 24. Suppose -a*w = -18 - 47. Is w equal to 14?
False
Let b = -1173464/68813423 + 2/117229. Which is bigger: -1 or b?
b
Let q = -113 + -5. Let t = 114 + q. Is t > 0?
False
Let i be (158/43450)/(12/120). Let a be 2*(-2)/(-4)*1. Are a and i equal?
False
Let s(o) = 12*o**2 + 3*o + 3. Let j be s(-1). Suppose 0 = 32*x - 34*x - j. Let a be (39/54)/(-3 + (-20)/x). Are a and 2 equal?
False
Let f = 75151/154 + -7761/14. Which is smaller: -66 or f?
f
Let f = -23403.7 - -23404. Which is smaller: 367.2 or f?
f
Suppose -243*l = -1327 - 2086 - 961. Which is smaller: l or 395?
l
Let k be 8909/(-4454) + -6 + 8. Which is smaller: k or 0?
k
Let h(r) = 20828*r - 270716. Let m be h(13). Let u be 1/(0 + (-1)/(-47)). Which is smaller: u or m?
u
Let g = 3011 + -3009. Which is smaller: 30/23 or g?
30/23
Let s = 0.376 + -5.376. Which is smaller: s or -116?
-116
Let h = 18884/13 + -1454. Let c = -334 + 337. Suppose -3*a - 6*a = -c*a. Is h bigger than a?
False
Let o(n) = -n**2 + 5*n + 6. Let u be o(-1). Suppose 16*b + 12 + 36 = u. Is b greater than or equal to 86?
False
Let u = 0.022 - -31.978. Let a = 60 - u. Let b be -1*48/(-60)*55/(-44). Which is greater: a or b?
a
Let f = 126.016 + -126. Let n = f - -8.984. Is n at least 0?
True
Let y(x) = -2*x**2 + 6*x + 4. Let m be y(3). Suppose -j = m*j + 790. Let g = j + 787/5. Which is smaller: g or -1?
-1
Let k = -281 + 265. Suppose 3*z + 28 = 4*y, 3*y - 8 = -2*z - y. Which is bigger: z or k?
z
Let d = -600 - -478. Is d greater than -0.1?
False
Let i = -1123.7 - -1172. Let d = i - 48.5. Let a = -39 + 26. Is d equal to a?
False
Let j(m) = 33*m + 230. Let q be j(-7). Is -1/1057 <= q?
False
Let l(c) = 29*c**3 - 2*c**2 - 5*c - 3. Let g be l(-1). Let u be (1 - 201/6)/(g/58). Which is smaller: 64 or u?
64
Let b(u) = -12*u - 11. Let k be b(8). Let j be -6 + -4 + 3 - 594/6. Which is smaller: j or k?
k
Let x = -162 + 455. Suppose 4*y = 4*a - 60 - 1128, 4*y = 2*a - 602. Is a greater than or equal to x?
True
Let k(s) = 8*s. Let f be k(0). Suppose -6 = -4*y + 10. Suppose w - 6*w = 3*j + 18, -y*j = 3*w + 13. Is w at most f?
True
Suppose b + 2*b - 216 = 0. Suppose -b = f + 8. Let o = -79 - f. Is o greater than or equal to -3.1?
True
Let j(m) = m**3 + 31*m**2 + 2*m + 63. Let n be j(-31). Let f be (-8)/(-48) - (-868430)/564. Let q = f - 1540. Is q smaller than n?
True
Let j be (-9 + (-2214)/(-234))*13. Which is smaller: j or -520?
-520
Let w(s) = s**2 + 28*s - 46. Let k be w(-13). Let i = -240 - k. Which is bigger: 3/65 or i?
i
Suppose -2*o - 3 = o. Let m = -567719/17 + 33393. Is o at least m?
True
Let b = -107 + 102.45. Let f = b - -0.05. Let j = 4.6 + f. Which is bigger: -3 or j?
j
Let s(f) = -11*f - 2. Let w(v) = 4*v + 1. Let n be (-4)/(-1) - 6/((-6)/(-1)). Let z(t) = n*s(t) + 8*w(t). Let a be z(1). Which is smaller: 1/63 or a?
1/63
Let y be (30/(-30) + (-4)/(-1))*(-3)/9. Which is greater: -2/4311 or y?
-2/4311
Suppose 3 = 12*s - 9. Let l be -21 - -24 - ((-1312)/(-330) - 