 smaller: k or g?
k
Let w = 9/9961706 - -28130982737/968506942438. Let l = -10/817 + w. Which is bigger: 1/4 or l?
1/4
Suppose -c - 4*f = 10, 4*c - 8 - 15 = 5*f. Let j = -1 + c. Let p = 989/8 - 84081/680. Which is greater: p or j?
j
Let j = -0.717229 - 0.002771. Let d = -0.2 + -0.8. Which is smaller: d or j?
d
Let w(g) be the first derivative of 33*g**2/2 + 102*g - 214. Let p be w(-3). Let o(z) = z**2 - 2. Let x be o(-2). Which is smaller: x or p?
x
Let y be (426/54 - 8)*(-1 + 1). Which is greater: y or -3/7?
y
Suppose -213 + 3 = 3*f + 2*d, 5*d = 4*f + 280. Let k = -16 - f. Is 107/2 smaller than k?
True
Let n = -181173 + 180629457/997. Which is smaller: n or 1?
n
Let f be (-21)/(-28) - (-1)/4. Let i be -5 + (5 - f) + -9. Let c(q) = 5*q + 22. Let n be c(i). Do n and -28 have different values?
False
Suppose 0 = -5*i + 2*t + 2, 4*t = 4*i - 0*t - 4. Suppose -7*y - y + 64 = i. Let x = y + -5. Is 1 > x?
False
Let x(p) = p**3 - 202*p**2 + 346*p + 5668. Let o be x(200). Which is bigger: -5128 or o?
-5128
Let z = -19475 + 19537. Which is greater: z or 34?
z
Let z = 0 - 1. Let m = 148 - 147. Let a be (-36)/(-90)*m/2. Which is smaller: a or z?
z
Let z = -14318 + 100223/7. Is 30/73 greater than or equal to z?
True
Let y be 0*(-4 - -3)/(-2). Suppose -n + 24 + 13 = y. Let p = -0.1601 + -1.8399. Which is smaller: p or n?
p
Let q be (-4)/((-3776)/4)*(-3272)/(-6). Let a = q + 4/177. Let x = a - 71/33. Which is greater: -0.03 or x?
x
Let k be (-4 + -183)*2 + 1. Which is bigger: -369 or k?
-369
Suppose 4*h + 3*b - 580 = 0, -3*h - b + 547 = 117. Which is bigger: h or 147?
147
Let v(c) be the first derivative of c**3 + 13*c**2/2 - c - 44. Let q be v(-5). Let t(p) = -p**3 + 3*p**2 + 4*p + 2. Let d be t(-2). Are d and q nonequal?
True
Let q(c) = 3*c - 48. Let n(x) = -x**2 - 10*x - 9. Let f be n(-7). Let j be q(f). Is -12 at least j?
True
Suppose 0 = -4*x - 3*b + 7, -4*x + 13 = -3*x - 3*b. Suppose 0 = -x*n + 4*n + n. Is n > -41?
True
Let k = 22/19 + 127/38. Suppose 4*u = -v - 5 + 17, -4*u + 3*v = 4. Suppose -u*b = 5*d - 12, 2*b + 0*d - 3*d = 12. Are b and k equal?
False
Let l = -25.58 + 0.08. Let s = 25.4 + l. Which is smaller: s or -0.011?
s
Let v be 13 + (40/16 - (-27)/(-2)). Let p = -1340 + 12076/9. Which is smaller: p or v?
p
Let u be (-13)/((-26)/4) + -10. Let b be 73/(-292) - (-86)/u. Which is bigger: b or -9?
-9
Let k be 24318/(-193)*(70/(-87) - -1). Which is bigger: k or -26?
k
Let f = -6208 + 5146434/829. Which is greater: 1 or f?
1
Let v(g) = 2*g + 1. Let i be ((-3)/(36/8))/((-4)/354). Let n = i + -59. Let q be v(n). Which is bigger: 2/45 or q?
q
Let y(q) = -q**3 - q**2 + 114*q - 29. Let p be y(-10). Are p and -8 non-equal?
True
Let s = 0.0551 + -0.1348. Which is bigger: s or -1?
s
Let z be (1005 - -24)*2/6 + 5. Let d be (1*3)/(-9 - z/(-39)). Which is bigger: -37 or d?
-37
Let m be (-76965)/2961 + 25 + 1/1. Which is smaller: 2/11 or m?
m
Let x be (116/1015)/((-2)/(-26)). Is x at least 1?
True
Let c be (-1 - 9)*2/4. Let r = -160499/25 + 6419. Let y = -81/25 + r. Which is smaller: c or y?
c
Let q be (-81)/(-42) + (-2)/4. Let n be (-6)/8 + (-11)/(-4). Suppose n*m = 46 - 52. Is m < q?
True
Suppose 7*t + 636 = 10*t. Let k = -1123 + 1335. Is t at least k?
True
Let k = -18324 + 531262/29. Which is smaller: k or -5?
-5
Let d = -14.36 + 14.23. Let v be ((-48)/20)/(2/(-55)). Let c be 4/(-22) - 76/v. Do d and c have the same value?
False
Let g(m) = 13*m**2 - 14*m**2 - 10 + 173*m - 178*m. Let u be g(-5). Which is smaller: u or -120/11?
-120/11
Suppose 4*y - 3*p + 24 = 0, 3*y + 15*p + 11 = 19*p. Let g = -22 + 17. Which is smaller: g or y?
y
Let w = 62.8 + -102. Let y = w - -94.2. Are 1/4 and y non-equal?
True
Suppose 3*a = -3*i + 87, 4*i + 0*a = -3*a + 112. Suppose -53 = -i*y + 47. Does y = 1?
False
Let o(r) = -2*r**3 - r**2 + 7*r - 7. Let w be o(-4). Suppose 3*s = 5*k - 135, w = 3*k - s - 8. Are k and 29 non-equal?
True
Let q = 6405 + -11798011/1842. Is q less than or equal to -1?
False
Let h = -1822 - -78334/43. Let g(j) = -j**3 + 13*j**2 - 10*j - 25. Let b be g(12). Is b equal to h?
False
Let b be 2/13 - (-1356657)/741. Is b <= 1831?
True
Let p = -1109/21 - -372/7. Is 910/11 > p?
True
Let o = 22241/29 - 767. Let z be (-608)/(-1520)*5*(-2)/16. Is z equal to o?
False
Suppose 0 = w - 2*h - 4072, -5*h + 7635 = 3*w - 4526. Is 4062 equal to w?
True
Let p = -0.22 + 1.82. Let l = p - 5.1. Let o = l + 2.5. Which is smaller: o or -37?
-37
Let m(c) = -259*c + 309. Let s be m(17). Let y = -2984525/729 - s. Is y less than or equal to 1?
True
Let o = 14049 - 14024.101. Let r = -25 + o. Is r > -1/2?
True
Let x = 3466973/49028 + 1/7004. Which is bigger: x or 71?
71
Let h = 124 + -146. Let z be 4/h - (-18)/99. Let n be (-6)/(-8) + (-2)/1. Which is bigger: n or z?
z
Let w = 21339/28 - 762. Let n(b) = -2*b**2 - 10*b + 11. Let a be (-5)/((-100)/(-112)) + 8/(-20). Let m be n(a). Is w > m?
True
Let r = 2.5041 + 0.0359. Let d = 41.54 - r. Is 0 <= d?
True
Suppose -7*s + 0*s - 504 = 0. Let z = 82 - 77. Let w = z + s. Is w <= -68?
False
Suppose 0 = 5*a - n - 31 - 407, 262 = 3*a - n. Let l = 85 - a. Is l equal to 0.3?
False
Let i = -271 - -653. Let s = 382 - i. Which is greater: s or 38?
38
Suppose 5*p - 8*p = -12. Suppose -2*h = -24 + p. Suppose 15*z + 75 = 5*w + 20*z, 5*w - 61 = 2*z. Which is smaller: h or w?
h
Let r be ((-22 - 0)*1)/((220/913)/10). Is r less than -2/3?
True
Let l be 508*(7 - (-30)/(-4)). Let p = 249 + l. Which is greater: p or -21?
p
Suppose -40 = -5*p + 7*q - 11*q, -2*p + 3*q = -16. Suppose p*v - 48 = 8. Do 1 and v have different values?
True
Let u(d) = 11*d**2 + 20*d - 12. Let t(g) = -13*g**2 - 18*g + 12. Let f(n) = 5*t(n) + 6*u(n). Let w be f(-30). Which is bigger: w or -87/8?
-87/8
Let s = -109 + 9. Let i be ((-12)/15)/(10/s). Is 37/4 smaller than i?
False
Let d(l) be the second derivative of l**4/6 - 31*l**3/6 - 17*l**2/2 - l + 5. Let x be d(16). Let m be ((-12)/(-16))/(53/(-4)). Which is bigger: m or x?
m
Let f(z) be the second derivative of -7*z**4/12 - 11*z**3/6 - 25*z**2/2 + 10*z - 2. Let l be f(-4). Is -94 != l?
True
Let u be ((-40)/50)/((-1002)/5). Suppose -15*a = -17*a - 2*l + 2, a + 5 = 5*l. Which is smaller: u or a?
a
Let v = 4250713/7630938 - 356/639. Is v greater than or equal to -1?
True
Let l be 5/(-9 - (-19)/2). Let b = -17 - -27. Let m be (2 + -5 - -4)*b. Is l at most as big as m?
True
Let j be (1 + 1)*(44 - -35). Let b be j/(-437)*5 + (-104)/1196. Do -2 and b have different values?
True
Let s = -27 + 46. Let b be (-2)/s - (-688)/38. Suppose -b*k - 28 = -14*k. Which is smaller: -8 or k?
-8
Suppose 0 = -4*w - 0*w + 72. Suppose 4*a - 5*a = -4*c + 4, -3*a + 2 = -5*c. Suppose 0*d + 2*d + p - w = 0, -a*d - p = -32. Which is greater: d or 0?
d
Let z(f) = -f**3 - 15*f**2 + 35*f + 22. Let s be z(-12). Is s smaller than -830?
False
Let u be ((-448)/(-80))/(-2 - 36/(-15)). Suppose 4*w = -3*f + 15, -31*f - u = -30*f - 5*w. Which is greater: f or 2/85?
f
Let m(c) be the second derivative of -c**4/12 + 7*c**2/2 + 41*c + 2. Let d be m(-8). Which is smaller: d or -58?
-58
Let w(x) be the third derivative of x**5/60 + x**4/3 - 8*x**3/3 - 7*x**2 - 9*x. Let p be w(2). Which is smaller: -1/4 or p?
-1/4
Let a = 8891/31143 - -1/4449. Is a equal to -6/841?
False
Suppose -2*f + 158 = 3*g + 706, -2*g = -3*f - 822. Is f greater than -1?
False
Let g = -187969/7 + 26975. Let t = g + -50518/413. Suppose 34*f = 35*f + 3*a - 10, 0 = -5*a + 15. Is t smaller than f?
True
Let f be -1*(-11)/(-2 + 3). Let u be (12/10)/((-9)/45). Let z be (u/(-9))/(7/126). Is f at most z?
True
Let b = 22 + -29. Let q(r) = -5*r - 32. Let y be q(b). Suppose -5*j + 26 = y*z, 0*j + 14 = 3*j + z. Is 4 less than j?
False
Let m = 17.024 - 17. Let o = m + -0.978. Let y = o - 0.046. Is y at most 0.14?
True
Suppose -51 = -11*i - 6*i. Suppose i*k - 4*w + w = 0, -k = 4*w. Let g be (-2)/(-3) - (-1)/(-2). Are g and k equal?
False
Let t be 195865/(-1822)*4*2/20. Which is bigger: -47 or t?
t
Let o(h) = -h**3 + 3*h**2 + 4*h + 3. Let i be o(4). Let m be (2 - i) + 2 - (-6 - -1). Which is greater: m or 2/3?
m
Suppose -46521 + 2125 = 9*l + 5*c, -l = 4*c + 4957. Is -4928 < l?
False
Let f(v) = -v**3 - 12*v**2 - 4*v + 16. Let h be f(-11). Which is smaller: h or 10/13?
h
Suppose 4*d + 32 = -l - 0*d, 33 = -4*l + 3*d. Let w be 