hich is bigger: j or c?
c
Let x = -184/595 + 2/85. Let k = 1/12 + -79/84. Which is bigger: x or k?
x
Let l(c) = -c - 5. Let j be l(-9). Suppose -19*f + 1116 = -594. Suppose -30 - 3 = -s + j*y, 3*s = 3*y + f. Is 30 at least as big as s?
True
Let z be (-4)/(-10) - 396/(-110). Does -43 = z?
False
Let s = -130 + 69. Let a = s + 61. Let t = -2 + 0. Which is smaller: a or t?
t
Let f = 0.68 + -0.08. Let x = 0.6 - f. Suppose -2 = 5*y + 3. Which is smaller: x or y?
y
Let b be 2*-1 + ((-378)/(-90) - -6). Let t = 26 - 17. Which is smaller: b or t?
b
Let j be 3/(54/30)*-3. Which is bigger: j or 19?
19
Let x(w) = -3*w**2 - 3*w - 5. Let j be x(-3). Let t be (1/(-2))/(j/((-92)/48)). Does 0 = t?
False
Let r = 69 + -63. Suppose r = 2*i - 36. Is 20 greater than i?
False
Let v be (-1 + (-226)/6)/(16/(-24)). Let j = v - 59. Which is smaller: -3/32 or j?
j
Let u = -0.197 + -0.103. Which is smaller: u or -1/38?
u
Let n = 379.3 - 379. Which is bigger: -75 or n?
n
Let b(w) = 2*w**3 + 21*w**2 + 21*w - 43. Let y be b(-10). Is -151 <= y?
False
Let w(m) = 7*m**2 - 10*m + 3. Let p(u) = -13*u**2 + 19*u - 5. Let y(g) = 6*p(g) + 11*w(g). Suppose -4*d + 5*d = 5. Let c be y(d). Is c bigger than -6/5?
False
Suppose 3*i - 5*i = 5*u - 10, u - 2*i = 2. Let s be (12/7)/(3/(126/u)). Is s >= 36?
True
Let n = 459 - 415. Are n and 43 nonequal?
True
Suppose 17*y = 15*y + 4. Suppose -a = 3*w - w - y, w + 8 = 4*a. Is 3 smaller than w?
False
Suppose 3*i = -2*s + 2 + 1, 0 = 4*i - 2*s + 10. Are i and -19.8 nonequal?
True
Let f = -1.74 - -1.9. Which is greater: f or -6?
f
Let y be 915/75*14/6. Let b = y - 89/3. Let l(q) = q**2 - 1. Let z be l(1). Which is smaller: b or z?
b
Let l = -1.1 - -0.1. Let t = -11.17 - -0.17. Which is smaller: l or t?
t
Suppose 57*l = 52*l + 100. Which is bigger: l or 13?
l
Let c be ((-6)/11)/((-1)/((-1138)/4)). Let r = c - -156. Which is smaller: r or 1?
r
Let x = 14 + 1. Suppose -b - 119 = -52*b + 748. Which is greater: x or b?
b
Suppose 0 = 51*z + z - 156. Let k be (-12)/(-42) - (-52)/14. Let i be (-5)/k*(-2)/(-20). Are z and i unequal?
True
Let j be 6/(54/(-23)) - -2. Let h be 2/4*(2 - 4). Is h > j?
False
Let w = 38 - 19. Suppose -5*l = 14 - w. Are l and 11/9 unequal?
True
Suppose 280 = 6*x - x. Let y = x + -78. Let f = y + 18. Are f and -3 nonequal?
True
Suppose 0 = 229*d - 222*d - 910. Is 392/3 at most d?
False
Let p be (-4 - -10)/(-6) + (-5)/(-1). Suppose 0 = -g - v + 1 + p, -g - 3 = -v. Are g and 2/101 equal?
False
Let b be (5 - (-2 + 2))*-1. Let o(h) = 15*h - 921. Let m be o(61). Is m bigger than b?
False
Let h(l) = 15*l + 12. Let g be h(-1). Let f be 5/10 - g/(-6)*-31. Is f at least as big as 16?
True
Suppose 3*i + g + 49 = 5, -4*i = 2*g + 56. Suppose 0*q = 2*q + 8. Let l be -3 + 4/(i/q). Is -2 < l?
False
Let g = 645/28 - 91/4. Let v be (-65)/(-7) - (-2)/(-7). Suppose -u + 8 - v = 0. Is u at most as big as g?
True
Let a = -0.208 + 4.208. Is -12 >= a?
False
Let g(n) = n + 6. Let y(w) = -2*w + 7. Let x be y(4). Let r be (x*(-3 + 3))/2. Let l be g(r). Is l < 6?
False
Let o = -5.379 - -1.379. Does o = -2/77?
False
Let p be ((-30)/4)/((-6)/(-8)). Let y = 18 + p. Let r be (10/(-5))/(2/(-7)). Are r and y nonequal?
True
Let y be (-3)/1 + -6*(-505)/10. Suppose -9*w = -21*w + y. Is w less than or equal to 26?
True
Let y be ((3 - 2) + 0)*-9. Let v = 102.46 + -103. Let k = 0.44 + v. Which is bigger: y or k?
k
Let m = 79 - 78. Suppose 5*g - 2*d - m = 0, -9*g - d = -4*g + 8. Is g equal to -9?
False
Let r = 16 - 12. Suppose -y - r*y = 0. Let p(o) = -o**2 - o - 1. Let n be p(y). Is 9 at least as big as n?
True
Let y = 5 - 13. Let t(x) = x**2 + 7*x - 3. Let g be t(y). Suppose 0 = -0*u - u - 1. Is u <= g?
True
Let m = -32/11 - -9/22. Let v(p) = -p**3 - p**2 + 2*p + 4. Let c be v(2). Which is greater: c or m?
m
Suppose -3 - 5 = 2*f. Let y be 2/(-5)*-5 - -3. Suppose 2*j - o + 1 = 0, 0 = -8*j + 3*j + y*o. Is f smaller than j?
True
Let a be (-3 + (-8454)/(-15))/18. Let l = a - 156/5. Which is greater: l or 0?
0
Suppose -10*t - 279 = 81. Let f = -24 - 12. Is t at least as big as f?
True
Let l be (4 - 178/4)*8/(-15). Which is greater: 22 or l?
22
Let h = 60 - 57. Let a be 2*110/(-4)*h/15. Which is bigger: a or -10?
-10
Let k(g) = -3*g**2 - 3*g + 2. Let y be k(1). Let h be (-1)/(-2) - 6/y. Suppose h*s + 21 = -s. Are -7 and s nonequal?
False
Let t = -15 + -8. Let c(b) = -b**3 - 24*b**2 - 29*b - 35. Let a be c(t). Does a = 102?
False
Let m be ((-2)/(-3))/(1/(-3)). Let n(z) = -z**2 + 6*z + 30. Let k be n(9). Let r be k + 7/((-49)/36). Which is smaller: m or r?
r
Let j = 263 + -263. Which is bigger: j or -2/1639?
j
Suppose 270 = 4*n + 1350. Which is greater: n or -268?
-268
Let w = 501205/42 + -11934. Which is smaller: 0 or w?
w
Let w = -0.714 - -0.714. Is -739 greater than w?
False
Let s = 13780822533/161 + -85594690. Let z = s - 481. Let p = z + -654/805. Is 0 equal to p?
False
Let q = -1532 - -179246/117. Are -1 and q equal?
False
Let m be -2*(12/14 - (-10)/(-28)). Which is smaller: -23/64 or m?
m
Suppose -x + 8 - 4 = 0. Let h be (x - 2)/(-2*(4 - 3)). Which is smaller: 2/113 or h?
h
Let w be 1 + 2 - (-351)/(-144). Let h(q) = q**3 + 15*q**2 + 30*q + 52. Let i be h(-13). Is i at least w?
False
Let t be 2/(-3) - 188/(-3). Is 0.2 equal to t?
False
Let h = -0.12 + -7.88. Let k = 22.374 + -0.274. Let j = -22 + k. Is j greater than h?
True
Let z(a) = -238*a - 7. Let t be z(-1). Is 231 at most t?
True
Suppose -3*b - 2 = -3*d + 7*d, d + 4 = b. Let r = -12 - -17. Which is greater: b or r?
r
Let m be ((-630)/135)/((-62)/(-6)). Is m < 1?
True
Let p be (-3)/(-5) - 256/(-40). Suppose 5*z - z + 2*b = 34, -3*b + 11 = z. Which is greater: z or p?
z
Let p = -1.735 - 170.265. Is p > 2?
False
Let y be 1/(-38)*(260/(-117))/20. Which is greater: 1 or y?
1
Suppose -3*h = -0*g + 2*g - 11, -5*g - 5*h + 15 = 0. Let s be 27/(-12) - -2 - 322/(-8). Let q = s - 42. Is g not equal to q?
False
Suppose -2*j + 39 = -4*b - 107, -389 = -5*j - 2*b. Is 384/5 smaller than j?
True
Let v = -76901 - -537139/7. Let n = -33844/203 - v. Is n less than -1?
False
Let j = 43.25 + 0.75. Let c = 11 - j. Is -0.2 bigger than c?
True
Let n = 19.1 - 20. Let y = 2.7 + n. Let b = y + -2. Is b > 0?
False
Let b = -9144 - -9145. Let f = -45.079 - -0.079. Is b < f?
False
Suppose 3*t = 4*t + 3*a - 10, 2*t = 2*a - 4. Let c be ((-6)/2)/((-54)/12). Which is smaller: c or t?
c
Let d be 726/184 - (44 + -40). Are d and -1 nonequal?
True
Let o(m) = m**2 + 62*m + 137. Let f be o(-63). Is 203 at least f?
True
Let q(c) = c**2 - 3*c + 3. Let f be q(1). Is f <= 26?
True
Let n = 0.21 + -0.06. Let t = -56.8 + 57. Let v = t - n. Which is greater: -2 or v?
v
Let h = -1069 - -1387. Which is smaller: 320 or h?
h
Let s = -1.8 - -1.9. Which is greater: 1/40 or s?
s
Suppose 15 = 4*z - 33. Let b be (-2)/(12/330*(-3 + -2)). Which is smaller: z or b?
b
Let q(r) = -r + 1. Let t be q(3). Let l be 9/t*12/(-42). Let h = -2 + 2. Is h greater than l?
False
Let k(c) = -c**3 - 2*c**2 + c + 2. Let u be k(-2). Let t = u - 2. Let l be (2/8)/(1/t). Is l != 4?
True
Let p be 3/(-4) - 252/(-16). Suppose 6*i - p + 15 = 0. Which is greater: i or 1/83?
1/83
Let l be ((-81)/(-181926))/((-2)/8). Is l at most 0?
True
Let y be ((-3)/12)/((-45)/936) - 5. Is y less than 0?
False
Suppose 4*t + t - 30 = 0. Let h(g) = -g**2 + 7*g + 8. Let q be h(t). Let i = q + -14. Which is bigger: i or -3/4?
i
Let z(w) = w**2 - 4*w + 1. Let r be z(4). Let j(b) = b**3 + 3*b**2 - 5*b - 6. Let l be ((-48)/(-36))/((-2)/6). Let u be j(l). Is u at most as big as r?
True
Let h = -232.2 + 232. Is h at least -2/29?
False
Let i = -5.85 + 6. Suppose -17*l - 16 = -21*l + 4*z, l + 16 = -4*z. Is i bigger than l?
True
Let v be 4/22 + 27849/(-1980). Let o = v + 55/4. Is -1 smaller than o?
True
Suppose -287 - 224 = 7*n. Let c = n - -50. Is -23 less than c?
False
Let a be ((-20)/(-25))/((-3)/15). Let n = 137 + a. Let g = -929/7 + n. Is g greater than or equal to 7/6?
False
Let x = 13230 - 13243. Suppose -5*u = q - 3, 0*u = -5*q - 2*u - 8. Let t = -10 + q. Is x >= t?
False
Let b = -2 - -1. Let p be 2/(b + 3)*-1. Let i be (p - -2)/(2/4). Which is smaller: 4 or i?
i
Suppose -q + 13 - 11 = 0. Suppose -3*m = 2*p + 32, 3*m + 14 = q. Let h be 19 + -20 + p/(-14). Which is bigger: h or 1?
1
Let g be 21 + -17 - -2*(-3)/2. Is 1/81