 Which is bigger: k or 25?
25
Let b be (-2655)/50 - -7 - -6. Let v = b + 53353/1330. Which is smaller: 1 or v?
v
Let l = -6.147 + -0.473. Let g = 7.5 - 14.4. Let d = g - l. Which is bigger: d or 1?
1
Let q(t) = 14*t**2 - 14*t - 15. Let z be q(3). Let g = 6661 - 19780/3. Which is smaller: g or z?
g
Let n be ((-242546)/(-7))/(0 - 22). Suppose 4*l = 5*b - 7887, -4087 + 952 = -2*b - 5*l. Let y = b + n. Which is bigger: 1 or y?
1
Suppose 0 = -9*i + 19 + 368. Suppose 0 = -i*j + 24*j - 76. Which is bigger: -2 or j?
-2
Suppose 0 = -4*v + 5*t + 168, 2*v - 5*t - 99 = -15. Which is smaller: v or 1548/37?
1548/37
Let s(z) = -846*z**2 - 76*z - 80. Let k be s(-1). Which is bigger: -847 or k?
-847
Suppose 3*x - 5 = 5*d - 74, -3*x - 3*d - 69 = 0. Let j be (1*-1)/(x - -22). Let v be 1 - 85/1037*(-63)/(-5). Are j and v equal?
False
Let g = -5481/5 - -729158/665. Which is smaller: -1 or g?
-1
Let h = -143/3 + 557/12. Let b(o) = o - 11. Let v be b(4). Let a be (-2)/v - 2/7. Is h smaller than a?
True
Let o = -43480/467767 - 8/2801. Which is greater: -1 or o?
o
Let v be 12 + (3 - 106876/7124). Does v = 0?
False
Let v = -360 - -408. Suppose 0 = -2*o + 4*n - 2*n + 62, -5*n = 2*o - v. Is 225/8 > o?
False
Let f(q) = -q**2 - 4*q + 20. Let n be f(15). Let x = -421 - n. Do x and -157 have different values?
True
Suppose -d = -19 - 6. Suppose d = -5*q, 19 = 4*t + 2*q - 5*q. Let c be 9 - 30/(-75)*-30. Which is smaller: c or t?
c
Let w(z) = z**3 + 11*z**2 - 3*z - 299. Let d be w(-13). Is d > -2983/5?
False
Let f be (-14)/(-2)*(-420)/140. Is f greater than -851/39?
True
Let c be (-17)/51 - (-9713)/63 - 3. Let l = c - 947/7. Is l >= 16?
False
Let j be (-105)/14*(-7)/(105/12). Let w be ((-1)/j)/((-329)/56 - -6). Is w != -0.14?
True
Let o = 3.3322 - 0.3322. Are o and -510 equal?
False
Let m be (42/4)/(-3)*14*(-15)/105. Let a be (-8)/(-10)*3*5. Which is smaller: m or a?
m
Suppose 0 = -3*k + 13*h - 16*h + 1434, 5*k - 5*h = 2430. Is 482 != k?
False
Let i = -16017 - -16097. Is 1028/13 at least as big as i?
False
Let w be -7*(105/204)/(-5). Let z = 25/272 + -9/16. Let h = z + w. Is -0.6 bigger than h?
False
Let h = -2 - -7. Suppose 2*m - 3 - h = 0. Suppose -2*i + 10 = 2*n, 10 = -6*n - 0*i + 4*i. Which is bigger: n or m?
m
Let g = 6.97 + -11.76. Let x = 0.79 + g. Which is bigger: x or -13/5?
-13/5
Let s = -1535 - -219. Which is bigger: s or -2/5?
-2/5
Let o = 23983057/1215 - 98699/5. Let w = o + -2/243. Are w and 0.131 nonequal?
True
Let u = -8694 + 8693. Is 4/19249 >= u?
True
Let i = -5 + 2. Let u = -668/3 + 222. Does i = u?
False
Suppose -3*w = 3*r - 13824, 3*w = 4*r + 4599 + 9232. Which is smaller: 4607 or w?
4607
Let b = -28 + 52. Let k(v) be the second derivative of 9*v**3/2 - v**2 - 4*v. Let a be k(1). Is b less than or equal to a?
True
Let h(t) = t + 16. Let k(y) = y + 17. Let l(m) = -4*h(m) + 5*k(m). Let n be l(-10). Let d be (3 + -2)/(1/11). Are d and n equal?
True
Let j(i) = 152*i - 456. Let u be j(3). Is -15 >= u?
False
Suppose 74*l - 207 = 76*l - 7*t, 5*l - 4*t + 423 = 0. Which is smaller: l or 7?
l
Let a = -8 - -2808. Do 2800 and a have different values?
False
Suppose -94 = 5*s - 4*x, -6*s + 5*s + 4*x - 6 = 0. Suppose 0 = o - 5*o - 36. Are s and o non-equal?
True
Suppose -2*c - 783 = 2937. Let a be c/50 + (-4)/(-20). Is -37 less than or equal to a?
True
Let i(v) = v**2 - 15*v + 12. Let g be i(14). Let z be (-161)/(-36) + g/9. Is 4 bigger than z?
False
Let m = -5509.1 - -5508.5. Let n = -0.1 + 0.1. Which is bigger: m or n?
n
Let t be 14/(-315)*-15*-36. Which is bigger: -266/11 or t?
t
Suppose 232 = 100*q + 16*q. Is q not equal to 65/43?
True
Let a = -8865 + 12341. Is a at most as big as 3476?
True
Let c = -25939 + 23400. Is c at least -2539?
True
Let g = 6/9023 + 207511/27069. Which is smaller: g or 2/13?
2/13
Let g(h) = -3*h**3 + 37*h**2 + 24*h + 24. Let v be g(13). Let m be (28 + -29)*(v - -1). Is m at most as big as -2/181?
False
Let k = 34.25 - 54.25. Is k less than -0.01?
True
Suppose 16 = 2*k - 4*b, -2*k + 4*b + 16 = -5*k. Let m = 5956/315735 + 1/2037. Which is smaller: m or k?
k
Let n be (-18)/(-5)*1992/2610 - 138/(-1725). Which is smaller: n or 3?
n
Let k = -22656013/13 + 1742771. Suppose -a + 1 = 6. Let d(x) = -x**2 - 6*x - 3. Let j be d(a). Is j < k?
False
Suppose 3*x + 4 = -2. Let i(l) = l**3 - 5*l**2 + 5*l - 17. Let b be i(5). Let h be b/(-29 + 5) + (-16)/(-39). Which is smaller: h or x?
x
Let t be 5*(-192)/20 + 7. Is -534/13 smaller than t?
True
Suppose 7*q - 189 = -175. Suppose 24*b = -q*b - 546. Let p(i) = -19*i**2 - 1. Let t be p(-1). Are b and t equal?
False
Let k = -1130.2 + 7207.2. Which is smaller: k or -2?
-2
Let x(g) = -2*g**2 - 25*g + 46. Suppose -27*o + 8*o = 266. Let f be x(o). Which is smaller: f or 48/19?
48/19
Let g be 32/(-20) + 1 + (-24)/(-15). Let i(n) = -28*n + 2. Let u be i(g). Let s = u + -7. Which is smaller: s or -32?
s
Let p = 308 - 282.13. Let s = 0.13 + p. Let w = -27 + s. Which is bigger: w or 1/37?
1/37
Suppose -80*c + 8820 = -780. Let k be 2/7 + 22152/182. Do k and c have the same value?
False
Let r(d) = -2*d**3 + 9*d**2 - 10*d + 60. Let p be r(6). Let o = -98 - p. Is 14 less than or equal to o?
False
Let k = -599.1 - -582. Let p = k - -16.1. Do p and 1/116 have the same value?
False
Let h be ((-7)/(66570/12))/((-2)/10). Let q = 291/4121 + h. Which is greater: q or 0?
q
Let w = -652 + 654. Suppose w*x + c + 11 = 0, 4 + 6 = -x + c. Which is bigger: x or 0?
0
Let f be 4/80*-4*(-8 + 3). Let s be (-16)/(-8) - 37/17. Does f = s?
False
Let r = -5297816/124224405 + -2/155865. Which is smaller: r or 0?
r
Suppose 2*q - 8 = d, -1 + 13 = -4*d + 3*q. Suppose 5*r + 15 = d, y - 3*r = r + 12. Let g be 44/231*9 - (-128)/(-42). Is g smaller than y?
True
Let a be (-10)/(-6) + (-6)/(-18). Suppose -15 = 3*h - 5*w, -2*h - 3 = a*h - w. Let y be (-1 - -3)*6*(-1)/(-2). Which is smaller: y or h?
h
Let z = 4321.9275 - 4327. Let d = 0.0725 + z. Does d = -2/45?
False
Let w = 1959 + -5845/3. Is 0.03 < w?
True
Let u = -894.9 + 855. Let i = -16.9 - u. Let w = -11/2 + 35/6. Which is smaller: w or i?
w
Let b = 465 + 580. Let d = -1054 + b. Let q = -2 - -1. Which is smaller: d or q?
d
Let t be -17 + 18 - 27/18. Let h = -3/238 + 1111/12614. Is h at least t?
True
Let n = -933 + 1635. Let x be n/24*16/12. Let f be (-2)/10 - x/130. Which is smaller: -0.033 or f?
f
Let p = -18148/691265 - -1/6011. Let z = p - -121/230. Is z smaller than 90?
True
Let x = -2488 + 2489. Which is greater: x or 292?
292
Let m(b) = -b**3 + 46*b**2 + 18*b + 1332. Let k be m(47). Does k = -43?
False
Let r(m) = -2 + 4 + 35*m - 53*m - 4*m**2. Let y be r(-7). Let k be (-85)/y - 2/8. Are 1/34 and k non-equal?
True
Let c = -16855 + 50566/3. Is c less than or equal to -190/69?
False
Let l = 519 + -410.8. Let i = -108 + l. Are 51 and i nonequal?
True
Let p = -21.85133 - 0.04867. Is 19 at most as big as p?
False
Let q(z) = -30*z**2 - 17*z - 8. Let g(d) = -14*d**2 - 9*d - 4. Let h(r) = 7*g(r) - 4*q(r). Let o be h(-1). Is 23 <= o?
False
Let k = 7381 + -7366. Is 11 equal to k?
False
Suppose -4*s + p = -8, 78*s + 3*p = 83*s - 17. Let t be (-5)/(-15)*2/(-72). Is s != t?
True
Let p = -4633.9741 + 4634. Which is bigger: p or -0.1?
p
Let s be (-228435)/(-679) + (-4)/(-7). Which is smaller: s or 2361/7?
s
Let o = 3235 + -7120. Let d = 1219889/314 + o. Is 0 at most d?
False
Suppose a + 248 - 240 = 0. Let f be (2 - 1)*4/a*-10. Suppose -4*y = -12, -226 - 142 = -f*c - y. Is c at least as big as 72?
True
Let r be (495/(-13560))/(6/8). Let n = r - -5675/125882. Is n less than 1?
True
Let o be ((-3)/(11 - 2))/(3/(-45)). Suppose 3*r = -0*q + 3*q - 12, 5*r = -o*q + 20. Let t be 1/(q/(68/(-5))). Which is bigger: t or 2?
2
Suppose 2290 - 6954 = -5*t - 6*t. Is t equal to 424?
True
Suppose 2*z + 3*r + 1342 = 2*r, 2698 = -4*z + 5*r. Let d be -4*136/z - (-2)/(-14). Is 58 equal to d?
False
Let x = -104.88 + 348.88. Which is greater: x or -0.06?
x
Let q = -8059.1 + 7528. Let t = q + 531. Which is smaller: t or 125?
t
Let h = -22.33 - -22.35. Is h less than 0.299?
True
Let k = 2864 - 2864.1. Which is greater: 24.24 or k?
24.24
Let w = -19/2 - -39/4. Let q be (880/(-4))/4 + 3. Let i = q + 67. Which is bigger: w or i?
i
Let z be (-6)/12*(-15 + 17). Let n(r) = -r**2 - 2*r - 28. Let v be n(0). Let c be 15/v + 1/4. Which is small